{"entities":{"Q2442952":{"pageid":2453695,"ns":120,"title":"Item:Q2442952","lastrevid":51962498,"modified":"2026-01-20T15:40:26Z","type":"item","id":"Q2442952","labels":{"en":{"language":"en","value":"Compositional verification of a communication protocol for a remotely operated aircraft"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6277176"}},"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":"Q2442952$A308750C-E20E-4A8B-8CC9-5EEAD20AF102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4204c13507c1c2f76c0fd356a7cdde4ce3c61234","datavalue":{"value":{"text":"Compositional verification of a communication protocol for a remotely operated aircraft","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2442952$D0C624A4-EC12-4FCF-8880-7F69BD272C92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"226d81b5d407ec2a15851a13da8aa60ab898e4fd","datavalue":{"value":"1284.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$457C2D08-29AF-4EC6-B072-9A3A1D0F64DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcc2d4a9e2d59c0575ae40a2891b810f8f402a4","datavalue":{"value":{"entity-type":"item","numeric-id":2442951,"id":"Q2442951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$8342240D-D8E6-4330-AA06-D74EEF543207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$9F0CD176-C25A-4642-B67D-B2ECFDF981FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$56D1D15C-6CB2-4F66-87A2-FADD122501D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a3a20b45f11cecf76214467e266a47640bc94a4","datavalue":{"value":{"time":"+2014-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2442952$562F4462-1FF3-4354-8C86-96C0406B72BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$00F12A74-9D1A-4D0F-90A3-5E4E921192D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$D27A62ED-2E0A-44CE-BB28-D28EAD80099E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$79DC3BE0-8E94-4749-9CEF-67978CEF2DB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c31cb35da07dbabb314c2a6679e2066d9e3a28","datavalue":{"value":"6277176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$4C702CF5-E78C-48E3-862F-CA0881ECA51B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442952$B24D15C3-913D-4764-AFAB-0C22D11E575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442952$337B869D-44D7-4814-BE23-E7D20CFA10CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2442952$188AC5DC-C544-4F4C-AF2D-6F63829D7406","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$326A5381-935B-427E-BED4-C7A2212AA65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$78AB7AD7-4F94-4353-92E6-745AFBA913C7","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":"Q2442952$86FCAA9E-7075-47AE-AF9A-56101B1572C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2705c84a18da3c0eda1c64cdb3d9214425c2c89f","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2442952$1FAE1F0B-C3FA-4205-AC32-462BB3E2E63D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec834e185e6c7e9f5d6a60dbb33be4db09e013d1","datavalue":{"value":"W2161339269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$837E57B6-AFA4-4263-8601-DF9940A70585","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b512b7d5e72e761c3b06e6e4b5cf55bf15b1c57","datavalue":{"value":{"entity-type":"item","numeric-id":967935,"id":"Q967935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$C97F577E-A629-472C-841B-109B63DB9066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456546d08a9398828dc3c0b1080163a66007619f","datavalue":{"value":{"entity-type":"item","numeric-id":1805397,"id":"Q1805397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$426DC766-62B6-43A7-A27A-097C64A6A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123095ddd84194f54454fe5eef440342c5a597d6","datavalue":{"value":{"entity-type":"item","numeric-id":4318837,"id":"Q4318837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$AF4B15CD-DFBB-4039-A483-1C8060FC2149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55640948606ebada864a0eb07c1b55e76a36f26","datavalue":{"value":{"entity-type":"item","numeric-id":1176075,"id":"Q1176075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$B8E51971-2D97-44BE-A799-A5E91735888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58696d54cab57db8bedcaf16585e21c96e4b7a","datavalue":{"value":{"entity-type":"item","numeric-id":2576590,"id":"Q2576590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$B97EFD0A-038A-4B8E-B19B-0C77C24930AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4faec33de555bb08e87fc0ae8b7afeae0008ae19","datavalue":{"value":{"entity-type":"item","numeric-id":4417917,"id":"Q4417917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$C6EEA53A-76AA-4BC7-B68A-CD9C670D5C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$BA6D3864-A60B-4143-BD54-89E4C779E95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$75F670F1-0B8B-4134-BC83-F1EFE30ACE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$79E79503-EC0E-4D94-89C4-F10E3A19B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$62225225-3167-47D0-A4D1-AFAC6437A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$0D140087-E839-4D14-A42B-F5832361E2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533cecf90668232c756ec34c963384fe871d1d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2495548,"id":"Q2495548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2442952$710CC477-1D2F-40DA-B3F7-A042FAAAF58E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe903c30d350d88bf7d9c89ac0ba9a49a33f355","datavalue":{"value":"10.1016/J.SCICO.2011.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2442952$595DE7BE-A8F4-4BC5-A4B0-CF772718EEB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81119709760054a441255518534b353c7707268e","datavalue":{"value":{"entity-type":"item","numeric-id":287372,"id":"Q287372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b63d70c9dbbd74e924e644f3740b1e879e31b8","datavalue":{"value":{"amount":"+0.7172366976737976","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":"Q2442952$B73F050B-23B6-4248-95A9-8D8F6B35FFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b4f504e6cc35fbad016eee585f75cd1528845c","datavalue":{"value":{"entity-type":"item","numeric-id":2979821,"id":"Q2979821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db74802468c9ff7e905846485af36c36ad5c94f","datavalue":{"value":{"amount":"+0.7165156602859497","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":"Q2442952$70B2052A-27B3-4E61-A047-898273DB8F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b94894cf5ab0a7fc9128e271007d16dd2267fa","datavalue":{"value":{"entity-type":"item","numeric-id":4945217,"id":"Q4945217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c27bc989027a3f3f80d9c8796c26ff71fd694e","datavalue":{"value":{"amount":"+0.7049353718757629","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":"Q2442952$699A287E-CF31-465E-B543-85082E64BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f613ee82ee7ea1db55b61ae1339130ea7dc3ec29","datavalue":{"value":{"entity-type":"item","numeric-id":5178973,"id":"Q5178973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29fee0bfedf1db223adaceda0fba156b902dfd6","datavalue":{"value":{"amount":"+0.6980270743370056","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":"Q2442952$6E33837B-355C-43A5-A4AD-D7FD6DD77B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8754b43883f8c556eefa740aa8ec2122eba165e","datavalue":{"value":{"entity-type":"item","numeric-id":5179365,"id":"Q5179365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2213aaaefbaaa0d481b26535e6d7f11831967f21","datavalue":{"value":{"amount":"+0.6964219808578491","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":"Q2442952$6BD289AA-A05F-4BD3-9652-9082FFA4F512","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2442952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2442952"}}}}}