{"entities":{"Q5018506":{"pageid":7048083,"ns":120,"title":"Item:Q5018506","lastrevid":55395796,"modified":"2026-02-17T15:29:26Z","type":"item","id":"Q5018506","labels":{"en":{"language":"en","value":"Reasoning about social choice and games in monadic fixed-point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450024"}},"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":"Q5018506$A7059B83-06F4-4133-85DE-2D9BB71E1672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab89d2d50f17f450d659ae9b22b10d627e5aa712","datavalue":{"value":{"time":"+2021-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5018506$CDC6AB74-3706-4D7B-9BCD-431717F82443","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16dce2084dc778c51eb8df061b2aa83cee624a77","datavalue":{"value":"https://arxiv.org/abs/1907.09100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018506$FDE07BC2-F0D5-4333-9A36-0A262C573E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"922bbc529ba5268cf740fe784ac7f701f7c65cc8","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2019.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018506$8E2EE8C0-B1C6-476D-BD5D-B79225D86C4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018506$190ACB1A-7C8A-4759-97C8-1609AD3B5BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39422f2002f3e7a97ef14403298c082b046daa62","datavalue":{"value":"7450024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018506$5185E9EE-A3D4-4EAA-92B4-26E83D3C0142","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":"Q5018506$47118CAE-96AC-402D-9F20-DD633CBED4E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$EF92F09E-F2A4-4AAD-9AF6-EEA07EE73A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e4a1eb4119c42fb073e258f526c4ae5a95d11c4","datavalue":{"value":{"entity-type":"item","numeric-id":1677255,"id":"Q1677255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$7BD73DD5-1B5D-414F-8D9D-523EF7232B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bda6389a938cd03d89a2e7fee63e4b4ac61bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4910927,"id":"Q4910927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$DD0CFD93-F2AC-4FBA-910E-417419CFCCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fed8cebeca550d48f5ff4756f744ccfadd9e752","datavalue":{"value":{"entity-type":"item","numeric-id":5015384,"id":"Q5015384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$06C7E7AF-BBDA-47B6-9D44-E4B8C515E37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3f05f853551418cca4e182137d4215cf968e94","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$B7C2D637-BA4E-4EBF-8949-18521EF9E712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c4859e773858138936b8ed4419a36010d131c","datavalue":{"value":{"entity-type":"item","numeric-id":1610625,"id":"Q1610625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$41B42938-F1D3-47AB-9DD2-1CA163B9BFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f727de4740c79018a29393d7b2d8cf03437b2d76","datavalue":{"value":{"entity-type":"item","numeric-id":3065009,"id":"Q3065009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$9DA4CE53-4BEE-46C5-8924-E3C05FB4EF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea44765ee7e9a905269f953199b5e2f0465862e","datavalue":{"value":{"entity-type":"item","numeric-id":5954142,"id":"Q5954142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$1F652478-759B-4EC8-B147-F3A379329D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d0a77fdef582d83a2f933405c7ef524f79fce3","datavalue":{"value":{"entity-type":"item","numeric-id":5133015,"id":"Q5133015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$E4650BBF-A87B-44DB-9C3E-316786E07146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$05E69AB9-A52E-49A0-9CB0-749A3D2D5309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396502d8c58ec7e8b2c26c33bcde955adb57c8df","datavalue":{"value":{"entity-type":"item","numeric-id":343902,"id":"Q343902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$B1DFD4A7-9B5D-4056-8ADA-F8931236C425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaacce59fa1f221109265c34b720287e0cba028e","datavalue":{"value":{"entity-type":"item","numeric-id":5708365,"id":"Q5708365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$7A265468-367C-4273-BB1E-C5D035630EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef68404c5765fff93a54d25ed0c54fe141ad31b1","datavalue":{"value":{"entity-type":"item","numeric-id":3095281,"id":"Q3095281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$E000C495-5D4D-4CC6-A6DE-9F83621A824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3f439e2f8a9e05a41badd3289d96834fa635d8","datavalue":{"value":{"entity-type":"item","numeric-id":4558795,"id":"Q4558795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$B9F9DDCE-476E-4841-8E81-161D2C3E1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c62cd82e72c05f2e3da5ccf5166ae35457803d","datavalue":{"value":{"entity-type":"item","numeric-id":1425189,"id":"Q1425189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$EC707F83-DC56-482A-898D-1F6669F69BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2ee72898110fe7889fd717779f041df5428e7","datavalue":{"value":{"entity-type":"item","numeric-id":4866342,"id":"Q4866342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$507AE0DB-AF54-4B99-A3FD-C1CF0C5CC1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6931db11de8cd2a0177034c745b13a11599d0dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4460679,"id":"Q4460679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$6F8BC125-C425-4540-87AC-D781AF833F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5dc8e210c21b663134e6361ef73743fcbd990a","datavalue":{"value":{"entity-type":"item","numeric-id":5605644,"id":"Q5605644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$A9ED3607-0FD4-4849-BCF7-26FF5551C089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$C5FAFCB8-2B2F-43E0-8802-F082A67AEF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea5d79ccf6813176a04fe55a6869bb6b6d054a8","datavalue":{"value":{"entity-type":"item","numeric-id":1677436,"id":"Q1677436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$E8C60F84-4402-4ED2-BA57-8922644F8258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f53f4ede8d28e2585c34919c7af03716c36170","datavalue":{"value":{"entity-type":"item","numeric-id":1915710,"id":"Q1915710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$5C655456-08A0-42DD-86E1-504DDBB29A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7daf9bb0cd010902de82015fb275e3b18e946882","datavalue":{"value":{"entity-type":"item","numeric-id":1817255,"id":"Q1817255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$B9B6DECC-276A-47B9-9503-A0CAA1988863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$19B38D3E-A628-46B6-9723-F1A740E1A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2f9a101ae5b6d241bbadf1b9c2d9104f25e6a5","datavalue":{"value":{"entity-type":"item","numeric-id":2560099,"id":"Q2560099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$98902ECC-C78C-4BE7-BD81-1470AD40B1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949421472cbfbe5f8ad614bd9c2234484e9206f","datavalue":{"value":{"entity-type":"item","numeric-id":5277734,"id":"Q5277734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$6193230A-671F-4387-8CF1-54024383D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263824837014a8ae007ccd93d4adcf3a4307d7e7","datavalue":{"value":{"entity-type":"item","numeric-id":817849,"id":"Q817849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$EC6A6568-048C-4A24-B1FF-61DC7154C02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccee54134a4e0161532ecdfde2f2f5d6d9abdc4","datavalue":{"value":{"entity-type":"item","numeric-id":1843369,"id":"Q1843369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$D22FA7D6-3662-4313-8E87-4F85BF72A541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1db797bd63e4708128ddbd6d46ca851d2f6f949","datavalue":{"value":{"entity-type":"item","numeric-id":5289300,"id":"Q5289300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018506$CC7F0A69-B7AF-4297-8A90-0560B21D81A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc3934bcb7956af3f0187ff45174520610e4edd","datavalue":{"value":{"entity-type":"item","numeric-id":652736,"id":"Q652736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48dc65cc8fd4b6a1378c9d98de678a70e66de9a","datavalue":{"value":{"amount":"+0.7753012180328369","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":"Q5018506$C6CFE2D5-6479-4032-961F-BCFBC19CD6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0fbddc1b69368fdec99779db3ac1a1a67252c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5037684,"id":"Q5037684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c0cb1712b94a84072e25aee58d06ea6631a907","datavalue":{"value":{"amount":"+0.7723328471183777","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":"Q5018506$160D02BA-78AB-45E8-9C0A-C35F8575C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41485dd0615e79f15c0fe916f4e2194f80e68ede","datavalue":{"value":{"entity-type":"item","numeric-id":6562527,"id":"Q6562527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65583cff1170c8d6938a548351bf56c9ce7f5829","datavalue":{"value":{"amount":"+0.7478768825531006","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":"Q5018506$DC292DC5-2310-4A7B-846F-BE73F8680BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb5e169bddcdca0185af23fefe626b7991e9e746","datavalue":{"value":{"entity-type":"item","numeric-id":3383491,"id":"Q3383491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2094cb0f315796c0e01e9a04821969d7fe580661","datavalue":{"value":{"amount":"+0.7329403162002563","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":"Q5018506$B3F8257C-E731-4921-90AC-DA54E6106684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d9620f8f842f96840f7c1c90ae37acdddd4d61","datavalue":{"value":{"entity-type":"item","numeric-id":1024128,"id":"Q1024128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afb5aa275a4c920f7b3f07092381f21ba4a3ef3","datavalue":{"value":{"amount":"+0.7183415293693542","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":"Q5018506$D62F7E54-79FF-4C09-A5FC-FBA2A5FF6B7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5018506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5018506"}}}}}