Op eigenschap zoeken
Deze pagina biedt een eenvoudige bladerinteractie voor het vinden van entiteiten met een eigenschap met een bepaalde waarde. Andere beschikbare zoekinteracties zijn de zoekpagina voor pagina-eigenschappen en de querybouwer.
Lijst van resultaten
- Beweren en bewijzen/2012-13/feedback/Alarmsysteem-deel2 + (Het bewijs is duidelijk onaf; je hebt net … Het bewijs is duidelijk onaf; je hebt net iets meer gedaan dan de eerste triviale stappen. Bovendien voer je dis_i en dis_e in de verkeerde volgorde uit. „replace (b+30) with a.” is waarschijnlijk ook niet goed; je moet dan namelijk bewijzen dat b+30=a is, maar dat zal moeilijk lukken, omdat je beide als onbesproken variabele hebt geïntroduceerd.proken variabele hebt geïntroduceerd.)