{"entities":{"Q4994896":{"pageid":7024473,"ns":120,"title":"Item:Q4994896","lastrevid":58387554,"modified":"2026-04-05T00:13:05Z","type":"item","id":"Q4994896","labels":{"en":{"language":"en","value":"Automata techniques for epistemic protocol synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361823"}},"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":"Q4994896$48559DED-7FA2-42F7-BFCB-6AFE1FAB96FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62ff17ca70de9c42d1d350a3dc491d1b48b14ace","datavalue":{"value":"1464.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994896$9836A614-7F8C-4F9F-9170-35583B801C2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389e6ea4076c71ded9da78395df572fa791aeee0","datavalue":{"value":{"entity-type":"item","numeric-id":497426,"id":"Q497426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994896$E954C3DA-AED8-4D90-B034-10A9B48D7044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb2ee3b8c029ad0cc84aa38006cc76c309c3315","datavalue":{"value":{"entity-type":"item","numeric-id":2346406,"id":"Q2346406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994896$A5393F0B-2182-4F34-8E8C-665FE10A7C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994896$7C8A5E98-A1C1-4DE1-BAA1-42FDFC846EE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-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":"Q4994896$5E2CD403-C699-43A2-8E59-69340CFF844E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f99d4f846e2711d49dce733299c82ce7fa4d35e6","datavalue":{"value":"https://arxiv.org/abs/1404.0844","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994896$2A59F9C4-A7C3-405C-82C3-C9279A048E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"75b15ac3a2695328701930cd329439dc95415edc","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR2014.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994896$8D57CB8E-BBF7-46D0-A131-FFEC47662626","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994896$B54423BB-92C5-40AE-A39F-91848E991179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994896$46DE4383-E2D9-451A-8D09-5FD9A36CF065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994896$9F423E37-7164-43FE-9045-FAD1531A73BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994896$CCFF1C1C-39ED-4BFD-8E78-45DEFE2F5C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c2b1d56e4034e8e868637c2e4aa77304075c04","datavalue":{"value":"7361823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994896$818F73FD-B947-4545-94A6-83981A84D1BB","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":"Q4994896$9D790F49-5053-4CC7-BF74-0CE0D98519D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff1b4a309e07b67a4a888c44c2ba6ceb6a32efa","datavalue":{"value":{"entity-type":"item","numeric-id":616040,"id":"Q616040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04ee4b42bda8812082eb3fb01b8a7fd124eb09c","datavalue":{"value":{"amount":"+0.7470158338546753","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":"Q4994896$DD76BF85-4E37-408D-BE4B-3E154ACBEF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95ede2d91b2fe5458abd07dd292609f12e6de40","datavalue":{"value":{"entity-type":"item","numeric-id":3096821,"id":"Q3096821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e59a2d59805477d5650148d6cd8fd54b9260b03","datavalue":{"value":{"amount":"+0.7390547394752502","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":"Q4994896$46E3BF01-F775-4C1E-A66E-EAA40B5AA361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb86290bb52e88f25505dfefbd5a0443576f3f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224569,"id":"Q5224569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa2ea155ff73fd6fedc35e51d15745b19a200b6","datavalue":{"value":{"amount":"+0.7349972128868103","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":"Q4994896$9ED42F2B-0D33-4424-B9AB-EBEA214EDDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6feceb9d8df0c454c1b7226f9a2993237223248b","datavalue":{"value":{"entity-type":"item","numeric-id":2915062,"id":"Q2915062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f1445be3dc33f4e3a21b848dd62d2a77fffcbc","datavalue":{"value":{"amount":"+0.7338805198669434","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":"Q4994896$1C14022E-AEBA-4D39-BD96-A148BE56868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca354f7567ebd2dae087694699d3106fe2c1d634","datavalue":{"value":{"entity-type":"item","numeric-id":5015399,"id":"Q5015399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2594f9e267160267e0dcaaa6eb9a3e25d25ddf4a","datavalue":{"value":{"amount":"+0.7334656715393066","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":"Q4994896$180A931F-EA59-4181-9AE1-2CBC38B43F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994896"}}}}}