{"entities":{"Q2851673":{"pageid":2862393,"ns":120,"title":"Item:Q2851673","lastrevid":58020162,"modified":"2026-04-03T11:48:11Z","type":"item","id":"Q2851673","labels":{"en":{"language":"en","value":"Satisfiability games for branching-time logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215586"}},"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":"Q2851673$EAE1F570-4B2B-42E0-A06A-3D2F0BA2C89A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f32c83d423bc318b4019b46de08e8ca93de8952","datavalue":{"value":"1312.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$34F6378F-CD98-463F-8E42-CD2FB3A47BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c238d905d96f74acb09d968fb8994f719b7d6da","datavalue":{"value":"10.2168/LMCS-9(4:5)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$85A1B2EC-35F3-49E7-99FC-546D1B7DA544","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4837f0d122d5493100cf3a55fa0f0b33a2b57f68","datavalue":{"value":{"entity-type":"item","numeric-id":507320,"id":"Q507320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851673$792001B2-0B31-4396-B901-6B7CBF17B408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851673$B11A538B-1643-4DB6-8C38-0F72D501A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40462a16b9cc04098cc18dfa55292a866d944377","datavalue":{"value":{"entity-type":"item","numeric-id":386035,"id":"Q386035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851673$9142790A-9871-4158-8A82-41D789AAA820","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851673$748B3A3A-1E65-4CB7-8187-35A0D98EF10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e66e529c7db342e2e69c7d5a949f71cd11d4666c","datavalue":{"value":{"time":"+2013-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851673$656BD0CA-2857-4830-96B6-3784F79E084B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afe65558184041f2ad1d4c029dec5e6619bc5553","datavalue":{"value":"https://arxiv.org/abs/1308.5165","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851673$FADAEEA2-ED8C-4F9F-A0CC-DCBE34DA4301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$C74E2241-3042-4C4C-BB4A-29CE1634B7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$57D52CDD-DB26-4687-B665-B3FF89259675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$F9000160-0C41-4810-9A82-F5DECCDE16B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"706845514d3f80db62601cf876a748a5561029b3","datavalue":{"value":"6215586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$A7EDC2DD-82FF-4F5A-9CD6-57F38BE5AF01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851673$B00D8888-8E69-4018-A1CA-315C7E85C374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851673$4F695B74-5700-4BFB-8A75-18B95EFD5B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851673$E628CB5F-27F4-4657-9D27-2576AC026D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851673$EFD6B378-421E-4AE1-87A0-ED52C0171CDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851673$73DDC8B3-5B72-4B9C-9085-E6936FC9BEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd8872b92a1afd17b0483ead020793c1214a77ea","datavalue":{"value":{"entity-type":"item","numeric-id":37006,"id":"Q37006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851673$849B1592-7427-4252-A259-C2AD71DAE2D9","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":"Q2851673$8447A0F4-4E39-402B-8436-8BD34AC077F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78ccf36b5d4388d16c7cc8095b7fc7719fe97d0e","datavalue":{"value":"W2028860036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851673$F31FFEDF-D4CA-4D7D-8CE6-D3E67FA720E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a42c7b3032aae56403673f0a3271553d4d29c73b","datavalue":{"value":{"text":"Satisfiability games for branching-time logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851673$A4360CB9-D5B7-4180-9E7F-5FF7265775A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7196fbf2afa17348c8b503ccf4edad10882036aa","datavalue":{"value":{"entity-type":"item","numeric-id":3146304,"id":"Q3146304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90b72ba1319d4af3d33ff922f67b87538870b9e","datavalue":{"value":{"amount":"+0.8608173727989197","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":"Q2851673$A8645FE2-8177-4139-9EF5-0FF3D6E33F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ce8b156bb5a316bc350d0f03d67b3cbce7fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2908510,"id":"Q2908510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d566382ff47293b6b2a1cd575da47eea8e08a4b5","datavalue":{"value":{"amount":"+0.8288193941116333","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":"Q2851673$11C6E980-C571-478B-8D0C-6F2C05936446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a870c220006da6c3311d6741c92328a95ca3fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":2849561,"id":"Q2849561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71576b3e54d856a8974bd152023542237936dac3","datavalue":{"value":{"amount":"+0.8206532597541809","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":"Q2851673$154311EF-23FB-4014-A82A-5E5C6F81EE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29ff405ace1f502f2e1b235dcf97c7008a8d71b","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b25ff2abfae3c00fcdbfffd81db3978a1104fa","datavalue":{"value":{"amount":"+0.8104370832443237","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":"Q2851673$DA7839B4-AC29-45A0-B1D5-5D8F82168825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecaebec92af5dddd85d10e64d18937aa1be945","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c13ae55944b8cab73de5f49e4c3c17f6b43f2","datavalue":{"value":{"amount":"+0.808964192867279","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":"Q2851673$C86BBA82-AAD3-4145-B169-8FBFF5BFD138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851673"}}}}}