{"entities":{"Q929968":{"pageid":931816,"ns":120,"title":"Item:Q929968","lastrevid":65421708,"modified":"2026-04-12T02:29:35Z","type":"item","id":"Q929968","labels":{"en":{"language":"en","value":"Using probabilistic Kleene algebra pKA for protocol verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5290920"}},"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":"Q929968$DC1996DE-A18F-4D0E-8765-5EF271DD1B17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a59132bf6b6f2567bb6b80f748f04fb686a92bd1","datavalue":{"value":{"text":"Using probabilistic Kleene algebra pKA for protocol verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q929968$BC1EEFB7-EE0B-410A-AE93-6FC584EE186B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8535b9a3c7ba2e85d2aebcb53ab657b23daea3e5","datavalue":{"value":"1148.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$C26720A8-8454-4F81-8A43-5AA957C3E22D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$7DE4D3A1-2B8A-47EA-A76F-C481C4092DFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$ED36FF1C-E556-454C-A6B2-2D10849B0F8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q929968$2E5086C4-651B-4466-A927-F58F63361DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$CBAE9F3B-D6F3-4429-8F7C-85AA04E59EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$45D05BB5-E9A7-48BA-9249-F53A31D7E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$2E650A4F-1C3B-4356-B019-6F6D4405582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$440D69F5-79CC-4306-93E9-5AEBA71A41F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e2d9f19ee7168b2132fe7b6350af37ab598d156","datavalue":{"value":"5290920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$1515DAD8-127C-4406-8207-D68C2965D8D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q929968$9432E69C-D399-462E-A0FA-5FD5CE5637A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q929968$0FAF52AC-51CC-4F0E-8D4B-C745D1414016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q929968$D4862588-1ECC-4997-A719-F7FB65D0C968","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9853a577315411544eb2c427f41ef798142f45e3","datavalue":{"value":{"entity-type":"item","numeric-id":20515,"id":"Q20515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$BE008594-39B1-4BD9-AD74-65AE1827BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$B85BA27E-B4E0-4167-8F54-47E90A253FA3","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":"Q929968$54F2A2B0-F621-48DA-8B2C-EE82C206CF25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c656898d52f03d26569d5c3a36a9148147bdf5f4","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q929968$791FE604-CE00-4425-9CC7-FD3EC98099FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05aeb5363662c7295a01d2672d2d3b4dfd482be5","datavalue":{"value":"W2034320901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$676B9AE7-1BC9-49C2-A190-3149BFFD46D8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7e941fbcdd40ea749312d313ce90a2a38bd8d0c4","datavalue":{"value":"Q114851556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$AE295EB2-B7A4-4A53-BCB9-6C54455DF764","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f565b2159aa73bb5b90308cae7effb1daa84179","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$AFEA54E5-C507-40C5-BEB0-98E8C4EA6B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40927a655fc9f8cb06119a5f319fa6f7548dec3a","datavalue":{"value":{"entity-type":"item","numeric-id":3647254,"id":"Q3647254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$BBEE77CC-1E9B-4EA4-9724-023BE36C5F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$BD6D31A8-0D2F-4982-8EF1-CD485DB43D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$C0A7C00C-3C49-494B-B357-A299F49DE947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18338a91a42dd550256d3b7225dd137e2380870","datavalue":{"value":{"entity-type":"item","numeric-id":4271090,"id":"Q4271090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$07D4236E-3FE0-498A-8AB8-7F7DDF8BC94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$33899C89-8C1D-4B41-9974-1140B1E21643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$0D1CA35D-C294-4E6F-95D3-EFD342632E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81309e87becee3cda8d7174d2d8b5b31baaaeac","datavalue":{"value":{"entity-type":"item","numeric-id":2576950,"id":"Q2576950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$840E33FC-A5E2-46D2-9275-E0D33DEB2E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$3660E403-062B-4CDC-8C94-85A0831BB905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36ff34ef17401742e17b8f3c3a452f11f0b4070","datavalue":{"value":{"entity-type":"item","numeric-id":5348858,"id":"Q5348858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$257D6470-D1DA-4BD5-B1B3-76CC22B3605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$345CD78B-BCDC-42AD-8A59-1B259FF9D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8997bef6622eb00f3239a8203254b6ecad1afd20","datavalue":{"value":{"entity-type":"item","numeric-id":929968,"id":"Q929968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$CAB026BF-0E2B-4A9B-87EB-32F24B5DDDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e70c7ea0ca2c1202e957f84568392d9e230059","datavalue":{"value":{"entity-type":"item","numeric-id":5387864,"id":"Q5387864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$80D472DA-2020-4396-B436-FD7D33B51E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$C0D3D43E-6AFB-492E-B598-5D4B1B57B066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840f10b74b3251f2ef1aa54a3b4f816266965f49","datavalue":{"value":{"entity-type":"item","numeric-id":5313089,"id":"Q5313089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$FE4874AC-7D25-41CF-9DEE-A401C1D7CF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$1EF9E105-4C48-43B1-AA44-3B349276CD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$8D5DB188-EE0E-46B2-B0C9-DACAB3C515BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51330c5471002bf3a1fab14fcb7a8e8e830eaee3","datavalue":{"value":{"entity-type":"item","numeric-id":1168725,"id":"Q1168725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$80FB04B5-C7F2-4D75-AB30-36554EFAAECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc1b0c2ef041bd38f91c3b1cfc0eae8dea50e0d","datavalue":{"value":{"entity-type":"item","numeric-id":5348857,"id":"Q5348857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$E6F2A1EC-0725-4C9F-8981-F77F4232B676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d64e7f539e047c27a592447af8209df21acffd","datavalue":{"value":{"entity-type":"item","numeric-id":5361452,"id":"Q5361452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$070F1867-7A4B-4202-8C54-AFF61D2E6457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b702a8d5960e3602d9517a129955ac148585338","datavalue":{"value":{"entity-type":"item","numeric-id":5459196,"id":"Q5459196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929968$7B8ECF55-770A-4DDB-AA46-7338CDBC930A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06f33bfd2f3cf432de439d732f2f25e0b3373763","datavalue":{"value":"10.1016/J.JLAP.2007.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929968$459ABC34-D529-4B7C-81A0-59E1C1B16C59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f8ab3935fc2620e55cf076b9b8278195de59fc","datavalue":{"value":{"entity-type":"item","numeric-id":5459189,"id":"Q5459189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460435fa3e0a959319143fbec907ce20fa6fe92e","datavalue":{"value":{"amount":"+0.9795994","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":"Q929968$2C36F6F0-E8F1-48DE-9805-B0EFEC21FAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb53a38dda1321f08f99665db94c1a82ea4dcac","datavalue":{"value":{"entity-type":"item","numeric-id":2201275,"id":"Q2201275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3d517cd6174dc02fb79c3e564fcf927d8af0d2","datavalue":{"value":{"amount":"+0.8819015","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":"Q929968$FFCFCA3E-977C-4D44-8F4A-68972234590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0de14b71e3e2426ac9734a6cde962cc2f1720a1","datavalue":{"value":{"entity-type":"item","numeric-id":4992527,"id":"Q4992527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25568b061210f0c7e039c99476c68a53000198f","datavalue":{"value":{"amount":"+0.87472385","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":"Q929968$0DB2F200-AB08-444E-822F-F64041AC8DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9063ce4f8ee99742dba24e7a6d1df1ef75eacf","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9abf17633cc3523c3868ebafcee476b47545e8","datavalue":{"value":{"amount":"+0.86713517","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":"Q929968$5CFC6B51-0C9E-4C7A-95A8-CDFD41E477F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bddaa352d30869b8d981e58395c81afcd09fa00","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80d00f0f6497bd8f4a33764c7a72e7d6a57c7ad","datavalue":{"value":{"amount":"+0.8649027","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":"Q929968$804B6DBC-DC42-4FF6-AA27-9E38A06C3AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35521c642e13426dc82fd1ec84ffa70ef0ae3ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1617825,"id":"Q1617825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2db6dac80e1b4d85e6c3c60a91098e0a96f480b","datavalue":{"value":{"amount":"+0.86218","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":"Q929968$A776E28E-C54F-4366-BA61-63DFFC325230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef9f723ddbc109c074a2cf44bf7e9108121dbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2702601,"id":"Q2702601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2474ba1b89b63c4e238bae02e4ca6e42a28e616","datavalue":{"value":{"amount":"+0.861706","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":"Q929968$090E65D7-A8D8-4985-A348-4BD93F473346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcc72e4868af0029b28e40370dc411ec15149fd","datavalue":{"value":{"entity-type":"item","numeric-id":3765231,"id":"Q3765231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bab32c41a5a1a2e0286cc1335d54e8cccac7818b","datavalue":{"value":{"amount":"+0.86061907","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":"Q929968$909D7776-FBD6-44B9-B90C-3C99D99E03FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191255e3a2941778a5ecb58cdb43515fd82d7818","datavalue":{"value":{"entity-type":"item","numeric-id":4270079,"id":"Q4270079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb70d2e214c1e033d7a3e774fb828d9f76e0adf","datavalue":{"value":{"amount":"+0.8603772","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":"Q929968$EFF11577-594C-48E1-B43C-05E8B33BFD56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using probabilistic Kleene algebra pKA for protocol verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_probabilistic_Kleene_algebra_pKA_for_protocol_verification"}}}}}