{"entities":{"Q3878740":{"pageid":5908645,"ns":120,"title":"Item:Q3878740","lastrevid":54603581,"modified":"2026-01-29T07:58:25Z","type":"item","id":"Q3878740","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3683036"}},"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":"Q3878740$9BCFEEE3-2A89-469E-9709-725540B07C3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92824dba2662c6bb892be005ef1996caa39c862d","datavalue":{"value":"0437.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878740$7DAE6DF1-C840-43A4-ADDF-8F86FC0CA0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3878740$5DAF19C9-131D-40B1-8D10-CF39088A0951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3878740$AFEC6000-21B7-4C09-B210-00B425E5B2D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3878740$FD863CAE-876E-42C2-812A-048CF8295AF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878740$492A1474-ADA7-461D-8107-8A4CF74E1184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878740$7215C5C9-0521-4563-9C5F-3DD44DF907A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878740$34670D87-960E-48B3-B855-CCCCBD24AD16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2168928fd11ba6f883e77b0f144e143e6d7361a8","datavalue":{"value":"3683036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3878740$300AFB4D-355E-445A-9160-28D00D6FE8AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$9019BF1E-BD4D-45E0-99D3-5CA344FBD06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430f403100d8b973e4347af6c60d488292fc7d4","datavalue":{"value":"while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$F1783744-834B-456A-9866-F6FFAA7A1D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$7582135F-3B7B-448C-A5CD-4B010654E865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$C44FBCB7-F196-4FD7-8976-F212AAC93503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$00194974-D104-42F2-B587-631FA6399F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$17984F18-5F58-443B-9AB6-DCF11DE4C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$676F43B7-9F82-4368-A570-995B0A6EAF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240eea9a0a253ac69a01127ef15c7c6d22efa78d","datavalue":{"value":"arithmetical computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3878740$22C8319E-9E99-4555-848C-561A1F8FA639","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":"Q3878740$A1157C26-208D-4D49-AB57-2193B7C6FDF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3878740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3878740"}}}}}