{"entities":{"Q391101":{"pageid":392868,"ns":120,"title":"Item:Q391101","lastrevid":61528137,"modified":"2026-04-10T23:57:19Z","type":"item","id":"Q391101","labels":{"en":{"language":"en","value":"Model-checking games for logics of imperfect information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244018"}},"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":"Q391101$B4851926-FBF4-4D13-A16E-12DD66427E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5c4512864f6934f0f3a51f4cd613f08535bbcc1","datavalue":{"value":{"text":"Model-checking games for logics of imperfect information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391101$E6C56D13-5401-4960-BED3-88D3292646A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0417042f8e39a0577b21213c7c1c95066346d0ba","datavalue":{"value":"1358.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$2A93FB97-5C97-4236-B8AA-64C08938CE2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$326B4191-451E-4DB2-979C-2B913A9BB238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$DC143D02-434B-4B54-B42E-9E761C56876F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q391101$73DF4B72-5685-4444-A258-35BB3611CA03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$CAE7479A-7BC0-4F4E-92AF-CD14E6B4EE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$9F742F67-56B2-4325-AE5C-DA8A26A8586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$D12AF48E-D13E-44CC-9AEC-024381D6EE0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f98d42a1f716dcdd79a427addb8e9ea28099311","datavalue":{"value":"6244018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$2A049EA1-1A5B-47CC-B175-DA862C6B40D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d873906c6b05644f4875e18068ef8ccf5f70580c","datavalue":{"value":"model-checking games","type":"string"},"datatype":"string"},"type":"statement","id":"Q391101$90A58066-5E0F-43DE-9E1E-9177EB946BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q391101$3F6EACE8-7804-43D0-9097-5D6913E8126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8445b6daabb2325b71f3697d57e2322429652d87","datavalue":{"value":"independence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q391101$4869F474-018B-4240-ABB3-D2E5BB62809A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q391101$E418A8EA-78FE-42D9-8BB7-73B43710C356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdbd99bf93bdfadcfe5b376bdbbcfe945c8d1692","datavalue":{"value":"second-order reachability games","type":"string"},"datatype":"string"},"type":"statement","id":"Q391101$A42DAE21-9ED2-4A0A-8A6F-93D3D05781D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q391101$EF83EC77-5F0B-48BF-B886-AD09A96A1A51","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":"Q391101$70F35720-269C-48C4-AA87-E2B1DBC058B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"765b238a44b0c8483a2a8f40a3757a71c793f286","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.10.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q391101$0EADB65A-7F79-4174-84CB-B1466AB1CCD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d00ebbf392416f0aabc85004378df5ca22239be","datavalue":{"value":"W2169393469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$6A84A8DC-B0AE-4B65-BADC-477B382828E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$2D84F4B1-0CD9-4FC8-899D-3B90E07D0D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$3370F64D-64BF-4C17-B363-1768BFC0DEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2265bf214ca9a3de5f9ec04ef15f60b66edcb622","datavalue":{"value":{"entity-type":"item","numeric-id":3613344,"id":"Q3613344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$0CD685BD-7DE7-4B96-9CF0-289FB09F54C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$26C71FBE-E0E6-431B-B99A-9A9A2698F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$8FC453AA-413C-411B-806A-AB4F62335307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$0D53F487-204A-402A-B2B7-9ACC52E7E57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9a9d32dd159b3bc7c5c5fada1fb8d22fdc65d0","datavalue":{"value":{"entity-type":"item","numeric-id":3172530,"id":"Q3172530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$A248EEE8-A133-454C-9359-026F3BE0F5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$BFF2FD84-E6EA-440E-8334-424060B80AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$DE6C4C28-AE9C-4A30-84D5-1E92ED67C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$1609D589-F3CC-4602-A61B-294393F64112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c879ca2b79469c38ce4091087e5b4353caf612a","datavalue":{"value":{"entity-type":"item","numeric-id":3574468,"id":"Q3574468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$816619D6-1885-4144-B47C-00D71CCFE23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ecbb7382c81ff4c246d8ee37f901be0a41022","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$346EFFD7-B926-42D8-886B-EBBD312F3A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305a47587dca032c000354982616ac90bd83c6a","datavalue":{"value":{"entity-type":"item","numeric-id":628802,"id":"Q628802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$61F1D2BC-24EB-4228-879E-7F173661A611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a311e7ea5e9c4b3c79d5eb4c907cd6989b685383","datavalue":{"value":{"entity-type":"item","numeric-id":800838,"id":"Q800838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$444E952F-D07E-4748-B80F-142D96B98623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$EBEACB13-8B07-42F9-8D9B-94411D7BABEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391101$E4F2A24C-D5EE-4110-B5C9-CB0F2EC5D10E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf939bafb31281549467f26da9f26d23f6727c41","datavalue":{"value":"10.1016/J.TCS.2012.10.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391101$1AA980E8-F488-4BDA-BC90-5AEF799B6C1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bb557a4104a9bab6eb505387d005fd50e70588","datavalue":{"value":{"entity-type":"item","numeric-id":2958518,"id":"Q2958518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c872018a4779a728232c14498df34f75ccfd270f","datavalue":{"value":{"amount":"+0.8273794651031494","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":"Q391101$749089CD-9731-4D67-8481-B5A9B6CFCD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a5f1d1a9fe48aa4afd055c8e7d72fb6890cbe29","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4864caa25eca3b7e05d064922b3fd4e27cd60324","datavalue":{"value":{"amount":"+0.8176131844520569","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":"Q391101$F59A7615-D2B4-4AFF-92AB-EEC3EE732193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22abbe2826617bb723652993628001f6333f662c","datavalue":{"value":{"entity-type":"item","numeric-id":3299581,"id":"Q3299581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd29a946deea4f133a5daf59add6f4f6979be19","datavalue":{"value":{"amount":"+0.8073611259460449","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":"Q391101$C885D35F-D29F-481B-A90A-F446946A4B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7279b62a2d89dd47c2fee696d591b9ecdf91ed85","datavalue":{"value":{"entity-type":"item","numeric-id":4922070,"id":"Q4922070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd49043161b3513fa2a4dd4fed24fbe8f022cd3","datavalue":{"value":{"amount":"+0.777121365070343","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":"Q391101$F15272B2-EBA8-40D6-A75F-35D7934A9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8bc24cafc9244ef3061fc67ca5ae1a7bc62677","datavalue":{"value":{"entity-type":"item","numeric-id":5278424,"id":"Q5278424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5091d63f426a09ae6e1d3d04ecbf407a3be68973","datavalue":{"value":{"amount":"+0.7696807980537415","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":"Q391101$2AF303DB-E3AC-4F02-8C54-75644C4FC603","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking games for logics of imperfect information","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_games_for_logics_of_imperfect_information"}}}}}