{"entities":{"Q2216720":{"pageid":2227463,"ns":120,"title":"Item:Q2216720","lastrevid":71579148,"modified":"2026-04-13T23:10:59Z","type":"item","id":"Q2216720","labels":{"en":{"language":"en","value":"Region analysis for deductive verification of C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7286790"}},"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":"Q2216720$322220B0-EEF6-448C-ABFC-2137D011C282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290914d77774b6227669adb0fae200a98664494f","datavalue":{"value":{"text":"Region analysis for deductive verification of C programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2216720$B914F592-43C8-47F9-A263-54B1F7EC256E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce9070189ca1f6ed506977e567797538d0c6767","datavalue":{"value":"1452.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$8E395AF3-AB94-41EE-916B-307CF4AFB5A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3c60013802ab0c2e7483623657d99c3a325e94d","datavalue":{"value":"10.1134/S0361768816050042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$96D24FC1-5F0B-4EAB-B08C-0E716A94CC88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53152d4b0f8713a2809d3d06c794ba851354c8d1","datavalue":{"value":{"entity-type":"item","numeric-id":1758709,"id":"Q1758709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$B10E77B0-DB36-43CB-8346-DFE08D209497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed1a69805eed674ca8cf33d81cbe7338c2f4cf6","datavalue":{"value":{"entity-type":"item","numeric-id":927463,"id":"Q927463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$59CE08A4-D877-45AB-91C2-DC57909831CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$7F35EED6-EACA-4929-B85F-C66054DC5D3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca40d4ed4465267d08462ace16c5b0bf2cd390f","datavalue":{"value":{"time":"+2020-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2216720$94F8E47C-D5FA-4513-9F50-AD6AB5528CA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$C6B41E3D-FAE9-4F99-AFC5-13E29555A9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$DC297F13-618B-429D-92F5-14774FA939DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$36119590-5A82-4FAE-AE0B-81F97987B00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$DA23492C-98BF-4E2C-B9EF-0068092DC8F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eac2063838ff02e4a22f86f4de0214a8150157b4","datavalue":{"value":"7286790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216720$1FC6F364-A723-4DBD-83C4-279A1D5CB0EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$679CEFEF-5F9A-4AC5-99F0-C988E18BF5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$3CD76F69-9024-4F99-A814-98042917FCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$B55917EB-954D-4D5E-A125-E53833AE4232","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":"Q2216720$91B4B569-619E-4756-8118-F83367E7E70C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$9A914953-6CD8-429E-A68E-AE8210802435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$0D2709CD-3A47-4216-A976-E2065F059A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$7DE3E31F-5982-4A06-9B56-50EA9788E2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$C9DD56DD-D65E-4C44-887E-0FE2127DB754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$CAF3B3ED-CE06-4C82-A815-63D2F5D81952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$73BC1D5B-FA9C-425C-AAB9-519EC543FF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$5D108002-A390-45EF-AEC3-1562263C367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216720$068D104F-03C9-477B-AB84-2E5D3C11FB12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89dcafbbf4edba0f583bbaa7fc03da3e401e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":633298,"id":"Q633298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4db77536ec2877c97596cdb43d6f1c6a728049","datavalue":{"value":{"amount":"+0.7462014555931091","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":"Q2216720$B0D874AC-18E3-4C9A-9D49-09107C89E133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe92806a81bbea1cd5444ec3bcbd3de48fd0186","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814a6d5c8f9eb9c0f3cfdcc34cf1bc757fcd25ac","datavalue":{"value":{"amount":"+0.7276149392127991","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":"Q2216720$D5EAB4D5-8810-4FC2-BD2F-45F9721000B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9dbad85b24d9a28aa30ad6051b001874f74ff","datavalue":{"value":{"entity-type":"item","numeric-id":2324213,"id":"Q2324213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e320240b88b54f9218aed15fb6b82099c7c2b3","datavalue":{"value":{"amount":"+0.725328266620636","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":"Q2216720$727CAF71-80B7-4992-AF83-3F436C00E910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d14fab8f7d99e95a84bf8279e2ae86f291c09c","datavalue":{"value":{"entity-type":"item","numeric-id":2287078,"id":"Q2287078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d6c841635fb707a7f411497cc60fa9cb52f7cc","datavalue":{"value":{"amount":"+0.7202173471450806","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":"Q2216720$5C8AEEA7-7F5D-43D3-91C8-3CC48AB00770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e125d08823e9eeeea82b37bc8cc9a6da32af54","datavalue":{"value":{"entity-type":"item","numeric-id":835768,"id":"Q835768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8cabe1488eb02a4158e0e205d5043e24c0bca5","datavalue":{"value":{"amount":"+0.7066723108291626","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":"Q2216720$4214F604-A471-44B1-AB8D-9A48E2988F2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Region analysis for deductive verification of C programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Region_analysis_for_deductive_verification_of_C_programs"}}}}}