{"entities":{"Q3613365":{"pageid":5643271,"ns":120,"title":"Item:Q3613365","lastrevid":50603636,"modified":"2026-01-14T13:13:28Z","type":"item","id":"Q3613365","labels":{"en":{"language":"en","value":"Satisfiability and Finite Model Property for the Alternating-Time \u03bc-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528234"}},"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":"Q3613365$B62B2711-6B78-49DD-A2EA-3ABF85A0DFA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ce83c959cb4dc728e46c91f29846787070186bf","datavalue":{"value":{"text":"Satisfiability and Finite Model Property for the Alternating-Time \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613365$05087E3B-E4C9-4BB7-80DB-FD09810D91F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e7ce6611f6fa942bf5566f782087574c17ab9be","datavalue":{"value":"1225.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$17523899-0842-4E81-B520-B310048CA79D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29916902102215fd8c485d04198cb7f7346681da","datavalue":{"value":"10.1007/11874683_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$EB0D2E4B-4F37-41D4-83CD-4908EA06786F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613365$5F436741-28C8-4857-ACE4-A0FE59FCD755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613365$C3FD2FCB-C976-4A22-ADD7-3B4C99A89AC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613365$2511F882-0168-4E8E-A5DE-EB7F22ABE956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613365$688DE2E2-1356-4E83-A3B1-A6D93C08E55A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$D33FAE1F-1D92-4D68-B105-445143E1B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$EB6395DC-3923-4505-931A-10EAB5499DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$A514C70F-7EE1-459F-BC73-4FE30D014DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e139454a72d503dd3ea98816e73ddfafa8d2b8","datavalue":{"value":"5528234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$DBB4A5E6-55AE-4B11-9ED7-77477453AD5E","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":"Q3613365$579F4CAB-0F22-400F-ABC2-C402D895E49D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4389ffb15111539ff7918a03c92ce76fca4b8103","datavalue":{"value":"https://doi.org/10.1007/11874683_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613365$930EDE6D-C44D-4BD7-9073-B0AF6C27E2E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e91f8c50246f4a7bffba3cab5082d11be6044fbb","datavalue":{"value":"W1525083854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613365$1002F6C1-2778-45F8-91F0-19DF34267713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125def8d4eb97a4bcf3abc8f8d918972d7e1087","datavalue":{"value":{"entity-type":"item","numeric-id":5479283,"id":"Q5479283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d1d00956c4aaecbe3d283b56b1eb8308bd6253","datavalue":{"value":{"amount":"+0.8261627554893494","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":"Q3613365$FA22F67C-BF65-4395-9E0B-45DD0D0AD628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4162787fc5bbc64e7e69fa55e2dcaa77aeab75bb","datavalue":{"value":{"entity-type":"item","numeric-id":3085177,"id":"Q3085177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4ee6695873845dd13fec2a7e4f2eddd62c9fd8","datavalue":{"value":{"amount":"+0.819922924041748","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":"Q3613365$D8531B6E-4E8B-4D45-AA6D-898365091C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70192699b2f4bf6f3062c2880bf9b612b45020b6","datavalue":{"value":{"entity-type":"item","numeric-id":3192199,"id":"Q3192199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516a6a3aa8f50951ef99ec7628141bfc87bd94fc","datavalue":{"value":{"amount":"+0.8139660954475403","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":"Q3613365$CB65D99A-EEF8-445C-B2C6-79C53B4DCEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f2b2dc5add5ca8910de13f750b64d1a381a1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0990908fd1fb51c598595715aaf51ebfaf39c025","datavalue":{"value":{"amount":"+0.8099737763404846","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":"Q3613365$C8496807-6E40-497C-A053-20E396816BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2686555aa4d30caf7f1c44c9cf16928095982fd4","datavalue":{"value":{"amount":"+0.8079162836074829","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":"Q3613365$3E9D60CC-9012-4811-B013-425562811B46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613365"}}}}}