{"entities":{"Q4178454":{"pageid":6208055,"ns":120,"title":"Item:Q4178454","lastrevid":89177513,"modified":"2026-06-04T16:33:46Z","type":"item","id":"Q4178454","labels":{"en":{"language":"en","value":"Programming with Verification Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3614140"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178454$2753C1BC-7496-43C0-B684-CC0416CD8B9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"719130f7bfb649945b9718b97fb5946caf8a9e93","datavalue":{"value":{"text":"Programming with Verification Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4178454$B22873FB-2E4D-4433-B293-4C081186F841","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37cbf7cf2e9a1cb89b929627d3918285c0b08d0f","datavalue":{"value":"0395.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178454$7B8C2D5B-E2B8-450C-8878-FDDAF7D2EA04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0eb197bba74467b0fba5531c1f49b8638598fa3","datavalue":{"value":"10.1109/TSE.1979.234171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178454$C38690C7-C9F2-421F-BAA8-87DEEC9A8B96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178454$75B39DDC-AFFE-4CEE-BC32-3B4673C9BF16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4178454$EF9DCA12-172D-4F1B-82AE-CD0F652E0057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178454$58703931-65AC-4EF7-9F7C-60A26A2AC767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178454$329430BA-FA00-4C1E-BDDF-55E332058BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178454$D6977E68-C41A-4A15-ADAA-3981FF6F8A0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dcea68ecc13ff81f338dde5897810a8ecd2a80f","datavalue":{"value":"3614140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178454$E17B572D-9FA6-417B-A012-96353562B60D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178454$4073643A-3FD5-4E95-8FBC-2205E634FCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c11b645d72aab44f88706dc65aaed7361e2cc1","datavalue":{"value":"Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178454$81C4BE67-14EC-4946-A2B1-01A993B3619F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178454$255847F1-67AA-4C64-8B49-BD34702A0944","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178454$DA412CD7-A2A7-4767-AA52-D25D2A48C085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming with Verification Conditions","badges":[]}}}}}