{"entities":{"Q4636574":{"pageid":6666155,"ns":120,"title":"Item:Q4636574","lastrevid":82175312,"modified":"2026-05-06T20:17:01Z","type":"item","id":"Q4636574","labels":{"en":{"language":"en","value":"Model checking population protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862055"}},"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":"Q4636574$0D6C06D9-900C-4783-8EC3-59494A1AF5C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe75f056b6b7875fea8675f010346fb058d93d0d","datavalue":{"value":"1391.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636574$986559D7-5F0D-47B6-AD0B-4D451F379639","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":"Q4636574$45C675C3-1F08-4BA2-B527-E7088A7E9660","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":"Q4636574$174671FC-3632-4DF3-8512-EAFBE7C86A57","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":"Q4636574$61FE6705-5F69-4814-AFD8-5F99FC9A1CC9","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":"Q4636574$0DE3F027-FC0F-478D-B632-513601D0B913","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-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":"Q4636574$07675CD8-A6B2-47D8-ACE8-05883ED81882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636574$5DBA08F5-2BB9-466B-9CCE-8AF66ABDE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636574$66731F58-E543-4436-A31B-A08E24014744","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6207c5edf2d0f69811377b66a0c384632da4c63","datavalue":{"value":"6862055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636574$CE38DFE7-0D64-4039-B9D3-C210EC750A66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5a9a46cb56e0d008cd5f36093b01f2579c6e36","datavalue":{"value":"parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636574$F9A66DF4-E8FE-4745-98EB-6B1630D65538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78cf85251015a154a56912d0ba30cf4a8ec66e","datavalue":{"value":"population protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636574$D93214A1-85E4-448D-B533-A9F475FB02C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636574$BD0C4ABD-7DF4-4D28-BCB8-1A1B0BDB2198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e204f1199ed40e5c40d9c8efbb18b28b6ee62a23","datavalue":{"value":"probabilistic linear-time specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636574$251404B0-22BF-4743-8BE3-8E5AEF140CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636574$6BFC520A-54E1-4465-A470-B9719A988A25","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":"Q4636574$18F7141D-D226-446A-B8A0-9AB6C38E6023","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"847fa7ae912d94840d673f61bb35a98c4eed597b","datavalue":{"value":"https://hal.science/hal-02391850","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636574$7AA8A059-1B5F-4D7B-9198-8F229AFC5A55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dabe3fde3f4f10002038d6ddd6b729ec88ae0f1d","datavalue":{"value":"W2575993660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636574$CF646792-2ACC-401A-8BD3-2F15DCA8079C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9626398beb48d2728a4e1406269fa627fa79f2d9","datavalue":{"value":{"text":"Model Checking Population Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636574$00F072E8-3A46-48C2-8C30-8CBB23ACFFE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5a661dc9b20c8fd1844384cd642f67f49c6ff80","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636574$326C4242-E86D-43F4-BA79-91C1834C4FA2","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":"971756803255f09ebe649392eacc20e898c76819","datavalue":{"value":{"amount":"+0.857995867729187","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":"Q4636574$EC26A141-D392-4B08-ADC0-2E6EC7A25EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0b170104c1d09079907568a20f33b18b3898a2","datavalue":{"value":{"entity-type":"item","numeric-id":5357724,"id":"Q5357724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e489bc5a2d2a1a18d74585ec4194192b5ae3507","datavalue":{"value":{"amount":"+0.8559219241142273","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":"Q4636574$868EFB97-BC15-4D4C-9AB9-FBF645512986","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":"d0618ada3a8ff9581974d321caf4597e6ed4efbc","datavalue":{"value":{"amount":"+0.8446407914161682","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":"Q4636574$6C04C8F4-30D5-4AF4-B7EC-26207A70699D","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":"62584980e6737c21bbeb885134297a64bf4dbcbe","datavalue":{"value":{"amount":"+0.8440571427345276","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":"Q4636574$C83D6FF1-6E91-477D-B0C0-5FCE84568230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking population protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_population_protocols"}}}}}