{"entities":{"Q3613065":{"pageid":5642971,"ns":120,"title":"Item:Q3613065","lastrevid":88531259,"modified":"2026-06-04T14:46:28Z","type":"item","id":"Q3613065","labels":{"en":{"language":"en","value":"Refined Interfaces for Compositional Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527873"}},"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":"Q3613065$EE4AFFFE-8108-42D7-96CB-4D4BBDE48298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bbf57647b3af041493cd4a77ebabc633b21ae8f","datavalue":{"value":{"text":"Refined Interfaces for Compositional Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613065$0D485C5E-4578-4250-A85F-E2DD789C0B7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc20b71f3fd5cd9e373c4895d49c8c66248bd5d4","datavalue":{"value":"1225.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613065$FB54C9E4-0AA8-46C7-8E3D-CCDF82540861","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c9e3a14b61f92f34505f1305e2fd775c254b652","datavalue":{"value":"10.1007/11888116_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613065$D0FC799B-A96A-48C2-A1F5-8D75055DF0A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$D0CC05C8-3B08-4ED9-8E8E-04A83FCB6C54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$9A53F567-8DE8-434E-A364-27655C70E95F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613065$41AD138D-57BA-4A2B-90D4-AB730B4F3A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613065$F775CE35-7706-420D-8F7E-B54B9AF23D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613065$C2286BDE-63F5-440C-910D-516E38FAE548","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"157e34be51cd2539f1b85e8c76062c362e9aa871","datavalue":{"value":"5527873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613065$B2F2311F-5ED6-423D-AFD2-B4B99AFDBDAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$A7A12ACD-E1BC-4D51-99B6-A4EF939C6108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15f42f34bb8034b7153a71ee2b21150989bbe06d","datavalue":{"value":{"entity-type":"item","numeric-id":19719,"id":"Q19719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$7E3CEE84-759D-4CE3-A512-BD1F3D1C8F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f19c6afe93f9c0525f95308556e599d9a0e1c190","datavalue":{"value":{"entity-type":"item","numeric-id":24315,"id":"Q24315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$6DE8ABB3-5888-4A8C-9A35-3EF892D981A1","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":"Q3613065$3DBD8D83-16F7-43F2-B42D-518BC80FB62A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d39ca6b7f8851c6ed5e3ad57e91b10a7a97469b","datavalue":{"value":"https://doi.org/10.1007/11888116_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613065$349429E3-D434-4104-AE90-966F9B16A74B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18b8b00fa3f877b2a36cd888ce0ee61ca078e480","datavalue":{"value":"W1533440733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613065$96C3A914-F485-422F-B1F6-DBFA8D4D5DDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$284CA31E-81F1-471E-B0D5-87653AC2DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$5A547D3D-5991-44C1-977D-178B244D9F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b079574d6510604340e7a2a98410a380271116","datavalue":{"value":{"entity-type":"item","numeric-id":4942013,"id":"Q4942013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$3C103455-8097-4EC9-924E-ED36732F3C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ba6b1e7f30577cf881115e3dd09f4c7e91a0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5709374,"id":"Q5709374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$7966B44F-B804-48F4-AFCB-74B20DC6F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$68937EF7-B2BE-43E6-AA19-7F720290F33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4611966d9c6992f0f191e4c76a5f27ab1e62fc","datavalue":{"value":{"entity-type":"item","numeric-id":4037089,"id":"Q4037089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$24A76FA1-E554-4070-A3BC-6D16FCBABCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f23409092776b502b163449a38cb0814b6d9453","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$B5449B7E-CE7B-42C7-8AB4-3E814F4CB4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613065$C4B7603D-723D-4282-B83E-D60964D7EE85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12510ac07d18be5485fb4620fd272d23b705a002","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cb385013a9cf1aecaf4ecc94452aecc61ac289","datavalue":{"value":{"amount":"+0.7773275375366211","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":"Q3613065$DDDEE6AC-206A-4BFD-A4E0-4D6DF09307D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203c5373665caa3b8d4383d8c47daeefbd82d113","datavalue":{"value":{"amount":"+0.7709032297134399","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":"Q3613065$46259A46-1C27-4BB8-BC08-603602D09B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a609ffc86aa75aabfd220d2d07a600b48a648","datavalue":{"value":{"amount":"+0.7660865783691406","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":"Q3613065$1BED31EB-FF7D-405D-926B-F6216E52A9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e54b7559e39c6fecdd643eda03da86fd914c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4037089,"id":"Q4037089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e116acf4655b25b64012c96ebbe704e230a0de","datavalue":{"value":{"amount":"+0.7601203918457031","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":"Q3613065$24455C33-0321-48FB-B657-3969BBD46742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5443a81df6783afc15aaa52e496b54fd8d7d0514","datavalue":{"value":{"entity-type":"item","numeric-id":3401955,"id":"Q3401955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e116acf4655b25b64012c96ebbe704e230a0de","datavalue":{"value":{"amount":"+0.7601203918457031","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":"Q3613065$DF8E1192-ECF4-4042-B649-0165402DE466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refined Interfaces for Compositional Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refined_Interfaces_for_Compositional_Verification"}}}}}