{"entities":{"Q3350772":{"pageid":3361482,"ns":120,"title":"Item:Q3350772","lastrevid":46032646,"modified":"2025-12-21T22:12:14Z","type":"item","id":"Q3350772","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4201637"}},"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":"Q3350772$47F22ECD-5850-415B-91AA-6928037550D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3b2af972af6d22c9d28b4f3c3954941a639cad2","datavalue":{"value":"0727.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350772$09987A8A-694C-4A7F-A15D-2751073B8053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3350772$192AF449-1BFD-495D-BAD9-0E4A3F7135CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350772$D26658F8-00B5-4531-9561-CAA57ACA0956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350772$6C191C4C-EA61-4D9C-9354-D728472F3702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350772$27D2FF6C-B32F-46FA-B32D-34DFD4E80022","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80117d4a7ad9862a21b5f7e1c8b065e1844ed167","datavalue":{"value":"4201637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3350772$8EE69978-6462-41BA-AD65-2445F9A1A659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350772$31E2096A-BFE3-49BF-92C6-4A96975AC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350772$05B22F46-4490-4381-8DD7-04D39EE21736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354c1fd804999f86e0101fe11e7b19e7f70e5f2","datavalue":{"value":"distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350772$1AC8743D-A95F-4723-A847-0B6273060539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce8456807fee050c0285ed7f96877fcbf74da80","datavalue":{"value":"compositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3350772$3703F09F-F93B-415C-BA07-C061C526EBDC","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":"Q3350772$8D4F80AF-2392-4032-B59E-D2123F347122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee4294e71cb3b66235c64fdb14d02d42c0ec26b","datavalue":{"value":{"entity-type":"item","numeric-id":4560363,"id":"Q4560363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e991c00bdc2cba56089e034ec99956447fac0a8","datavalue":{"value":{"amount":"+0.90366364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$0A553E25-87D0-45AF-A7FF-14D4A298D060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d7045f2d31c534448bdcd51e9fe2bbe8f64104","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9974024f761c7d7a353fc850bddd8cef20f5fafd","datavalue":{"value":{"amount":"+0.8935734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$B9C445C0-5C53-47D8-BBFD-1A6D2EF75625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6058e7212ccf794faf9b9f961b1d53e712b8c26","datavalue":{"value":{"entity-type":"item","numeric-id":3502660,"id":"Q3502660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abdbf02db7a2541e5ab78cb54e5ea10cce38701","datavalue":{"value":{"amount":"+0.87194026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$AA886964-2C3B-41E0-BF59-2121427FF5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e894f4370640765fe8d2d72578b227be58d633d","datavalue":{"value":{"entity-type":"item","numeric-id":1285659,"id":"Q1285659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c814b9cd6feee54fa810665e7db8cceb98cd7e","datavalue":{"value":{"amount":"+0.8697247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$B1F9FB19-8410-487E-BA54-249100C95978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7398da6ad48566bdaeec82532921db68f08c6d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1330425,"id":"Q1330425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e44d99334250d8a976c7f1ae2c2327bfd0cb185","datavalue":{"value":{"amount":"+0.8643823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$08247A42-2D22-461E-A37C-8015DF46727F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af855e49be147f50e098fab71d7e1333cbdad4b","datavalue":{"value":{"entity-type":"item","numeric-id":3768373,"id":"Q3768373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4361572a27cd78cfa9c532755c0d794224b48f","datavalue":{"value":{"amount":"+0.8642254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$62D6BDE1-D5FA-408C-8C05-3C6D80996052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b95a62c1e06b795b563c639747d348bab213d","datavalue":{"value":{"entity-type":"item","numeric-id":2850665,"id":"Q2850665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd02a9cbcf7f15d31e61fe5f01dd2051668988cc","datavalue":{"value":{"amount":"+0.8639342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$BA11C678-3416-4632-94B3-02EDEAA916C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5372b48eed0f40cb4eb93ee5cb6de9c745e8c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50e7bccae3335df8b7afb70517b21fc17a157e0","datavalue":{"value":{"amount":"+0.8594235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3350772$643112C5-B53B-425F-BD3C-5BD44389E9CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3350772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3350772"}}}}}