{"entities":{"Q6535150":{"pageid":14146293,"ns":120,"title":"Item:Q6535150","lastrevid":55511443,"modified":"2026-02-17T17:58:58Z","type":"item","id":"Q6535150","labels":{"en":{"language":"en","value":"Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7763719"}},"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":"Q6535150$4519A8CB-BC62-4B07-A9A4-040EE2794B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96c9c3bbbba20a280632699a6030828ec33d3f4f","datavalue":{"value":{"text":"Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535150$9BC3F743-DAB2-49B2-9874-0A0B4ED77D79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98647c7cf73c8fd0ad351e54831dab9a12151b5f","datavalue":{"value":"1543.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535150$46068E05-46AF-4B8D-87A2-CE1270C18E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6d5fd3e832b1417a13fecdb8fb63434631534bb","datavalue":{"value":{"entity-type":"item","numeric-id":6078873,"id":"Q6078873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$51361BED-1F8A-4083-990F-2D15FA5683CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da96bdc6149f6021e9ae254aee2150ff274434d5","datavalue":{"value":{"entity-type":"item","numeric-id":6535148,"id":"Q6535148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$EE7494C9-AEC0-42A4-8987-6F208ACBFA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5d75f13c96db876e768035c87ac6f910f0305e","datavalue":{"value":{"entity-type":"item","numeric-id":6535149,"id":"Q6535149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$AF42A44C-D696-42C3-B702-E8568D2A3F4E","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":"Q6535150$74DFD1D2-2007-4635-8335-F688A0D0FAB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0cf32823be09de1295dffc9c4e992799b891134","datavalue":{"value":{"time":"+2023-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535150$69AF0639-9D19-4CBD-A89F-A899132BA41C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535150$E459CEC3-93A9-4FAA-8720-46E8D9AC6D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535150$CF740B11-A000-4768-8A44-43ECFC6E1834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535150$44DABD49-C151-424A-AFB7-ADD5E1A274AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c26a3a9a3ce4f92a8a927179068062acc66751d","datavalue":{"value":"7763719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535150$04802EB1-AD0D-4BAE-89B6-7A03B81EFD1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a8123e7a0b796874785ed57aca2abe77b15efd","datavalue":{"value":"consensus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535150$54353119-5617-4E71-9A1E-6CB31E3243E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f4885eaba9d3a5a82c018a8970eb9a7a2c0b387","datavalue":{"value":"blockchain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535150$B24E3136-B63E-4AD3-A208-848D99B8E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535150$B951A2A3-3714-4F31-BBE7-DAA028F11C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535150$3689B846-C86A-415B-8CD7-C9491B8350CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535150$794E9906-BA13-45A7-B0AF-430E2A259A27","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":"Q6535150$B44BF372-4CF9-4980-97D5-939A165669A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$27E75866-70C2-4F65-9491-261E723EB2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73cba42ad1fe75dc59974e5b84162cb7b3b8177","datavalue":{"value":{"entity-type":"item","numeric-id":6583725,"id":"Q6583725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$608584A4-93D2-4C70-8982-DE3B28FBD6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaabc6c965e9c5ec91bb7442ed1bf81e64d333dd","datavalue":{"value":{"entity-type":"item","numeric-id":747253,"id":"Q747253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$01DF5C7D-779F-408D-8957-B7A983C6F086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e261472d519b46c8f6d17ce5ee94d6c35f79bae4","datavalue":{"value":{"entity-type":"item","numeric-id":1708653,"id":"Q1708653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$9893A97D-9123-4176-A802-5EB947085E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565422056a5f210aace0a69b27549f3fa24348f7","datavalue":{"value":{"entity-type":"item","numeric-id":4806205,"id":"Q4806205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535150$3C2DFBB6-19E4-4E84-A828-A30D370192DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac47621029c1ce0d75034761eee802440462ba4","datavalue":{"value":"10.1134/S0361768823050043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535150$AEFA5FFC-54BE-4F74-9A3B-B63E1D5F29F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf75666767ce362a3efaaba34ed275ce92616a66","datavalue":{"value":{"entity-type":"item","numeric-id":3386298,"id":"Q3386298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a032ad2fdb920a6c7127b0812aef15c2f0a6cf","datavalue":{"value":{"amount":"+0.6919419765472412","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":"Q6535150$65FC55E3-2C7C-4A9B-8CAF-4CC907858288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48732471fe95c3c99050ff5055e8f69aa67ebc9","datavalue":{"value":{"entity-type":"item","numeric-id":658669,"id":"Q658669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764d2addcce65c0d6ec79264853aab83bbbc7ffc","datavalue":{"value":{"amount":"+0.6801578402519226","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":"Q6535150$9959B6CD-9C49-46FD-B4D3-AD11F6749734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f404e269b9c957782bf8045508c45bdb4e5659","datavalue":{"value":{"entity-type":"item","numeric-id":2177573,"id":"Q2177573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd7238a9d6aa907f48c5037c49a8c52d708eed0","datavalue":{"value":{"amount":"+0.6756037473678589","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":"Q6535150$CD1F772A-B1E4-4CA2-8A36-4A54859C34EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db482a3e2bf68a5e65bc6fa626462e153f129d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4551150,"id":"Q4551150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92914f2e7847ec30b4f8a0ae64b2f61c4a7aea1","datavalue":{"value":{"amount":"+0.6719397902488708","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":"Q6535150$7269295C-8FAA-49BE-A696-66D2E3FD623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400daeba872d01174f63c096f657979ecca7b403","datavalue":{"value":{"entity-type":"item","numeric-id":2281632,"id":"Q2281632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15b9aa44fd7115c9dee82bea42068722a9d71c7","datavalue":{"value":{"amount":"+0.6661537289619446","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":"Q6535150$104666D8-E1C3-4C7A-92B2-5B21C8325A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535150"}}}}}