{"entities":{"Q6828031":{"pageid":15108130,"ns":120,"title":"Item:Q6828031","lastrevid":56005849,"modified":"2026-02-24T12:51:37Z","type":"item","id":"Q6828031","labels":{"en":{"language":"en","value":"Towards efficient verification of population protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789821"}},"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":"Q6828031$941D8E27-D284-4F67-BC11-DB43D6FAC06A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47b4aa341855f6c25c8d734c146604b7ffb45952","datavalue":{"value":{"text":"Towards efficient verification of population protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828031$109B36A2-12AF-46C7-865A-C0EF2E4A2C52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6054f3119b313d677885889aa16c00e9dcbde1dd","datavalue":{"value":"1380.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$A724AC16-69F0-45E8-B6D3-FF8FD4E008C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9992078d455ebf52a5f8fb6cc035e0afe706ae04","datavalue":{"value":"10.1145/3087801.3087816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$D5D26532-E0DF-47B6-95E6-90BDB453CE8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828031$A6F81B05-66B9-4C0E-B144-EC6FCFF19622","rank":"normal"},{"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":"Q6828031$40B9433F-0F3D-48BF-9502-64E412FEA9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b67bb975183655bee1e71b77521d8823c08e46a6","datavalue":{"value":{"entity-type":"item","numeric-id":2025854,"id":"Q2025854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828031$912D8299-81BC-4A3F-B6B2-ED3416DB4F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3b09720296daf40b637185fbc6963a5c4e6f90d","datavalue":{"value":{"entity-type":"item","numeric-id":2058385,"id":"Q2058385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828031$E53F0489-1A6F-4488-8B62-A31303139D79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c7ed164b1a7708a6cebc7aa57460f9fe9df2465","datavalue":{"value":{"entity-type":"item","numeric-id":5368934,"id":"Q5368934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828031$B8A3B1C7-C073-42D8-8227-3BF903B46101","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4057f48059fe99c35ecdf45e917fe5441faa63a","datavalue":{"value":{"time":"+2017-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828031$FA430113-AA39-4AF7-8341-929E3CF385CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$EFAC283D-F153-4B0C-AE85-5E8944EF76D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$8A402DFD-1DC9-47A2-B4F6-3E95649A4E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$456AC725-F4BF-4368-84ED-B18CACEC78BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$FB3598E5-2F82-4DEB-9741-E21FAFAE9D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58ffa39ed3846d5205864029ac51ab73f8d95982","datavalue":{"value":"6789821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828031$D4E2EB7D-4B49-4181-BE9A-5064EE3014C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828031$B6D95360-BAF5-40DE-9C78-DB7A08CBB639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78cf85251015a154a56912d0ba30cf4a8ec66e","datavalue":{"value":"population protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828031$18AD76AE-DABC-47DA-AC5D-9E2BEAB2A868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828031$DC8F8CCF-2624-4096-95DE-3C1839A45481","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":"Q6828031$CE28BBB3-039C-46F4-B315-EC5B7853BC99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards efficient verification of population protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_efficient_verification_of_population_protocols"}}}}}