{"entities":{"Q5357724":{"pageid":7387298,"ns":120,"title":"Item:Q5357724","lastrevid":55907575,"modified":"2026-02-21T01:17:09Z","type":"item","id":"Q5357724","labels":{"en":{"language":"en","value":"Verification of Population Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774231"}},"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":"Q5357724$657ADD32-2675-4E0D-AF0A-B042E6340CB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c0786f3ecd4c231accc65524688269d2c43ecb4","datavalue":{"value":"1374.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$C7B988E6-FC72-4B05-800D-5C11696B6017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357724$2291AEC2-E644-4EE6-AB86-E501657BBAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357724$568A7404-9ED8-4B85-97F4-9F274105A57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357724$3F1CDA8C-68AC-4FAE-A21E-30322BF19217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357724$46C56AFA-5E1B-4A91-820A-5EC1417E3EFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357724$35F8884C-DD1F-453A-8E77-1350E00B8F24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$BBF3D512-BB11-4B4D-A8EB-63CAB37EB890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$237B9ECB-B86C-45E5-8CFD-E7331935AED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$4C351181-B00A-448F-A67C-EE03DD7DFB26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d626247501ecb98acd95f527584e525c973514c","datavalue":{"value":"6774231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$B33A77BA-7F56-4659-A8B7-04682D053E27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78cf85251015a154a56912d0ba30cf4a8ec66e","datavalue":{"value":"population protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357724$8A4D7EAE-8F5E-45A4-8E13-EA1D49186E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357724$8A8D782C-07B4-46B5-BDD0-64D7F5392C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a9ba656dae8bd66eb0066c9ba70c715856cf9b","datavalue":{"value":"parametrized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357724$4E50BB6C-74BB-469A-A6F7-1AB43AF3D725","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":"Q5357724$F29D0B29-F4D7-4466-ADEB-0BFC11BDA28E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbcd96aaf348a8cd894b4ac556e4d16054d6eac5","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02391875","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357724$81A124CB-CAA4-4FB4-8800-BE67781DB8E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d02bb82d54e7aebb71aff69b3adbebe9880a6ff8","datavalue":{"value":"W2274165758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$F4408BE0-A3FE-44C4-A8C5-C5018A405CDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7fa9c3308d3b6375547004eed5903731940c9ee","datavalue":{"value":{"text":"Verification of Population Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357724$897784FF-9CF6-41A5-B6AF-EAEE7D0D3550","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c14dbf607f3a97c9fa8cca818993e04023d0d4","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357724$6A5FBE35-AD4D-498C-BF65-EC6B71FD3E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb218c94a19733c7fca5566db58a7f67c815e246","datavalue":{"value":{"entity-type":"item","numeric-id":523133,"id":"Q523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5357724$C1E0E58C-C9B8-4352-A684-32ECB0635161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3f9901c0ab86678ea5f472d3345deb00f0157c","datavalue":{"value":{"entity-type":"item","numeric-id":4636574,"id":"Q4636574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df25c9d25d0c2b2bb4b480b93200c4b6d1de518","datavalue":{"value":{"amount":"+0.9210129","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":"Q5357724$4AA80ABE-6E44-4330-9188-AA3A3DD08793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79872512b552d46429042b9867d347db520989d3","datavalue":{"value":{"entity-type":"item","numeric-id":2025857,"id":"Q2025857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f8ac4330ac5f6079efdfe59186216deee07c11","datavalue":{"value":{"amount":"+0.8967258","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":"Q5357724$6C69E835-603C-4749-8259-8651153EC8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0a6495dbcf40dd8c572a8d743ae8cee6f961b4","datavalue":{"value":{"entity-type":"item","numeric-id":5009448,"id":"Q5009448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733c5fe3fe08ef62388d511cb4a1030123d7d35c","datavalue":{"value":{"amount":"+0.8748425","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":"Q5357724$8E60E48A-D9E0-43BD-98AE-5B5B419B8A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ce96e9bb06fa2a1d7e35f7a52c82c098fcba7b","datavalue":{"value":{"entity-type":"item","numeric-id":2399358,"id":"Q2399358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d525d60eae74ab2f8fd36cc7bab9c2559bb26c76","datavalue":{"value":{"amount":"+0.8740461","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":"Q5357724$20815E00-AD26-439B-BA17-8E4265504016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357724"}}}}}