{"entities":{"Q731893":{"pageid":733742,"ns":120,"title":"Item:Q731893","lastrevid":63912387,"modified":"2026-04-11T16:23:23Z","type":"item","id":"Q731893","labels":{"en":{"language":"en","value":"Propositional games with explicit strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5611734"}},"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":"Q731893$8664BC7A-758A-47F0-B921-8C93D8104755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b305311546e29aed38dc9fc4bcd1716e5f344a06","datavalue":{"value":{"text":"Propositional games with explicit strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q731893$7028779A-A35F-4CC4-955B-43935D3FF5BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e2682c845879f4ac48edd8f6aacd07eef283a32","datavalue":{"value":"1207.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$9BF635D7-BA41-4B9B-BFBB-1AD650680C7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63694609c82b4028de046fad9bfcd187d32627dd","datavalue":{"value":{"entity-type":"item","numeric-id":375306,"id":"Q375306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$835D13C2-E8D4-4317-947B-938EA508E943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$11367D69-35EE-432B-AA43-D046919BBFD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q731893$7D11FC23-3FAF-4CD7-AEE4-54AF620B894B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$E680EDA7-5286-462A-BF0F-CDEEEA3E4545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$5E74D60A-8069-4276-BD92-E5C869AA5A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$EE67C00F-0615-49E0-BC0B-CD576952BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$9962FAD7-05DF-4DD9-9BE9-12B28676369D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c1ef965ff34a822910b020c14d69319a3305456","datavalue":{"value":"5611734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$EE2542C5-13B4-46D3-9F65-85D2C86A75A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q731893$2848BEBB-AF09-49BD-81EE-134C1BFD3B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q731893$0E8BF96C-AB8B-4B97-AB32-B046EC809CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q731893$E51C8EAA-49A6-4C05-9CB6-6043FEB781FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2aa2a35ca1a65dca8db7ce6029c0b2ab7385593","datavalue":{"value":"Nim","type":"string"},"datatype":"string"},"type":"statement","id":"Q731893$4E6BACD7-8A57-48E9-93FA-62252FC254C8","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":"Q731893$4CF8201C-8960-43ED-8B9E-71B5592DB818","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc6fb526e3435a1f27bce7941e5e8c7d953b7825","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q731893$9B063D30-C7B1-4B9F-A56C-D0681E56EB13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dfadfa627c1ffa396db59d2954119c52f01f9ed","datavalue":{"value":"W2100767166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$C950BEAB-FB77-425E-A0D4-3310B6EF853D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb8b3fb6ed6f9488aa1d375681b775680946c60","datavalue":{"value":{"entity-type":"item","numeric-id":5946350,"id":"Q5946350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$9739826C-6330-41FB-8F54-5381FA3F4973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$5D1C2514-4CC6-4F57-8B86-2F665122EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6015f5a7506db6339797c5e813961394d9eedd0f","datavalue":{"value":{"entity-type":"item","numeric-id":5434494,"id":"Q5434494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$4D51F02D-6DDA-4A37-B776-1DAC70E62033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f082372987ccabc92cbd0d14c450ff1b25ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":2500478,"id":"Q2500478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$A9F6945A-1302-4B70-B796-CA4D1C2BF777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f734330c8f5394f8e9e9dcd4c009dbbb580298","datavalue":{"value":{"entity-type":"item","numeric-id":3532452,"id":"Q3532452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$591D2525-B838-47BA-A32B-F036B9031D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b1da72ca3738ae54c799ee3ad672846f73e0c6","datavalue":{"value":{"entity-type":"item","numeric-id":3371155,"id":"Q3371155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$1F17F8C9-335C-4304-BD51-2FE88EDC1954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58e7489ba66b2a9b4b8426a0c5c2034219ba985","datavalue":{"value":{"entity-type":"item","numeric-id":1028642,"id":"Q1028642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$E1944053-19D4-45FE-BF10-B9A4456D9AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$2331C8D7-7C3B-44E4-90AF-38877F07D3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$8C37BE2B-C66E-4EA5-B3A3-D8F2393AC266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$7285723A-C1A0-43FB-94E4-D01A8749DD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9940c0e06b26b1101c84817c76f74d0dadecc1","datavalue":{"value":{"entity-type":"item","numeric-id":5817866,"id":"Q5817866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$62E178C2-1F73-437B-92C1-A554BDF961AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfadef4097d116081445a38f2cdb1372b1ba604","datavalue":{"value":{"entity-type":"item","numeric-id":3396588,"id":"Q3396588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$1F7A949B-FC8B-4E13-8A26-F313343A7881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53f81191d3b7c0b8a719c1d8f281eb0d61979e8","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$B2030502-F999-4217-A3FC-3FE59C321C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6455fbb5afa35439549e9692611b09b390c69d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q731893$FAA99BD4-1329-412F-81DF-8B66CA73BAEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"729434b293b3d1d3632840665bff43d6aba0a8a0","datavalue":{"value":"10.1016/J.IC.2008.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q731893$FD5CC64B-208B-4AD5-9AB6-45C5E210D33D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b408ee76d8567c9f940019f4f83448f273a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4917994,"id":"Q4917994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759c9f9bf4bae8d069aabbe378dc1bcac9dd4c8e","datavalue":{"value":{"amount":"+0.956870138645172","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":"Q731893$F2C54CC8-437D-41FA-A362-637E000521A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4131ef5ed0c2b68e4b490354de95c4295fec9455","datavalue":{"value":{"entity-type":"item","numeric-id":2702562,"id":"Q2702562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1095aa839dda9801be5b3b05664b7c0aa9acdb61","datavalue":{"value":{"amount":"+0.7668808102607727","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":"Q731893$FE705A4F-652F-4ACF-90F2-B13C8194D1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43ae7f7a5eba429d1a4bf4e6f3f3149ad0f38ac","datavalue":{"value":{"entity-type":"item","numeric-id":5041088,"id":"Q5041088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77aeb48e3fe0cdea53f9d0444ba489111b7f2c0e","datavalue":{"value":{"amount":"+0.7668805122375488","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":"Q731893$BB4E1D48-0E55-4D52-9829-F237F557D300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d31a4842cf33b06beacf962a0a5d8d56acf8077","datavalue":{"value":{"entity-type":"item","numeric-id":674272,"id":"Q674272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66435df366b611fdc54df0931217340edabe7a9","datavalue":{"value":{"amount":"+0.7468650937080383","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":"Q731893$43DA30F2-4DC9-4B9E-BD85-DE8D0A63096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7816ddc9c725666c97332f0c2a48e9332fef03","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb4095c93345b8c1a8344585f49a0a197c68f09","datavalue":{"value":{"amount":"+0.7440165877342224","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":"Q731893$44040785-CD40-4F2B-AD23-EFB3554537FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional games with explicit strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_games_with_explicit_strategies"}}}}}