{"entities":{"Q2770141":{"pageid":2780879,"ns":120,"title":"Item:Q2770141","lastrevid":83173448,"modified":"2026-05-07T06:31:03Z","type":"item","id":"Q2770141","labels":{"en":{"language":"en","value":"The alternation hierarchy for the theory of \\(\\mu\\)-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1702852"}},"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":"Q2770141$4B30F4FB-022A-4B02-B583-E25F03A23768","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfd9486c1bfaaf3d23a41002aa034cf2f1d50795","datavalue":{"value":"0987.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$37D76AEE-E34E-4968-8FEB-5C598825AA8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770141$92270794-C9C6-4F09-94BC-BC9264E86706","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a58c0c334590fe3ab2e759e1b681637074ea80c2","datavalue":{"value":{"time":"+2002-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2770141$B25C842D-5D40-48C0-ACF6-C5A00605C038","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6959acd6826beac99bb61c8dd7c4911d9a1489af","datavalue":{"value":"https://eudml.org/doc/121841","type":"string"},"datatype":"url"},"type":"statement","id":"Q2770141$46B963FC-EDAF-432E-873A-A9586D1F03BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a166c6fec6bd9a59ea5f4b15746ffa01c72b92d6","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2770141$F2C424C7-4271-494F-B6EA-81301D0B7E0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$AA815341-834D-4613-AD27-8B83F78F70F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$44F1171B-156B-44AE-ADC4-F3B1AAE5E970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$C90B9E1D-6FD5-42BE-BB09-0311D983BABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$08D9E3EC-BD17-47AC-9821-188349B0145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$E6ADB5A5-994A-4D74-98D1-CAF23454109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$A4C36CF9-5628-435E-BDDD-17C21032A05E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dc493c3e8262c4aa4776f418c731c4965cd9903","datavalue":{"value":"1702852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$D5F0238B-BD29-4697-8229-D0F692D377D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4519728bd9c2d3a91033072289fe5836fcc50860","datavalue":{"value":"free lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770141$8D420EEB-2BD1-474B-9390-C2D360EA0502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78630e9c84752d4788133c59110006f158327dc","datavalue":{"value":"free \\(\\mu\\)-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770141$BF9590D9-62B1-42A6-8059-80CEF289A3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770141$E8F81702-ECDA-4A02-BB6D-5126797AA33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770141$A403D3CC-E929-45E8-A8B3-AAC7BD8081F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085ef413298529287aada489e73f3fd01de600da","datavalue":{"value":"alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2770141$38E8F54D-0348-4612-B537-0E5A6641B102","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":"Q2770141$3B48F9A9-9731-4B2A-8E42-55DE7FE3C230","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"9324d911cd1e4e25d7582c9be39bf210d4e2284e","datavalue":{"value":"bafkreia3kq4xdi7wgoz5ee454d5nkaexkh7rinjz65awaybzcxecyvis6i","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2770141$634E1B37-127F-4283-BCD1-006481BB8DCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dada487029d0084a89f39cc93aa2fb3b21277a3","datavalue":{"value":{"text":"The alternation hierarchy for the theory of \\(\\mu\\)-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2770141$A7F039E7-8FEA-4144-B8C2-92A288B54819","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2770141$195656E4-533F-46E0-8416-4DAF8A0C75A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8638a43eb413dcd6bdf2670f9c7a2756b5a469","datavalue":{"value":{"entity-type":"item","numeric-id":5505584,"id":"Q5505584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392f55baff4d9a1a135445e383d7fba47497d25e","datavalue":{"value":{"amount":"+0.8269123435020447","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":"Q2770141$1B14DB64-312D-499F-AC1C-E456DF502F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d2e5c0f422ff4c1f4a50f408a7fae0ffe7312e","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6651020ea3ffd7e7b0fc3ac05c2ef6cf837201","datavalue":{"value":{"amount":"+0.7912778854370117","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":"Q2770141$6F813038-974A-4FFD-ACB2-65FB8543A785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61df161f3e86a354447acbe51854e731e4414d0","datavalue":{"value":{"amount":"+0.7828542590141296","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":"Q2770141$0CE5A3EC-9B5E-4A22-BFA3-E2BBA88A5CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d681c844ac36968c3e0afaaa2b20549aa9b5b15","datavalue":{"value":{"entity-type":"item","numeric-id":2509356,"id":"Q2509356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61df161f3e86a354447acbe51854e731e4414d0","datavalue":{"value":{"amount":"+0.7828542590141296","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":"Q2770141$CDCB8B0D-0DE0-4F98-A202-06D30A397D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4b70d7c951d8a3f0e20de83b9f1207090fc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4289e137b1346ed870614e34f79fce41c2e2f56b","datavalue":{"value":{"amount":"+0.7823033928871155","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":"Q2770141$26B6C48C-76A0-4CDB-8A2A-A8190108F159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The alternation hierarchy for the theory of \\(\\mu\\)-lattices","badges":[]}}}}}