{"entities":{"Q1387095":{"pageid":1397835,"ns":120,"title":"Item:Q1387095","lastrevid":71036784,"modified":"2026-04-13T19:04:11Z","type":"item","id":"Q1387095","labels":{"en":{"language":"en","value":"Iterated trees of strategies and priority arguments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1158101"}},"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":"Q1387095$54B16444-113F-450B-979B-6B7530D11D7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65b207712cf6fcad50988d8c435fac4ecd401108","datavalue":{"value":{"text":"Iterated trees of strategies and priority arguments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1387095$E40C3DBD-9353-4066-9D8C-7DE7858BA63F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc42ab42deefdee4c74ce2d7f736991172d8ef1c","datavalue":{"value":"0899.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387095$3F526F5E-CF4F-4329-BD74-BB334DB7E9AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387095$D319EC0B-75A3-499E-896F-268DBD4CE791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2bcabba238ebd3703bf94360bc556df90e8632","datavalue":{"value":{"entity-type":"item","numeric-id":1049746,"id":"Q1049746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387095$68377725-C4F1-4154-ADF2-70061AB33FB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387095$34B33E6F-126E-45A1-AE58-786708982E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef740e83a597a388d90d8f91c3676df25fc88e60","datavalue":{"value":{"time":"+1998-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1387095$F7235CF7-A874-4F8E-89F5-439478D352B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d9ab2cbe1dd050c191bee622ce79a3ccf7816d7","datavalue":{"value":"The paper is sequel to a number of joint articles of the authors where a new general approach to priority constructions is developed. The approach allows to better understand already existing proofs including well-known theorems of Friedberg, Muchnik, Sacks, Lachlan and others, and can serve as a guide in finding new proofs. A broad overview of related results is enclosed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387095$5B1C482D-4487-4DB9-AF58-3646CD45B65B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387095$E7E234D3-40D7-40BF-AADD-9DF2ABF8B320","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dc71df8c527f4c05b56438df2e9d1ca802c6698","datavalue":{"value":"1158101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387095$6E82F59F-C879-4398-86F5-BFB1CB47FEB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954ec01fcabdb3534dcc8a8c3e655eb588c2a7d5","datavalue":{"value":"priority arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387095$9CF657D8-6428-4DBD-B4D8-F8A637BC35D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e464252d59c4e12b5b782879d99578387f1e77b9","datavalue":{"value":"tree of strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387095$6B74C7FE-69AE-4E82-9994-2B4A25B9EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6907e9b83f957b47990b4e0638bc567ed9634cc","datavalue":{"value":"degrees of unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387095$71A44480-0232-437C-B855-06845C6C405B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1b8876fc0e708a0055b0cdba0e0185bc5d38e76","datavalue":{"value":{"entity-type":"item","numeric-id":465141,"id":"Q465141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387095$7FA7EEC0-885A-4D00-9E40-74C782109F3C","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":"Q1387095$D99D6D44-EAB9-4843-88C0-7715F6F2FC0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f66507ffb611574ff677e596d15a9a42695301c","datavalue":{"value":"https://doi.org/10.1007/s001530050067","type":"string"},"datatype":"url"},"type":"statement","id":"Q1387095$76BEF686-6432-47C0-8EEE-EAC75ED82916","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef03beaaaccf9709c9ca42db11a328543e8f030e","datavalue":{"value":"W2031489436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387095$DB2B9A91-FE08-42BC-B1F4-71395364BE17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbaa4a4f35723c29b4bf9d42590c4cd4af1cf699","datavalue":{"value":"10.1007/S001530050067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387095$41621A81-9712-4334-BB80-D42D34E6FD34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d52eb0983ac4d73ad6a7d443e28ccc70de023c5","datavalue":{"value":{"entity-type":"item","numeric-id":3480023,"id":"Q3480023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb6d832ef2bb1eef3928a6a8b9470555537b044","datavalue":{"value":{"amount":"+0.8530757427215576","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":"Q1387095$B0709607-8738-41C0-BA08-BC35F6F5F7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057bc70e67ac2e8a2c8171e1542c7690e6c528ad","datavalue":{"value":{"entity-type":"item","numeric-id":3690802,"id":"Q3690802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c321049e4d96438668ba516ae608ad7226d25745","datavalue":{"value":{"amount":"+0.8023707866668701","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":"Q1387095$8CF0093F-C5DD-44EA-A9FD-7B3739ECAFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48971a80093e580f0b7bdd00cfc91ed185822cf","datavalue":{"value":{"entity-type":"item","numeric-id":1892096,"id":"Q1892096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac143ea8eb1a543cf420c3112ab4308289f59af9","datavalue":{"value":{"amount":"+0.7758037447929382","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":"Q1387095$494F6D84-6BE3-4CF2-97BF-94AB41C5D55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f8c34b2e86e926647c9e33b73f609654c0017c","datavalue":{"value":{"entity-type":"item","numeric-id":1923576,"id":"Q1923576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8739a90610a4449086b2bfe40a24b8bf2df2397f","datavalue":{"value":{"amount":"+0.7726488709449768","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":"Q1387095$5D4A5AA6-1A8F-495E-89C6-37D0332CA3B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Iterated trees of strategies and priority arguments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Iterated_trees_of_strategies_and_priority_arguments"}}}}}