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/ov-oplader-deel2 + (Jullie hebben ervoor gekozen om de verzame … Jullie hebben ervoor gekozen om de verzameling berichten abstract te houden met als enige kennis dat mChipkaartOpgeladen en mChipkaartIngevoerd variabelen van dat type zijn. Die kunnen dus nog wel het zelfde zijn. En er kunnen ook nog veel meer berichten zijn. Maar in jullie bewijs maakt het niet uit. Het positieve aan het bewijs is dat jullie zowel exi_e-regels als lin_solve-, replace- en interval-regels gebruiken. Jullie specificatie van het geheel wijkt dus genoeg af van de onderdelen om echt te kunnen laten zien dat er werk verzet moet worden.laten zien dat er werk verzet moet worden.)
