{"entities":{"Q752703":{"pageid":754552,"ns":120,"title":"Item:Q752703","lastrevid":64111947,"modified":"2026-04-11T17:43:30Z","type":"item","id":"Q752703","labels":{"en":{"language":"en","value":"Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179362"}},"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":"Q752703$0DCD5F5E-A4FD-4F69-92E6-FBF5CB922AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb6c7c2ece4b38484c0ed2340917394aad05c90","datavalue":{"value":{"text":"Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752703$28FF890C-4C80-44C6-BEFB-4D46F582FB61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ea892a46bf79689a4f0c1d5ad62c2216109722c","datavalue":{"value":"0716.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$A4191391-654F-4B98-9041-7F3504990857","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fec4e0ef0751fda245f7b7630f4e202b265d654d","datavalue":{"value":"10.1016/0168-0072(90)90024-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$CB7C551C-32DB-4D00-8CC8-61E6BA789D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea536c8693f0c724e6c20b3c5a00a93bd29af428","datavalue":{"value":{"entity-type":"item","numeric-id":673877,"id":"Q673877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$4C3BAB46-8AA6-46DF-93CF-F4D98896F558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c640ed11ad16937e482610fd7fb0bfdb62892375","datavalue":{"value":{"entity-type":"item","numeric-id":685081,"id":"Q685081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$33A5934C-B529-4BF3-A11E-AC3307C25705","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$2DA83C43-5D26-422D-8DE4-30BB447E9D06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q752703$936E4499-0B54-4B2C-A1BF-5F920112D9C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$916B6761-A505-4DF5-8849-77F3E17558BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$679C4857-FD3E-4832-B25A-948335F315C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$4B6E5B9F-1847-4D30-9644-834A23426BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$ABD33111-ACDE-4A3A-AD51-C4AC19944685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$B738BA26-96C9-44A8-9EF5-CF88FCE27050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$1AA8249F-B297-422E-AD66-AD1DE8D97052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$03E42FAF-D43E-450F-807A-B8A61EA15490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa15ca8cd3c29ca446f691e6f472ca42c5effc44","datavalue":{"value":"4179362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752703$24A08FC6-57E6-47F9-9D5C-EC9F81756887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"377c76b409194f340777f443415112aed5182957","datavalue":{"value":"infinite games with perfect information","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$E69B7FD1-96D3-4FD8-BADE-3E4B8E7713A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$44F62023-2CC8-4375-B389-29B6CFF59A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$77D1ED9F-B711-4CA2-9017-B99DE3D75EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68dad3e80d531802e36ec8e634cee070c5a709e9","datavalue":{"value":"priority automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$AF8BB8F8-3581-4125-A253-792C60C19EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2df099b89f76a28f9fe499efd78faa27372a97","datavalue":{"value":"deterministic strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$D30FCAAE-4750-4D40-B134-87C1B0207636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4b646173c4ab513f5f2d95a70948a7d4828cd6","datavalue":{"value":"nondeterministic strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$7DFF734F-40BF-40B6-8B45-7BFE29B953D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0653d7bb806ab3d028be67f0b3b03bbbe7bf4b4","datavalue":{"value":"Gurevich- Harrington's Restricted Memory Determinacy Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$5A337BA2-63D1-4452-894E-02BA245A3BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d5e47e7961028b5704faa3a07259f05678c886","datavalue":{"value":"Determinacy with Restraints Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$441B3509-49DB-4F7E-B711-3582FDEE008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017eee3825f2926329d448ec00b72cb786491833","datavalue":{"value":"strategies with restricted memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$3560DB0E-6E67-4BBB-A443-A87A65352148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$5BF0E8B1-4D79-4281-822E-1980C2C67A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"498b97e8dac40f83f34c8d34582e97589c84b7da","datavalue":{"value":"modularity of a winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$0DEC2DB4-F9AC-4649-BAB0-68DDBC4974C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q752703$BE09770C-C30D-445A-9667-F6B4DE499A59","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":"Q752703$DD7ED4DC-49F6-4E02-9384-97288E1BB333","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f806d472c9e9df406669c53474a82dbe4044bcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3679155,"id":"Q3679155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$6D520D52-E34C-4A4C-9ACB-AC6034CB2C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$C0222A4C-0419-450D-85EB-119888ED934E","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":"Q752703$638F29C7-F745-403E-BD0D-40E1F442226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c4923b77557b603f1cb9c94737ae56781e22c7","datavalue":{"value":{"entity-type":"item","numeric-id":1393224,"id":"Q1393224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$BB32516C-978A-481B-A6A1-24EDAB6BD775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4c06f8a04d278d8b2376a4f43f5bacc871002","datavalue":{"value":{"entity-type":"item","numeric-id":4722064,"id":"Q4722064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$7887536F-7D93-4B9B-883D-35F855EF3D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca959340d42e36fc678d6ae6ca6426cacdd98a9","datavalue":{"value":{"entity-type":"item","numeric-id":1253914,"id":"Q1253914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$72572C4E-663A-453A-884F-E6FAAEAB8799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$0CAD92FE-C0E3-41BE-BDC5-2AC5E18B052D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269b5b086b2da3fb6937f796bd893896e1ab5b11","datavalue":{"value":{"entity-type":"item","numeric-id":4206381,"id":"Q4206381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$54D4878D-8689-485C-8A19-4EF41D7582B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32409fd4e35400ca8995236e1e26fb220a06f2c9","datavalue":{"value":{"entity-type":"item","numeric-id":685082,"id":"Q685082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752703$2A71DE6A-1089-4747-8FCD-40776A0BDCEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef71130b3c2ab0c2736e33037c8a38c1a67c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":4206381,"id":"Q4206381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14809aa017202c47cf9d129f9759adc1f0d1b5c","datavalue":{"value":{"amount":"+0.8248002529144287","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":"Q752703$DDEF076F-E474-402D-924B-23FB4B5A4119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa15a55922b5df00881ed62368dab14e497537b","datavalue":{"value":{"entity-type":"item","numeric-id":4206380,"id":"Q4206380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f09597eab3cc6ae9641a3fb53095e27b69116f","datavalue":{"value":{"amount":"+0.8102858066558838","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":"Q752703$45130D3B-1C0B-42E2-BC19-EED041E28CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4693554f0062337a97111f5853feab5aaa26ae43","datavalue":{"value":{"entity-type":"item","numeric-id":2986800,"id":"Q2986800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a76f714934f0e335c7cf93288c2b293850d42e","datavalue":{"value":{"amount":"+0.7889506816864014","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":"Q752703$E417928B-6FE5-48BD-9C32-015D2E957875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201aed92b47cdbaedcfb80237c32525bdee26ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5005142,"id":"Q5005142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d5b281e35161824d3a58309093ae53564aacdf","datavalue":{"value":{"amount":"+0.7769333720207214","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":"Q752703$A7728F32-698E-4A61-9761-1D8978BE2F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27fac032830be1c9aa930d933ad056f27b839e9","datavalue":{"value":{"entity-type":"item","numeric-id":2453582,"id":"Q2453582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438fcfb2279fd19f2d03be774ee30cd94cd588a8","datavalue":{"value":{"amount":"+0.775482714176178","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":"Q752703$7A3D3A1B-0380-4E4D-9749-AAD4C76252E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extension of Gurevich-Harrington's restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extension_of_Gurevich-Harrington%27s_restricted_memory_determinacy_theorem:_A_criterion_for_the_winning_player_and_an_explicit_class_of_winning_strategies"}}}}}