{"entities":{"Q2843812":{"pageid":2854532,"ns":120,"title":"Item:Q2843812","lastrevid":83851178,"modified":"2026-05-07T12:59:56Z","type":"item","id":"Q2843812","labels":{"en":{"language":"en","value":"Local verification using a distributed state space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201400"}},"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":"Q2843812$8DDFCDBF-EE4C-4DFE-A6C7-2D9ECF995C98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a779fee6374be886d429bade1024ce19dae9b40","datavalue":{"value":"1271.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843812$FEE6B185-479A-422D-91F7-2B217FF77C78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04e34ec30ce7e66e2088873e710da7e5c641dc24","datavalue":{"value":"10.3233/FI-2013-850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843812$0DCEB8D2-56EA-4061-81BC-6720386D80F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"384abbaa45c06686c954a2689ac3caa800c033a1","datavalue":{"value":{"entity-type":"item","numeric-id":2843810,"id":"Q2843810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843812$11CA127C-F8B3-42B1-B00C-3B7D411A77C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aad0eec887617b21e44d88cbaf39d8af4a893f6","datavalue":{"value":{"entity-type":"item","numeric-id":2843811,"id":"Q2843811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843812$D14C6768-B810-4AB0-856C-84EF456F9564","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843812$929171E6-95D1-4B2D-9D59-27CDCAAB0325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6ec21f9c1f239abf85c21214e6b06adc9b7204c","datavalue":{"value":{"time":"+2013-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843812$E9803DD4-0FA5-4F39-BD22-5E4E3A5C5EC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843812$6104F1EE-D9E2-4E66-9543-CFE18AB249A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843812$508C0B52-E6A4-419E-A1B7-9A4E23741C03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f5420cf8877227acb66f4a7b7c331dc6bac7a2","datavalue":{"value":"6201400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843812$1D0F9F67-E49D-4296-A8FD-0EDCF671CBC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843812$817511FD-8652-449D-B27B-2A0DAC80E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843812$5B64BEA3-B387-4234-BC4F-6DEB20F6B45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843812$D67D82DF-14F7-4B62-9129-7B37635544E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b56d664759feaf523f20560e46308abc4f86bdd","datavalue":{"value":"state space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843812$FFD78294-BFA6-41B9-853C-25B844AEE585","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":"Q2843812$14582667-5357-43A6-85BE-DDF48454EBD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f85ad585d113be1eb7b57b5f822b025f49e120b0","datavalue":{"value":"https://doi.org/10.3233/fi-2013-850","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843812$0CA4774C-FE2E-4197-A826-93C9BF59AE96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ff3a452e38dcfcf12c0ecb3b36e8a5b2911592d","datavalue":{"value":"W1564313204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843812$F3AD07A3-2B30-41CE-8427-CADFC1AE06A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e46d8522c216d0f837f6acecdd9563072b36ef5a","datavalue":{"value":{"text":"Local verification using a distributed state space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843812$5A7FFEE4-2CD3-47D7-A304-AE99C432F8AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cd3aadded333d5a5bca8ef4953b78867a4995d","datavalue":{"value":{"entity-type":"item","numeric-id":5096364,"id":"Q5096364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81cee69ff43178e2dd39bf6c1ab3c702cfbfbdf9","datavalue":{"value":{"amount":"+0.8397424221038818","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":"Q2843812$AB54FCD6-D884-4249-BD52-007A14F06D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c046a6d4f27c665983efafbdc1666188d1fd21d3","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b3ceba50390de6b28dd3b06de7ddc46d0b05ed","datavalue":{"value":{"amount":"+0.8121264576911926","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":"Q2843812$AACA9090-84E6-4D83-A73C-C78E93C52F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ed160aff66129e16b7e91ba763dfed55697a16","datavalue":{"value":{"entity-type":"item","numeric-id":3550617,"id":"Q3550617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98607c53ccfd3f8e003087c9636cd8d17f5a7edd","datavalue":{"value":{"amount":"+0.7915393114089966","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":"Q2843812$FA0475FD-925E-464F-9E9E-C7E08CD6AD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de71b8a87d2582cf7c01210699eb1bb2b29c7b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0db87790197b03298488de01acce196a8f0c79","datavalue":{"value":{"amount":"+0.7877421379089355","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":"Q2843812$13B6800D-7C28-4594-8A40-0C96C87D7A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be34933e8b48a6f1a54a948475912580735f7cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3612361,"id":"Q3612361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2327a960e750f6b4fcabcf4e6728c208d2ede2","datavalue":{"value":{"amount":"+0.7817039489746094","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":"Q2843812$72D3B5E7-EC7C-46F3-A9BC-8530AF852290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local verification using a distributed state space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_verification_using_a_distributed_state_space"}}}}}