{"entities":{"Q4462675":{"pageid":6492274,"ns":120,"title":"Item:Q4462675","lastrevid":97135547,"modified":"2026-06-05T13:24:02Z","type":"item","id":"Q4462675","labels":{"en":{"language":"en","value":"Fixpoints, games and the difference hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2066223"}},"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":"Q4462675$0E06675B-842B-43E8-83EA-EC3C6DCAC16E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e346b46f4840e22e3a07e44e45986bb7c11b07c1","datavalue":{"value":{"text":"Fixpoints, games and the difference hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4462675$0002B240-F004-4932-A583-60F20D4E62A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dca9f6d44f7f16b5131d876672a28fc1f3dca3c3","datavalue":{"value":"1043.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$12C784CB-E4FE-42CF-AD2F-AEA26287FB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$293D30A6-0826-4A44-B033-6D7AD5FB36A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$A7E51AF7-6632-4B73-ACC7-A50630DDF0E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4462675$8B7CADD3-CFAD-4D78-B280-105B17FCCD44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"969ead65957e45fa814f150b067672a7caeeed8c","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2003__37_1_1_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4462675$387CC9DC-7EFD-4539-BA4E-6EB337AE0748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"75606edfd1e4c33febddbb8b76642c208d835d6f","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2003__37_1_1_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4462675$95C330A5-AE42-4024-9965-0E31560CD50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b912c8bc642147abd66ae03c20ff850a50ecb70","datavalue":{"value":"https://eudml.org/doc/92711","type":"string"},"datatype":"url"},"type":"statement","id":"Q4462675$8E4853D0-8CB0-4879-94EB-18AABB4AA34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$F0955BC0-0183-45F9-B66A-1B96D87B7BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$74B33FAC-3AB5-4F9B-A81A-ABE591CBA393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$8F750D94-79AC-476C-8D17-A1F8D0CDC856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$DB9A61F1-91BE-45B5-B5ED-E301AE70E391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2c1c04de9ce6ceb69844a0ac02cd39610ed98dd","datavalue":{"value":"2066223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$D47B2936-D402-4C49-A602-2A0408DA14B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03249f3217bc4be7b6fef4dcbc3920778d98703a","datavalue":{"value":"Gale-Steward games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$1F2A7145-1FCD-4B1B-A2E3-45ACA675521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4304fb12a2faf4b0241b62cdb1716ea7b566d4b4","datavalue":{"value":"mu-arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$3705C805-312B-41E7-BA14-069C22E067BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$4EB81107-DFBC-4F47-BD7E-5B2508A1AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$ED210B61-824C-463D-9F65-F62632B81FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be26481bd1f5605226640aae853301c0255ef25d","datavalue":{"value":"arithmetic fixpoint definable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$A58F88E2-AD3E-4BFF-80DD-4453294BDAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ff38c6fecc3f268756eed49e96f722f677a671","datavalue":{"value":"difference hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$B232496F-A9F9-4524-8916-AC203419E9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cad1b4c902c651f8560ebce6ecad68baf0e844","datavalue":{"value":"fixpoint hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$9C05420F-4BA8-4F5E-9CA3-55A1F066F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d01f78cb33543a4f75a1cfe530d68a9f88c2da2","datavalue":{"value":"game quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$B806D5B4-38D6-4E2D-AFB0-D5DECC5BDC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$4ADA5EBC-C589-4B25-B860-68B42D8461C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427da06f2e3cdb98ed84251aab89994767849b33","datavalue":{"value":"transfinite fixpoint hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4462675$D433560F-6584-4577-8D3A-0317AC0110C3","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":"Q4462675$6B34566A-5F10-472C-A06D-39FC09A5B6D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aac653f0bce87f9d5322cc93f71d85dee4d61aa","datavalue":{"value":"W2148212355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$A3DAEDA7-E714-4472-B10B-27896CAAAA38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ef38e96faaf7f9c54a71abbb80fd0c75780eda","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$5656FC0C-4D28-4F53-9884-C1E6098CEF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$E99704E9-52A5-497D-A591-3E1C428FF8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5fd9c8a86d54f136a6786613332ebf681fdcb24","datavalue":{"value":{"entity-type":"item","numeric-id":4945237,"id":"Q4945237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$BBF5EFE1-85F9-4250-A208-54214BD2F434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75546c5a0b51849c4db1e7441577e6385b49875","datavalue":{"value":{"entity-type":"item","numeric-id":4143272,"id":"Q4143272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$6EE12512-EBF6-4E14-A4EF-91A264E9026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99579e88dc7e2caf32a4b22accd26a903100aea","datavalue":{"value":{"entity-type":"item","numeric-id":3661846,"id":"Q3661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$D3AA2802-83CC-45CC-A4CD-A7ECF15734B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540f934f4cbb62281a28ea9738102a9c94018f12","datavalue":{"value":{"entity-type":"item","numeric-id":4770952,"id":"Q4770952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$0B36C0A6-F22A-4315-AF07-DFEEFD63C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$3EDDD39B-DA48-40CC-9E84-AFE9859C2564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd0e14918e109d02c7e38920be6745b2bb40969","datavalue":{"value":{"entity-type":"item","numeric-id":5287693,"id":"Q5287693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$0A0EF23F-E970-4DB8-93BC-190DD2A9922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$C24B2DE2-7A17-48E9-8B28-4DF57CFDCF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$C2B7B3FC-6492-41F9-950B-86442CF77D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1874f2b184e5addb0c03d6629032c1967bd5231d","datavalue":{"value":{"entity-type":"item","numeric-id":1127312,"id":"Q1127312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4462675$064E4B50-5DB8-404E-84A8-D229456624E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06b529ac06efd23dddd6a97b5bc6eff0dfed9e5b","datavalue":{"value":"10.1051/ITA:2003011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4462675$B81AB300-1A2C-4172-AE47-B0D578C079CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d6dace9c12d1f2055878bceb4e6b0cbe3f79fb","datavalue":{"value":{"entity-type":"item","numeric-id":5394590,"id":"Q5394590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb01b1abe28eaaf9c97d157b13ba6d7a22717b0","datavalue":{"value":{"amount":"+0.7576572299003601","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":"Q4462675$3DB91895-DFC1-4DBC-AD46-848E3E73BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6f7899ee423a104b2571161de1dd553c4faf2c","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142d3caacdf6e1fbbb5a32b37b88f5ac38d5727b","datavalue":{"value":{"amount":"+0.7489961981773376","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":"Q4462675$BEEFA909-D670-4A16-ADB3-1E829D856A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547d3599ea616c8d037b213c5c151bbc3430d426","datavalue":{"value":{"entity-type":"item","numeric-id":2390295,"id":"Q2390295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142d3caacdf6e1fbbb5a32b37b88f5ac38d5727b","datavalue":{"value":{"amount":"+0.7489961981773376","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":"Q4462675$BE03F078-0DD1-4772-A8B1-8295AC4561D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42498b27bbb9c689e38aaf983c6558f6cbe0866","datavalue":{"value":{"entity-type":"item","numeric-id":4635818,"id":"Q4635818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7931689dd9b2e4cfa6f1bd4cf126f32fda2f6bb1","datavalue":{"value":{"amount":"+0.7384671568870544","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":"Q4462675$C755340E-8271-441F-BAF3-C9859DB3F1CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixpoints, games and the difference hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixpoints,_games_and_the_difference_hierarchy"}}}}}