{"entities":{"Q2399358":{"pageid":2410101,"ns":120,"title":"Item:Q2399358","lastrevid":74002737,"modified":"2026-04-14T18:01:04Z","type":"item","id":"Q2399358","labels":{"en":{"language":"en","value":"Advances in parameterized verification of population protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763490"}},"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":"Q2399358$0A1008E2-4E40-455B-90C7-5871A7DF385E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33192f80df301f4dc276b065c2b77ebda4f6f0db","datavalue":{"value":{"text":"Advances in parameterized verification of population protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2399358$4BD963AE-3BEB-46A4-AABB-7C293E05A8AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"964c8f76918cfa1e923cbb1139ee170e2f9980dd","datavalue":{"value":"1489.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$C41D64E1-D565-4D60-B0DD-14B57491B7DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b088dcb7baaa76ac33582bf775efd7ecdc6b1bfe","datavalue":{"value":"10.1007/978-3-319-58747-9_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$06B07DFC-7624-43AC-8681-2A34B1F0AE17","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":"Q2399358$247EFF37-19AD-4E83-892B-E29249BAD4F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d34360bb2e2a7c56f3d29a339c5dadd0eaaadf19","datavalue":{"value":{"time":"+2017-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2399358$6C3E8A0D-3D9F-4B5A-B435-BB0917C1E9D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$BBEB5F5F-50E7-4893-ADE3-C7AA1F82105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$257ECF82-DC76-47E3-893D-9799B4D75A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd772d1d9b5922ed2f4e0612816a4d1fd10d75b0","datavalue":{"value":"68M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$443F2FB0-770D-486E-B8D1-849210B3312B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$ED7ABF68-F071-4F3E-B8F7-E325BA64EA70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34b7a3fc6b422b9b7530b85e7d7f8ec3dc9fc1fb","datavalue":{"value":"6763490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$FCCF35CB-3813-49F6-8DFD-0620709BFA69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$BC85ABB1-E64E-4714-B3AF-D1B6D9012F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$9180C1AF-0368-4BCC-BFB0-CA08F2946379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$2EF8082E-448A-4A24-90C3-00CC18EB5316","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":"Q2399358$A0B88B36-751B-4744-B1BE-F808A8587A48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58c1c92046b5a591b3fbcc7527e762eeebac1371","datavalue":{"value":"https://doi.org/10.1007/978-3-319-58747-9_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2399358$236019C0-C1A0-4B34-92B2-78D533D2965E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcb746dcbd1f5245ec9dcd4454035e5820ea4b32","datavalue":{"value":"W2611901395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399358$0E453C12-462D-4CBF-BD88-1185155660AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a5d3769865696baf35b9e67ca850be481b6b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2796240,"id":"Q2796240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$34DAD1BC-F625-44AE-A506-D9D36EC5A8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabb9fa3786c8647bd8e3610eed9ca90017f1f6c","datavalue":{"value":{"entity-type":"item","numeric-id":5501509,"id":"Q5501509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$075C1675-D5E7-47E7-82FB-D8A7F7DD965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0371d3c582f0c784ecc91a277cc4c5ff16fb0fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2375293,"id":"Q2375293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$8E643C1D-A46B-4157-9F35-C7EDEABAAF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51eb9aaaf072720781654561733f0774148451e","datavalue":{"value":{"entity-type":"item","numeric-id":5177291,"id":"Q5177291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$5DBF5095-B92D-439B-BDF9-30EB4F00446C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7d071ce03524db3ceb088b19aeeac76d486bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2377254,"id":"Q2377254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$15EC0967-DC40-4BCC-8549-6A206463FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a34ef9306bdded0ee4f49da10d7542d8abbde8","datavalue":{"value":{"entity-type":"item","numeric-id":1954251,"id":"Q1954251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$044AB169-64AB-4F5D-833A-9960A10C03E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$B667BB62-86C7-4FE8-A3E5-EF09C9457412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61277ed646dad81075628dca476438c05abb23e7","datavalue":{"value":{"entity-type":"item","numeric-id":523133,"id":"Q523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$79DB12D1-EDF9-4FF7-BF4D-FA48EF391A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bebb8cd28e499c581aeec3cd6d024594c5916dd","datavalue":{"value":{"entity-type":"item","numeric-id":4636574,"id":"Q4636574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$8026A29A-D33D-4E84-9624-9526C5B15F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$4D1FC21F-576C-41C2-BEE8-F518EB27E632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b89b3abf778a083b6070b269a2b698cc3937875","datavalue":{"value":{"entity-type":"item","numeric-id":3090839,"id":"Q3090839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$D92C6A30-9BFE-4736-8906-E15F8992217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ee0f450a29acfe882be49e47dbfa2724801427","datavalue":{"value":{"entity-type":"item","numeric-id":5271037,"id":"Q5271037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$D3C3C10E-8C4E-4824-AE2E-0674261739B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57930bb92065703db4b6e780d7b5a6560325cd5","datavalue":{"value":{"entity-type":"item","numeric-id":4913768,"id":"Q4913768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$E10E4D9E-8F22-4F12-9D9A-4AE50FC9EAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff570aff5cd596ebb0405f722e1d3320f69a76c","datavalue":{"value":{"entity-type":"item","numeric-id":3266127,"id":"Q3266127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$8715ED7A-7F34-46E2-BA50-B264EB8B2466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58cce92b9c991a10887941c4d1d71d0071ae59d","datavalue":{"value":{"entity-type":"item","numeric-id":1035715,"id":"Q1035715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2399358$86199179-FEA9-44E3-B36D-B9194C0E5EC2","rank":"normal"}],"P1643":[{"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":"51cb3db6c1e4ec6eb1b01c11a0762dc562b9f2e9","datavalue":{"value":{"amount":"+0.9456565380096436","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":"Q2399358$91173EE7-C348-429C-8150-FA5E0E971F50","rank":"normal"},{"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":"4fefa5d1eb2b4346d99ac339a359d7284bf904b2","datavalue":{"value":{"amount":"+0.9452242255210876","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":"Q2399358$EAA28739-BE89-4791-87E3-B0DF53DD9B56","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":"15def426123f1f9920748a7ddcd6284c98b0e300","datavalue":{"value":{"amount":"+0.8855030536651611","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":"Q2399358$9FB47DE8-F7C9-44DB-B486-15B78000C75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bfc95cce7814bbb0c172fb678c29509635cd5e","datavalue":{"value":{"entity-type":"item","numeric-id":5391113,"id":"Q5391113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcae8deb3de794697d6bcb6d1cee72ea49e7959","datavalue":{"value":{"amount":"+0.8479381799697876","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":"Q2399358$54135CF6-5ECD-495C-990A-A8CDE738456B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in parameterized verification of population protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_parameterized_verification_of_population_protocols"}}}}}