{"entities":{"Q5874313":{"pageid":7903864,"ns":120,"title":"Item:Q5874313","lastrevid":39654557,"modified":"2024-12-30T16:43:21Z","type":"item","id":"Q5874313","labels":{"en":{"language":"en","value":"Succinct Population Protocols for Presburger Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650925"}},"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":"Q5874313$969DC099-65E3-416C-8B6E-C4FD72C3BC02","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":"Q5874313$94517780-4A60-4D85-AE3A-D96035E1B45A","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":"Q5874313$9986CC0A-A4CE-4EE2-B92B-881D46D9FB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c25692d5864b09581ae766555ef6d0e63eb5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":436615,"id":"Q436615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874313$631C8DCE-7C45-4D67-B324-4A3648D733FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9804fa0356f21863fa0bcb99a0fad45ec486f42f","datavalue":{"value":{"entity-type":"item","numeric-id":2112138,"id":"Q2112138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874313$C5E75A7C-C393-4090-ACD5-10E096F0627B","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":"Q5874313$50A6F4F5-905B-453E-B209-5A97BE7496EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874313$459636BE-F96B-47BA-A239-03D7F0F4E5EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91dd320d62e8c3b5d689171e2b7faef2ad22530a","datavalue":{"value":"https://arxiv.org/abs/1910.04600","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874313$BB66393B-0897-41AF-9F2B-1CF02B17C271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874313$02DAF72F-82A1-42A1-A51B-407085B137E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d71b3b7c588755b78743512585f3c97db87c0da","datavalue":{"value":"7650925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874313$F2C3BD7C-1F5F-4388-B23D-38328E44A608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78cf85251015a154a56912d0ba30cf4a8ec66e","datavalue":{"value":"population protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874313$B00998BD-67BD-4B09-9A78-6C2ACE0CED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874313$FEEA4BD3-9AAB-4A80-977A-B016D2D67C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874313$4B66A4C6-B622-498C-B70E-D7CCA979E52B","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":"Q5874313$17E0F184-D1F9-4EC5-BC6A-DD416276CC41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b27ef379a3a25bf273b70662f2dc4f325d03fca","datavalue":{"value":"W3013273637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874313$D6AA1E2D-0815-4F25-BBD4-365F96264E14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e924b59d1db0a74dd745e92e7a6b316e2334bc6a","datavalue":{"value":{"text":"Succinct Population Protocols for Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874313$8F72BFFA-9386-49F2-9D74-72ECC1CEDCCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9905ebe3ea24de41e30551c5023b6f4b62ee456","datavalue":{"value":"10.4230/LIPICS.STACS.2020.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874313$74D47FCF-76E7-4E12-838C-430175CBD34D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874313"}}}}}