{"entities":{"Q3327706":{"pageid":3338414,"ns":120,"title":"Item:Q3327706","lastrevid":48715429,"modified":"2026-01-05T17:01:56Z","type":"item","id":"Q3327706","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860376"}},"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":"Q3327706$0F6FE73D-C977-40F5-8774-F621B2B59B6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8184fafb0be0add69f58332cfbcfe60244bb7403","datavalue":{"value":"0541.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327706$9A7072A9-7637-4DAF-8A38-475988BBBA03","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":"Q3327706$7F80A2A7-C4A2-4614-BDE8-E13BE524063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62425f0949f417e7ac3ad77f4f5f99cd968dfa1c","datavalue":{"value":{"entity-type":"item","numeric-id":3327705,"id":"Q3327705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327706$1BBF389C-9916-48E8-8B23-681385DFAAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327706$18920522-BACD-4DEE-97BC-8C9DA9104EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3327706$EC0995C4-65D7-4207-A467-9D4D069D4C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327706$CDF7F708-6DF8-4656-B64F-EEEBDEE32882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327706$831F2929-68C6-472B-AA32-AA1E8155C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327706$AAB53614-D758-450D-92F4-F8BF5F082855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45b60fa7894b748f75709434bd27e3b9c817bef3","datavalue":{"value":"3860376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327706$74168485-0951-4C61-9E73-EF468C932C39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ca3089f4a9c1f132e8f874f7fe0c6338d24ce7","datavalue":{"value":"Hoare's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$AAA39C27-88C1-463A-ACE4-C0ABDA5B421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$8866729F-C400-4EBA-BEAA-0FBFE1D22849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$D71157C1-7E7B-49F4-98D8-5C8DE481620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$5635EBA1-24D5-4B97-BB15-F2F829CCCED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$ED0624BD-9E3F-45EF-88D1-5DB2A8EDB461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$3F3FBD5D-E104-47AF-B7C7-48FE4F64CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327706$F3635B97-2EF4-4334-B3DB-7656E0769D46","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":"Q3327706$4FACF11C-9D4F-4A61-865F-F732C9E49E36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245cc87f707a138cc7c6720362e5fa23e9c66b48","datavalue":{"value":{"entity-type":"item","numeric-id":3678664,"id":"Q3678664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b928a34f64ece45c37bd4abb4990028aec2b7175","datavalue":{"value":{"amount":"+0.8795556426048279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3327706$D6689DEA-FC62-4C49-9368-6E3C76F7067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6be2716a73939a8ef5f5bd209f6b1fa11bcbaa2","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eb780ba70794f5a8652dedebf7d4c3b8cb979c","datavalue":{"value":{"amount":"+0.8771209716796875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3327706$92129253-4E09-4107-A0B0-7A4929C5FDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473e2fbd00e3091eac1df1c9736d542ecff66f34","datavalue":{"value":{"amount":"+0.8607482314109802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3327706$D1E3C6E3-9398-4972-9B5A-982B6B5F8CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc539b4b8f3e08b6fb8bbabe240b571c7a82d59c","datavalue":{"value":{"amount":"+0.8570206761360168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3327706$50F3949F-6682-41AA-ABED-DCFB5D8665E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b05e6ed2dcb8b2884606aa217c912e20cf18ad","datavalue":{"value":{"entity-type":"item","numeric-id":1064046,"id":"Q1064046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2447dcbcef5526328fb29f3890ccc0b2bfa3889f","datavalue":{"value":{"amount":"+0.8418763875961304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3327706$C8EABC36-D536-450F-B53E-9D29565B4486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3327706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3327706"}}}}}