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/2013-14/feedback/Sluis-deel1 + (alleen in natuurlijke taal. Ik wil ook gra … alleen in natuurlijke taal. Ik wil ook graag een formule zien die de vertaling is van jullie zin. Ik zie niet hoe je met deze onderdeelspecificaties iets kunt zeggen over boten in de sluis. Je moet óf het doel bijstellen en alleen zeggen dat de sluisdeuren afwisselend openen (zodat boten, als ze toevallig in de buurt zijn, ervan gebruik kunnen maken) óf de formules bijstellen, een type van boten toevoegen en eigenschappen van boten toevoegen (bv. een boot vaart wel door als de deur open is, maar blijft waar hij is als de deur dicht is), zodat je dan kunt zeggen „Elke boot die voor de sluis ligt (en zich aan de aanwijzingen houdt), ligt na een aantal minuten achter de sluis.”gt na een aantal minuten achter de sluis.”)
- Beweren en bewijzen/2014-15/feedback/Zelfrijdende auto-deel1 + (eenvoudige variatie van de specificatie van de computer.)
- Beweren en bewijzen/2011-12/feedback/wasdroger-deel1 + (idem dito)
- Beweren en bewijzen/2011-12/feedback/PA-systeem-deel1 + (idem dito)
- Beweren en bewijzen/2012-13/feedback/Kruimeldief-deel2-her + (is nu correct.)
- Beweren en bewijzen/2011-12/feedback/Blokfluit-deel1 + (ontbreekt)
- Beweren en bewijzen/2011-12/feedback/Verwarmingssysteem-deel1 + (ontbreekt)
- Beweren en bewijzen/2014-15/feedback/PizzaAutomaat-deel1 + (ontbreekt)
- Beweren en bewijzen/2013-14/feedback/Schiphol Bagage Sorteersysteem-deel2 + („Alle bagage die in het systeem komt” → „Alle bagage die op tijd (d.w.z. minstens 27 minuten voor vertrek) in het systeem aankomt”)
- Beweren en bewijzen/2011-12/feedback/ATB-deel1 + („de trein is nog niet begonnen met afremme … „de trein is nog niet begonnen met afremmen na drie seconden” is moeilijk te formaliseren; beter is zoiets als: „als de trein al de afgelopen drie seconden te snel heeft gereden, dan ...” „de trein staat niet stil” is triviaal waar als de trein te snel rijdt. Formule ontbreekt, maar was niet absoluut vereist.ontbreekt, maar was niet absoluut vereist.)