{"entities":{"Q1635804":{"pageid":1646545,"ns":120,"title":"Item:Q1635804","lastrevid":72394017,"modified":"2026-04-14T04:36:43Z","type":"item","id":"Q1635804","labels":{"en":{"language":"en","value":"Level two of the quantifier alternation hierarchy over infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6879938"}},"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":"Q1635804$54E5E4C9-5C3C-459A-86C3-2BFEF6277A5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14b6ab11723d5c2317a7c1f0f55f642f289e7bc9","datavalue":{"value":{"text":"Level two of the quantifier alternation hierarchy over infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1635804$B9AAF16E-A0E3-4B85-B5D6-4AED38F42C4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f06ec91f58e782df0eab361a7bd72add8f5f12c","datavalue":{"value":"1436.03216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$9B259D87-089A-454B-8191-156016348781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$9AE89B5A-2B90-424B-871A-E0D3D251223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fea355cf013cd172d035402244dbc73d9f6a71bc","datavalue":{"value":{"entity-type":"item","numeric-id":1635803,"id":"Q1635803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$A363FD88-A5EE-4993-AF4A-88B29C1EB893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$692E089E-F581-42B0-AAB1-DD8BEBA7E2B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4091752dadd3cc2ba03aa8151bea8dfd93523d","datavalue":{"value":{"time":"+2018-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1635804$A30F869E-ACC9-4677-AACC-E2E68D052D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"614748fab63ba9799a80952c2730c886cada0959","datavalue":{"value":"https://dspace.lboro.ac.uk/2134/31947","type":"string"},"datatype":"url"},"type":"statement","id":"Q1635804$F3DED91D-7F75-45C6-B4A4-E8A83D2BCE44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$4C47FB54-175F-46BC-936E-6C73C15B3342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$F9C17ED5-DF5D-459D-874C-2B532CA26169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$E42202E2-A32E-45DB-875E-1CCA60A9F90A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34672ce1416a48c7555e3311966a8a7fe0e5a8eb","datavalue":{"value":"6879938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$4EAF8038-CE02-4930-99A4-03028B746C23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1635804$E7017061-486A-4811-8E46-F22560A4FBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1635804$1F5D5972-37E9-40A3-BC4F-03CC6CCACEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1635804$5E5B761E-D78E-4102-9117-EF18D4532F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1635804$B4B9E9D5-6B08-4F1B-93CC-C8F5039E5E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1635804$C5BE7E98-D07D-4426-816A-026810B07226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1635804$D9E8FFBB-0700-44E6-847F-44944C9528D7","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":"Q1635804$DDD39938-E33F-4BB9-917F-A034378726C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05ab52c6f68637ecaed15b2da0e051cc9be38c49","datavalue":{"value":"W2743761496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$677F2B95-53B0-4603-8E89-A40F5C94218A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2299871f8da3ff873a8d3556c58e2f6c60e4e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1242697,"id":"Q1242697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$A95771F0-440A-412A-BB65-EBF22A6AD217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0224cc11e92917094ceee66bf62982a9eb25550a","datavalue":{"value":{"entity-type":"item","numeric-id":3538848,"id":"Q3538848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$57A1F80E-5A02-40A4-B542-DA6A8298F1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f36e99be0ec9dd960fd40b5711e9490c8dd97e","datavalue":{"value":{"entity-type":"item","numeric-id":537914,"id":"Q537914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$DF018435-43F0-4612-9657-75E27B7FE07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$E888D9A3-4502-434E-BAF1-DF3B68ED1748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b6c94bc0b94dad0cdf9ae615f7dac8f0e464e2","datavalue":{"value":{"entity-type":"item","numeric-id":3113701,"id":"Q3113701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$F1DD72D6-AA05-44CB-9A44-36F7F235944F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceb6727210c874a7a5f8339c9a1e595dfb18b67","datavalue":{"value":{"entity-type":"item","numeric-id":5740188,"id":"Q5740188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$74617D39-6EB9-44D0-B77F-345EED6B5D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2962956a76135946e05843d6cfe7f0ab88d401f","datavalue":{"value":{"entity-type":"item","numeric-id":5245724,"id":"Q5245724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$5BD5A170-4F76-4798-8148-A01EC13B10CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$BF8E4B4E-96A8-4704-9AFB-84DFC4F39776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46ac744561d84001e2eab681b1a8e26f6fe8b11","datavalue":{"value":{"entity-type":"item","numeric-id":2811342,"id":"Q2811342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$354E277E-E131-4B2F-AFBF-17D971D769C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e8adff7b8af51834283ec8ca88ccde8bc91d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5167850,"id":"Q5167850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$AB9CF63B-6FAD-42AA-B11C-668EEEC5910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2b8ae7e3514688f46937b7b23da1ec60805faa","datavalue":{"value":{"entity-type":"item","numeric-id":3163889,"id":"Q3163889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$D7CC431C-81A4-43E8-AD22-F4C7AFCF5F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f24dde664dec592aaf2efc66afcadf834211d90","datavalue":{"value":{"entity-type":"item","numeric-id":4055589,"id":"Q4055589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$F8F15026-5E4A-4164-B444-37AB9B74FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$6DCDC10B-2A52-4A84-A171-516765D4C9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$7C9906AB-EF4D-4F58-95C4-FEBC8234ACDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$3F0739D4-7EA5-4311-831D-3271AA1726AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$56DA92DB-EAD2-4454-AC35-1AC289D36520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0213241e6f76bb86bdca71a375fa20fdcd0cc0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4281563,"id":"Q4281563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1635804$72D05582-9FE5-4072-9AFD-84ADA05B8121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"551d5e01e4bca2a64fd3d0a55781205d20eecba1","datavalue":{"value":"10.1007/S00224-017-9801-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1635804$315D14A2-3D70-49F8-A4DE-6F17F4695C6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc8e971da9c6442ab704da327a12c86627b88bd","datavalue":{"value":{"entity-type":"item","numeric-id":5740188,"id":"Q5740188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68928f350118b500f0fd38bf6ca5538dc055279c","datavalue":{"value":{"amount":"+0.998924434185028","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":"Q1635804$8E2DB60D-70E8-4203-A8B9-2B65F898B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe35a712cad673b0cb1bfab114195c496c23fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2811342,"id":"Q2811342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16712a89e8d0b9649677ec5a48398311da47fe2e","datavalue":{"value":{"amount":"+0.8663843870162964","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":"Q1635804$99326C71-1620-45B5-A695-766AF6374A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a21274ed9fea711fd7eda3c984ab737fd028ede","datavalue":{"value":{"entity-type":"item","numeric-id":5167850,"id":"Q5167850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9249a404b610a4a74d43b5cffb2a1ee8c95e48","datavalue":{"value":{"amount":"+0.8324706554412842","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":"Q1635804$4022F4DA-566E-4014-92F6-805600B808A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558f84a17e76790acf34eac135303a014952f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":3113701,"id":"Q3113701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a980afea7dc9609f2f8bbcad341d8ac8581863e","datavalue":{"value":{"amount":"+0.830241858959198","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":"Q1635804$80ADA7C7-7F34-4615-8DCB-A60CA373B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736200e79c7f38811dbc9594392d33f9eeb402b3","datavalue":{"value":{"entity-type":"item","numeric-id":5244385,"id":"Q5244385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60bfa7bc0c43a521e021fc00a40b78fc109eb9a","datavalue":{"value":{"amount":"+0.8241448998451233","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":"Q1635804$D14F305E-26E2-4F4C-ADDA-43BC33AFE48A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Level two of the quantifier alternation hierarchy over infinite words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Level_two_of_the_quantifier_alternation_hierarchy_over_infinite_words"}}}}}