{"entities":{"Q6917176":{"pageid":21005524,"ns":120,"title":"Item:Q6917176","lastrevid":84147875,"modified":"2026-05-11T07:52:50Z","type":"item","id":"Q6917176","labels":{"en":{"language":"en","value":"Game semantics for modal logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8104978"}},"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":"Q6917176$E9987D6F-13E2-4203-BE6A-14A3DC4B3564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d496263e230ef0aac322b6deac467f337d3b48","datavalue":{"value":{"text":"Game semantics for modal logic with counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6917176$964F1FB3-3AAF-4E43-99DD-AFF3C149849E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d9d75dfb49f012e2d70b451e3514f1b4778a0b6","datavalue":{"value":"10.1007/978-981-96-0354-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917176$CFBB4EC0-3672-4F14-981D-8C765CE9F689","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d00dbcfa1b7c260a8819f6e5761b4a8281fb9096","datavalue":{"value":{"entity-type":"item","numeric-id":6139082,"id":"Q6139082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$D7020985-F271-45DB-8362-90FA38B657B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b629150dc8389cc517dc534e1d95ac83fa4185","datavalue":{"value":{"entity-type":"item","numeric-id":1685914,"id":"Q1685914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$A0FA2B78-8D43-4B65-BF23-4A170B7889F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"649f7effc355da50d14f0c965ab07ea7bae1a67d","datavalue":{"value":{"time":"+2025-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6917176$BD526033-26C1-48B9-89BA-E9C5E0BFB3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917176$1C054117-1143-4C33-A192-EA8B68EAD9FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"345d3f7f8406c7ef4742fa7b4254239895888173","datavalue":{"value":"8104978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917176$B0F39D91-123D-4EA9-A92F-589C357E1C9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d795566f2913469836ab06f8e696b5a223ac161","datavalue":{"value":"modal logic with counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917176$0A5C516C-CC50-4592-8E76-836BD7B22E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917176$F6A96E3E-000E-4CBF-85D2-D4E3CABD4E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8e68b88752ac95b06198fee2dd74999b5155e93","datavalue":{"value":"evaluation game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917176$D79DD1E9-6837-4CCD-813E-C3B9D3950C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c5662f2498f01f3ade2ae4e60e3737d148fab4","datavalue":{"value":"model comparison game","type":"string"},"datatype":"string"},"type":"statement","id":"Q6917176$F1E76C53-A724-41AA-8896-4396244E9FF3","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":"Q6917176$54EAB139-97C2-4C75-A130-70682F164C7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a7b24c97e9defed95aa1d07399675675768ba2","datavalue":{"value":{"entity-type":"item","numeric-id":985002,"id":"Q985002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$678ABD25-4F96-4C73-A76F-1386277437C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$19A181CF-6B7B-4953-A948-B2E4244EE1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da53d6bdd14a9e9aa913f7a4daac69736e4b5181","datavalue":{"value":{"entity-type":"item","numeric-id":6909877,"id":"Q6909877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$A31E9976-C1A0-4F24-A65B-FB876D6924A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9edfb079fa39158f629aa59c382bdc3b0fa532d","datavalue":{"value":{"entity-type":"item","numeric-id":3984397,"id":"Q3984397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$3BA50CE5-1CCF-495E-9B2E-89E8C2989EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedadcb6b96cd2c929e3222c7cb41ead94410f62","datavalue":{"value":{"entity-type":"item","numeric-id":3686704,"id":"Q3686704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$9D35A837-B41F-4EF8-BDDA-0503857DA298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4e005a92fce1984a6e6d87f7357d3d3c7b46e","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$158B776F-92C7-427B-BCC4-5B436FB9B85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$A1F0B8A3-198F-45AC-AE38-9B7E781566C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36b9c464c10a2001663fd5f63f09a3ab8eff320","datavalue":{"value":{"entity-type":"item","numeric-id":6199174,"id":"Q6199174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$B4D2B721-9D06-4C97-8C1E-477AEE454BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55bd3ad3b3f1c6705250d60e705486f1e0f66bb","datavalue":{"value":{"entity-type":"item","numeric-id":4275688,"id":"Q4275688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917176$E77F6CEE-4B9E-406B-B6BA-BCA8B214AF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Game semantics for modal logic with counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Game_semantics_for_modal_logic_with_counting"}}}}}