{"entities":{"Q5216339":{"pageid":7245909,"ns":120,"title":"Item:Q5216339","lastrevid":58486026,"modified":"2026-04-05T10:31:41Z","type":"item","id":"Q5216339","labels":{"en":{"language":"en","value":"Formula size games for modal logic and \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168183"}},"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":"Q5216339$988B77D0-BF70-4F8F-8C9E-2F4BFF28FCDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd57a74a79ac64038d3b9fca4b112b4e7e741a73","datavalue":{"value":{"text":"Formula size games for modal logic and \u03bc-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216339$5861855C-C045-4A39-A182-55FCE5050740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b1d68c354a82ef17703aab8fc7c3abf1b7bf16","datavalue":{"value":"1444.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216339$A4F04340-D2D4-489C-A219-EEDF11AA0952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216339$AD7C2BBA-E2B3-4191-9683-AFF01A721FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b78f7a9b27928d26da1b94bc1c42acf3a3bc79","datavalue":{"value":{"entity-type":"item","numeric-id":2104259,"id":"Q2104259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216339$9EC9905A-4224-41A2-B2F2-4D1BCD579555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216339$DD89B88C-2F8C-4F64-8D2C-23F36E162ABC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c30cfd6a8272b46d8c13e11ff36672805dfe9f60","datavalue":{"value":"https://arxiv.org/abs/1912.08715","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216339$2AA2DB73-5F18-49CA-B822-6FA713EC4F72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216339$7F97D7C1-86BC-4C4A-B087-43AB8D2DCDA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb6548a84823de55cb00713f677366408229b1a4","datavalue":{"value":"7168183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216339$71C74363-BBF7-4E93-B415-F9DA6F3095B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216339$4CD9AC11-23AC-42D7-B94B-A8C7CAB4DD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d16e8500658ecc73299f4c902fd3993679dc97c","datavalue":{"value":"formula size game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216339$D10BAE4B-AEF2-4F92-9C37-EAB0AC74AF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216339$6E581A10-99D4-4999-81E1-CA31871506B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216339$AB4781BE-603E-4026-B27F-386354303DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766d61443569ed8fea9f8b2d0e75c4d67c225ca9","datavalue":{"value":"bisimulation invariant first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216339$94BC17B3-4E29-4551-81B3-BC0386B8031D","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":"Q5216339$9CD08755-F32E-4860-94EB-03F06BE92715","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08809a7f202e199126044ef5a76772daaa5122ca","datavalue":{"value":"W2996136717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216339$841DFA9B-AFFA-48B8-BA95-DA5412D533E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c832532ccfe7654d3400ae78fdacd93c3ae78c6","datavalue":{"value":"10.1093/LOGCOM/EXZ025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216339$1EA72962-9130-43D8-8E26-9AAA316EDA35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216339$7E6171D4-B187-4184-BD2F-068D2504A82F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdf7e07185eee9a08a6f2a52eb3fc52d82a5c34","datavalue":{"value":{"entity-type":"item","numeric-id":4636046,"id":"Q4636046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e4734d3a64bc778005f7b1c190b1a435514f9c","datavalue":{"value":{"amount":"+0.942706823348999","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":"Q5216339$4AD5ECBE-6D08-4CA1-9D22-38E8542A97B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2679ea4711a1d37d9b257f2cbb588fb15ca3e42e","datavalue":{"value":{"entity-type":"item","numeric-id":360052,"id":"Q360052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39088bd6ec41ba8f5723331072089f924acff60","datavalue":{"value":{"amount":"+0.7918661832809448","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":"Q5216339$7FBCC327-F4DF-4286-B334-7C8C667014B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77cb8e08ecdea57ac4a7c0e2f660f8be26e9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c11e2a8590c0dfcaa84e10f52f3e660cd78085","datavalue":{"value":{"amount":"+0.7733640670776367","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":"Q5216339$049B4F81-635E-48C1-BB22-5E8C9F250146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7221fc6c30acb968bbb9b47be46fccfbef044b28","datavalue":{"value":{"entity-type":"item","numeric-id":3086929,"id":"Q3086929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6507a6059cefe17424d2c21953b9a041d5a4b4f5","datavalue":{"value":{"amount":"+0.759468138217926","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":"Q5216339$71A5EC4E-359F-4C0B-8E96-97267B69C8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5167e47acebea4212047e18d57c90d02d31f47","datavalue":{"value":{"entity-type":"item","numeric-id":4636290,"id":"Q4636290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9ddd78b1568911dfc52fe4f25c0a172644acec","datavalue":{"value":{"amount":"+0.7515285015106201","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":"Q5216339$E7196980-A2ED-43EE-9D5F-9799B9AAFF7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216339"}}}}}