{"entities":{"Q3166215":{"pageid":3176931,"ns":120,"title":"Item:Q3166215","lastrevid":51579311,"modified":"2026-01-18T21:22:21Z","type":"item","id":"Q3166215","labels":{"en":{"language":"en","value":"Degrees of lookahead in regular infinite games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096729"}},"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":"Q3166215$7BE89832-809C-45E7-BD99-4183409FEF8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b2f11e39077f862ad24f3aa6cac15e721fbe061","datavalue":{"value":{"text":"Degrees of Lookahead in Regular Infinite Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166215$6696C394-2CCA-4F3E-A62D-9CA33D1A34D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ff5aebf56f91f5d6f9b75c1318bb1f65a65c97b","datavalue":{"value":"1248.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$E02503AC-7FD4-4C43-B161-EA6FD669813A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8585385db1120557ef0965498135ce7984cdb2af","datavalue":{"value":"10.2168/LMCS-8(3:24)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$84FC3C99-9047-4C28-ADCC-D44EBA92F7F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0aa0341b539b519f7e3f77da1993e22cb1ce4bb","datavalue":{"value":{"entity-type":"item","numeric-id":3166214,"id":"Q3166214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166215$58335A47-75BA-424D-95B5-A6A70D0DCFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166215$ED3A62AF-C404-40A0-B4BC-09821571A90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166215$80DE29B4-47AF-4E4A-9020-1E2FDD2D7E7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166215$8CC80FC7-0400-443C-9FB7-ADCB58397E9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166215$C42A937D-3C17-46F1-BB8C-9A2B5B4AF737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$9511E4D6-3F3A-451C-A0A3-0C1BBB4B4D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$D2A2B4C8-5EFA-4BA5-A13B-6D0656C232A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$AAFAB998-298D-4FA1-A5BB-B75B4E4FF166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$D402ED08-710D-49B5-8901-604797761009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$9CDF61AF-C8E9-45CD-AAEF-8728B8D73088","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e50b8a8356947c4f81919a46ae4c547a60d120ae","datavalue":{"value":"6096729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166215$F50E491E-BCBD-4ECB-AA87-07F9BEA5B5E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166215$E4BBECBB-DD57-46D7-81A3-7B71E159D0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166215$6DB18FDB-78F7-4CA2-BC6F-1FF3622A402C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0eca490d89e6f2fc833ca278b2dc8867ec5e765","datavalue":{"value":"regular infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166215$E0DB480B-CCF4-44C8-BC81-EC499C24933B","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":"Q3166215$C3948E33-26F1-4BC1-8C7C-D2CD40EF9DA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7679a1045708d799e1937ed8d84218c8967f8db1","datavalue":{"value":{"entity-type":"item","numeric-id":3557856,"id":"Q3557856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ccfb1649df4a1e46a44411d8801a95a8114b1ab","datavalue":{"value":{"amount":"+0.9998505115509032","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":"Q3166215$FB904284-C070-4396-9450-43A09E184FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f89b880954ef2e6f4b48a4f8c422b08bf85fab2","datavalue":{"value":{"entity-type":"item","numeric-id":2915687,"id":"Q2915687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49963c0f43096acfb39ab63210075c4251d7500","datavalue":{"value":{"amount":"+0.8620936274528503","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":"Q3166215$8DE4579F-4508-448E-91B1-1E1F23270D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34029e5232cdd5dee27a441b3a203f0edfd16385","datavalue":{"value":{"entity-type":"item","numeric-id":5892380,"id":"Q5892380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a28c2506e9b9d501d9d2a729980ca7d5b6b901d","datavalue":{"value":{"amount":"+0.8276122212409973","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":"Q3166215$641366CA-1402-4837-8D89-25FACC7A95E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b471585e4c48f2c4151ecb1539489b3c74bf6d01","datavalue":{"value":{"entity-type":"item","numeric-id":5899477,"id":"Q5899477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77e7814e457398d8ef03bf906744ba52552fe85","datavalue":{"value":{"amount":"+0.8275268077850342","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":"Q3166215$5ECF3EF3-468C-42BF-ACC2-BC644A0187FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627bdbacfe95b4f2e0da9e1f07eaa5e15e02bde6","datavalue":{"value":{"entity-type":"item","numeric-id":2953690,"id":"Q2953690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f085e1423be5a5ea0c77a1e931ccd0ebc0e4c90a","datavalue":{"value":{"amount":"+0.7975096702575684","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":"Q3166215$F3BBC5B9-1A97-4D3B-A9BF-C5696ED2FB19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166215"}}}}}