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/2011-12/feedback/cylinderslot-deel1-her + (Volgens mij staat hier weer een ∃ gekoppel … Volgens mij staat hier weer een ∃ gekoppeld aan een → wat dus zelden iets zinnigs oplevert. Verder gebruiken jullie hier sleutelInSlot die nergens in de onderdelen nodig is, dus kan hij hier ook wel weg. En omdat jullie al meteen die ∀ u, c en k meegeven (nu met goede haakjes), heeft onderdeel Cylinder ook meteen wat hij nodig heeft en is onderdeel Profiel dus eigenlijk ook niet nodig.igenlijk ook niet nodig.)