{"entities":{"Q3165957":{"pageid":3176673,"ns":120,"title":"Item:Q3165957","lastrevid":79998971,"modified":"2026-05-06T15:12:26Z","type":"item","id":"Q3165957","labels":{"en":{"language":"en","value":"Abstraction refinement for games with incomplete information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096487"}},"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":"Q3165957$F53F22B5-6622-43E5-97B8-1E80AB8E3B7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e061a33005f796d45ceabdb3dde8641def091d50","datavalue":{"value":"1248.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165957$0DA69A90-D5E1-4850-BB50-D7E143932FCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165957$4F6CB15D-6D9D-40AE-98F0-58D3C55498B6","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":"Q3165957$1DB3B408-2BD9-4D2F-9A62-3050DF90202F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab32e99fedf2a409351a0b6b4a08c5ad35e44985","datavalue":{"value":{"time":"+2012-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3165957$EFA3580E-3356-46FC-9115-519105F25588","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"076d61069e790abfc10379a3fc9c68bb9245e350","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_b193.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3165957$447963D9-FB02-4F28-9FF5-4017E9C5E206","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165957$91C8842B-F3CE-47A9-B916-8557ECA08629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165957$09993EE5-628B-4062-8970-56437BF4801A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71f5edd57f50c2c444a044eebbe257b9517b2d94","datavalue":{"value":"6096487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165957$4168EE6E-0EEE-443D-9CE1-56F74C3DC9B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c23b5a41fac79a3ee9cceea4daddb72d967a969","datavalue":{"value":"automatic abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165957$6090C046-5907-4224-B198-71CE7BC5C2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165957$155E65EB-AEE0-4722-8692-9DB29A9E0006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655c1264a943fef690deae01ae45107146d1d7b2","datavalue":{"value":"games with incomplete information","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165957$56C5A37A-4322-4812-8023-D69DE4DB81CF","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":"Q3165957$B33FE63A-0CE0-403B-A332-0D01D40521F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca663fc1528ba75f1eb6f475ba7de7e6dd81ede4","datavalue":{"value":"W1588107453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165957$1BA98C9D-3320-4F56-8FA5-6E3DD0CDDE9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f88da1356b607330f778bac57cf59b96a3f7f75","datavalue":{"value":{"text":"Abstraction Refinement for Games with Incomplete Information.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3165957$DC3DEC21-008B-4D04-B992-D8E730927BD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed3af12c27408f92aba3bd4a5405d4e549a1cd9c","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2008.1751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165957$4A5C744A-8667-404E-B114-BF0C77BB88DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108999f9068a8d2086704281990bcdd3c87b6932","datavalue":{"value":{"entity-type":"item","numeric-id":3525630,"id":"Q3525630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d53d83a4d4717f94876a679e54ef7dbc09d728","datavalue":{"value":{"amount":"+0.7663079500198364","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":"Q3165957$847D8D51-47C6-4E62-91FC-E187C1BA1C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c080b5e4547f0e9b22c86c4e96f6568e3b08861","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a47bc11673f5291057953c6bdd21ba45356c0a","datavalue":{"value":{"amount":"+0.7636057734489441","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":"Q3165957$FC186C67-E736-4780-BFBE-B242BED407E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e0fff1b4bc3f8bda7efaf271f7270e4d54d584","datavalue":{"value":{"entity-type":"item","numeric-id":2291815,"id":"Q2291815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ddb285fac2c9539792b5ea08abfd6a460ebb1ef","datavalue":{"value":{"amount":"+0.7594320774078369","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":"Q3165957$114BC634-05FF-45D0-9BF8-02739B36F2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658c5e72a4c0ea75cbbf4d0f19e95055ca4e499","datavalue":{"value":{"entity-type":"item","numeric-id":3646262,"id":"Q3646262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee588621aba06832b2339b93d037641e98a1c7e2","datavalue":{"value":{"amount":"+0.7485073804855347","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":"Q3165957$C0D2A9D5-3F23-4E87-8F14-000F83E97DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b7a8c6f01dfecc18f5236dd4a0db19a4b41985","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23843a38c1fe0406dbca9c3ef2835618dff53f88","datavalue":{"value":{"amount":"+0.7427672147750854","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":"Q3165957$8C9F0879-0002-4A33-959D-B225198B78BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction refinement for games with incomplete information","badges":[]}}}}}