{"entities":{"Q3862382":{"pageid":5892287,"ns":120,"title":"Item:Q3862382","lastrevid":54554300,"modified":"2026-01-28T12:08:57Z","type":"item","id":"Q3862382","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3664338"}},"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":"Q3862382$6E48F94B-F5E0-439A-A2BC-FF3FD2A75C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f489da8abc3bc3738e028a96527a44cef1d04a8","datavalue":{"value":"0426.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862382$B6FB02CE-9A11-453E-B5CF-94D1EAE7F3B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3862382$06439285-6CCC-4EE3-B3DB-24D0F12ADE0D","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":"Q3862382$6C45B810-765F-48C0-AF9F-C346A29702EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862382$49940C45-5690-4CA1-9C4A-883272BC3F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862382$A0A498AE-C970-45AE-A959-0641FFC53A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862382$4C70156C-C11A-40B1-8744-26E1CBA03C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862382$A38FB417-2B47-4A30-8D13-4E8C0DB4E68A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0afe9c7377278e836dec91c2409b64c81154aab4","datavalue":{"value":"3664338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862382$DAA432E1-C147-4A88-94C7-3453CE0521A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$63517471-7D46-48D2-BDB9-FAC38BBA93D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$4E09BE09-1D51-464D-BEA0-A12E8E77624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430f403100d8b973e4347af6c60d488292fc7d4","datavalue":{"value":"while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$337AB2E2-38D0-4E5E-85CE-289445E786DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$6B8041F2-340E-43AF-8040-D29C3769DA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d480b9889ca69c8bd3a09009ab060df455eef5e","datavalue":{"value":"variable declarations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$56A735F5-F554-4AA1-97A3-F40FA9438704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc2066bfd23ce70941b4bf5ce3b33062c152faf","datavalue":{"value":"subscripted variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$661E5611-D706-43E1-98EE-D48D014EA73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$88E016FD-4753-4056-90BD-9702F35D84C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862382$7FE47627-3608-48FD-A4C1-6906CE508A87","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":"Q3862382$9BF2A233-B32B-4BC0-ADAD-C4457B449631","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3862382","badges":[]}}}}}