{"entities":{"Q2010986":{"pageid":2021728,"ns":120,"title":"Item:Q2010986","lastrevid":53606006,"modified":"2026-01-25T10:10:56Z","type":"item","id":"Q2010986","labels":{"en":{"language":"en","value":"Formal verification for KMB09 protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7138110"}},"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":"Q2010986$6FE82E72-24B3-43C2-BEB7-AD013445C9C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac468bc17485471e2995733e3e2b3852b6678fc","datavalue":{"value":{"text":"Formal verification for KMB09 protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2010986$5A289C39-D07B-456E-9162-94BAF4281403","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12a091cae439f0b61f31bb18e9086f49346eb0eb","datavalue":{"value":"1468.81029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010986$FB24A33E-785C-4745-A60D-355A2AF6E0C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5d6f0b308fa944bf4e0828970977fbe1d3874a8","datavalue":{"value":{"entity-type":"item","numeric-id":487359,"id":"Q487359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$AD5F4D7E-28AE-4730-A5FB-B149F75C7548","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$5E1FDF01-C116-4AE6-BFC0-7AD2610BC7FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9576e810ad6ca54cca1bf476098d387f5133004a","datavalue":{"value":{"time":"+2019-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2010986$26263A20-7E2F-4505-A4FF-40FEAE297680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010986$85111E79-6891-4309-BEB7-9B94EDA25CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41fa2765aca2c33e1f3595e1ced4131bcad08a8a","datavalue":{"value":"7138110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010986$288B990F-60AA-4E26-A270-7F883EEBD32D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010986$A597F50F-D7A8-4F87-B8FD-8B5D0A685389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71482ad5d74d64115b79827dab9c61b32572368b","datavalue":{"value":"quantum processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010986$5CD22E80-D05E-4788-A23A-A70D9A8287F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010986$BD77FBBE-1CFE-439F-B6C1-33A47A67ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2010986$A8B13D7D-4A37-4FC0-A69D-55B0667D1CD0","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":"Q2010986$BA62EEE5-AACB-4397-9389-6013268BF146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d72fe3aab1544a66dedd7a9eba869e48a96a2f0b","datavalue":{"value":"https://doi.org/10.1007/s10773-019-04232-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2010986$480B7C09-828B-40B6-B108-6AD94266217E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d4e4f24a51a0ed97abd8ea5cecdf00dd1ebbd4c","datavalue":{"value":"W2965397453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010986$C52824A1-F568-40E7-9C59-EE6284BF812F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$FBEED740-1D0F-4F8B-A90C-1A71C31428B1","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":"Q2010986$6B9F0321-78C7-4555-8EA4-7CF3A83E3DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$26798BFE-1BB4-4FCB-AAD1-951D753E6D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$940D8D25-C3C5-4BDA-9B18-17CFA1C71A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$250A3303-BB7B-4E0F-A283-EFB02D845BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4ddeefb67f1d7091549ab025335a769ddd6a36","datavalue":{"value":{"entity-type":"item","numeric-id":2461794,"id":"Q2461794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$601EEAD0-0E76-485B-AA89-F0B04F422B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2165011b7c5eb0683e8726f8b356b8c8128b0bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5276142,"id":"Q5276142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$6B75BA19-2505-43FD-829D-2DC274ACFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d559045d65706b300b6bc3f6afe3d798af7a5007","datavalue":{"value":{"entity-type":"item","numeric-id":5482266,"id":"Q5482266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$5A5F829C-8952-4E10-9029-C41A3A5685DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697d8c5609ca0a0f461107a64b8abe5c6a8543a6","datavalue":{"value":{"entity-type":"item","numeric-id":5482268,"id":"Q5482268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$070D186A-E0A6-48CD-8416-0D4ADABF6012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21cf81e81a62b20e2ff6cf11a1d90b9d3b79b21","datavalue":{"value":{"entity-type":"item","numeric-id":2946577,"id":"Q2946577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$DF6AA27C-C117-495C-B0AB-2BDC21A944B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad7a3baf555da33445ac4311730bfea7d3cf878","datavalue":{"value":{"entity-type":"item","numeric-id":5408571,"id":"Q5408571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$A457D49A-5DE6-4AAA-9B8F-B4931FB08609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f11dd004e431645bb9138ef419b348fe0dd498","datavalue":{"value":{"entity-type":"item","numeric-id":2915165,"id":"Q2915165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2010986$E8E283F6-91D6-4F2E-8EB8-128013F3D676","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f7116942d320bc6f36531d96de8a54090938914","datavalue":{"value":"10.1007/S10773-019-04232-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2010986$275F2762-9701-4099-9DCB-6E5BD1B4867B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179fddce23ed37a4adea82dd31869623b8c26e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cecd3ea86390fdd4e327b49100ee3cebabf6b4","datavalue":{"value":{"amount":"+0.7821972966194153","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":"Q2010986$4071E433-63C8-4FAB-B6D0-CEA65D03EF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d387e5c8602875b1da160532dfb22673e2ea201c","datavalue":{"value":{"entity-type":"item","numeric-id":2233434,"id":"Q2233434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed3b3a3bce50c4240660e3e691f8806f118750b","datavalue":{"value":{"amount":"+0.7766727805137634","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":"Q2010986$3BA1D9F8-84EB-4CF6-B6A3-D7D4985552B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b18981338f36d1d8674318c60fef2ac1f9fc8dd","datavalue":{"value":{"entity-type":"item","numeric-id":5858724,"id":"Q5858724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0527fef84bb238e324f888b0eefbf7bd42c2bfd5","datavalue":{"value":{"amount":"+0.7674817442893982","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":"Q2010986$84CD3DB9-03C6-42EC-86ED-E871A2F8F6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71ffdb5de6e996928b6a97232f462b15c1d3a22","datavalue":{"value":{"entity-type":"item","numeric-id":2010952,"id":"Q2010952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2ee072ea947959063ff00c5dc9c2e86a11ffae","datavalue":{"value":{"amount":"+0.7516037821769714","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":"Q2010986$5F71B6E5-3A98-4A19-A36F-6D04471A0CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd78bdeb097f59728cf81576bfd6caab199dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5357722,"id":"Q5357722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3519a9c69ff9f09e39d414a0fec00f239f011dad","datavalue":{"value":{"amount":"+0.7497919797897339","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":"Q2010986$5A1ACC63-EAB9-4183-9C9F-56EDC3388999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2010986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2010986"}}}}}