{"entities":{"Q5213642":{"pageid":7243212,"ns":120,"title":"Item:Q5213642","lastrevid":100577216,"modified":"2026-06-05T22:29:18Z","type":"item","id":"Q5213642","labels":{"en":{"language":"en","value":"Games for inclusion logic and fixed-point logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162518"}},"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":"Q5213642$F680359C-0FBA-4169-910B-63BEDA595B86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e1dbc3170e99f87f33d2868a0ebb637551d56e6","datavalue":{"value":{"text":"Games for Inclusion Logic and Fixed-Point Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213642$B007ED3C-0250-414C-9CE6-9E6A19AD128F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcedf4f678e9706a5453a387bfce3d52df270598","datavalue":{"value":"1429.03117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213642$56AF6319-F8F5-4872-B220-2C316A9B1D37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0810852f67b7234216829dde59242c7eb740400a","datavalue":{"value":"10.1007/978-3-319-31803-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213642$60951D71-184D-487C-8DE6-40C91036E19D","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":"Q5213642$D9C8DA5E-89D3-4948-9C66-3521804AD2D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"05df2d2137afeab60dcc057a3adb051fc508fff6","datavalue":{"value":{"entity-type":"item","numeric-id":5213638,"id":"Q5213638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$4674E555-2D41-46CE-9770-B8EF2C61EB6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5213642$7C8B96D4-F433-4DBB-8920-078163B85106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213642$00F9B6FD-FED6-4793-9B1E-3E58E74B2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213642$880548D0-9224-4E08-9B4A-BAE75D0B0BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e478d628d157e926b85f45cde86f0898a71fbb2","datavalue":{"value":"7162518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213642$5714A325-BB18-4E16-B195-CD10AD6DAEE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117816c464c7958f447f6e07568eeff4b735729a","datavalue":{"value":"winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213642$A1A71AA9-9F53-4C1B-8CC7-055D9E55C8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213642$2459F83C-65CC-4802-900E-493F4AC1F3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee18df7f9deea50e399ecc3fcabfb4c826699bf","datavalue":{"value":"game graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213642$6A2ED6C4-7739-40D2-9CCD-08D75F8664CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54e72cc091d41d67a4ded37dbc30c439256d911","datavalue":{"value":"winning condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213642$2768AB55-428E-4C54-99E8-554648D20ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ff42b42320a82b79477c786f622fa365512b2e8","datavalue":{"value":"negation normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213642$65C63593-9A5F-48D4-87BB-3AB2AEE08FC9","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":"Q5213642$ED3FE350-3522-4229-81E5-E4B86EA53333","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3deded21f2d56b3cc10ad1bafe5e41d43215ac08","datavalue":{"value":"https://doi.org/10.1007/978-3-319-31803-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213642$0063BCBB-0C35-443B-8F59-3451EDAF5FBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54ae51aa8a031b9714295e97e98f823174f8c318","datavalue":{"value":"W2499942789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213642$500C8319-E40B-42EB-818A-198D732DAB3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"642b5ea1ecb715242355ecb3a726a2fb28c94d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3083813,"id":"Q3083813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$9B8C0E61-CA8E-4C46-8E8E-55A56A00831E","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":"Q5213642$32385A1D-804A-4C28-87C5-83B69C5AF007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6cd049ff431edffd5bad9d535e84ddff9eb5ea","datavalue":{"value":{"entity-type":"item","numeric-id":3775538,"id":"Q3775538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$6F1E2523-8903-4024-B0F0-1DFD645D8BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0a3675d75472d9cdd547fddb4d75eee4e997e1","datavalue":{"value":{"entity-type":"item","numeric-id":2255198,"id":"Q2255198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$AE671637-F401-482C-9C83-1BA6D67CCE22","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":"Q5213642$C48A9428-0C67-4755-83D7-9040897BC74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$6B815DC9-7D02-44B0-8A26-DE435778C487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f193bec91b4967a5957e95adf6144816027176","datavalue":{"value":{"entity-type":"item","numeric-id":391101,"id":"Q391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$4C2AE4B7-8E4D-4774-BA13-0D8BA63FAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$715B088D-4BDA-4C6B-BBA2-0FA224D386CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248bde3a394bd4daef7ad3a4739df78b9e4b1b1a","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$B9BA987F-8479-4CE0-8329-8D5A15CBC360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213642$AC7D11BD-FF76-4700-932F-DF099AA8966C","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":"Q5213642$13B6DFB5-517E-4045-991F-4252D62398E0","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":"Q5213642$F48B3D39-5BE5-464C-AB46-4247BAD16905","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1100745c33ca9bd4d58b0eb59d9b5b1586e648a","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94557aa6f0e50eb15776e2f63811746026a896e","datavalue":{"value":{"amount":"+0.8592818975448608","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":"Q5213642$772E55C5-F503-44E4-9FED-016052F48EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6368ed5f1f3861ce9d0481c1a04b5c39189799","datavalue":{"value":{"entity-type":"item","numeric-id":3172530,"id":"Q3172530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85895c33b80ba4070b68c9c0a71c836ccb84aab","datavalue":{"value":{"amount":"+0.7777405977249146","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":"Q5213642$8B2F4706-7FA8-4537-8D6A-31DA7CBF4852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388a42dc6c4bfb96fc3233dc8c145a09e000308f","datavalue":{"value":{"entity-type":"item","numeric-id":5925562,"id":"Q5925562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcf30353085bab53de9cf3fb99856213d11fa65","datavalue":{"value":{"amount":"+0.7718585133552551","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":"Q5213642$F7B7C962-F47F-47AA-BFFD-D32A3E3AE56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eb0a117c4e6902957162871cd392e33acc60e4","datavalue":{"value":{"entity-type":"item","numeric-id":1764420,"id":"Q1764420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3077b533a7cad0e30ed3364c12cd7d0cbaab693a","datavalue":{"value":{"amount":"+0.7600648403167725","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":"Q5213642$5E4A4B03-7F99-4560-8979-A26811F2F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b18c673735ac2ce0fd455a53dc21af4373936d","datavalue":{"value":{"entity-type":"item","numeric-id":5919492,"id":"Q5919492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9ef535a455f873721ad0e1a061f1f8de0de4b7","datavalue":{"value":{"amount":"+0.7484483122825623","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":"Q5213642$7DCAA85A-8862-484A-9D0C-00E394A25DCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Games for inclusion logic and fixed-point logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Games_for_inclusion_logic_and_fixed-point_logic"}}}}}