{"entities":{"Q5244385":{"pageid":7273953,"ns":120,"title":"Item:Q5244385","lastrevid":100644482,"modified":"2026-06-05T22:39:48Z","type":"item","id":"Q5244385","labels":{"en":{"language":"en","value":"Going Higher in First-Order Quantifier Alternation Hierarchies on Words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7134395"}},"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":"Q5244385$247EF5CB-D259-4A37-A256-F1A3A98E46C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b7f489de905b8b0b91aed94f53967de399cb49c","datavalue":{"value":{"text":"Going Higher in First-Order Quantifier Alternation Hierarchies on Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244385$2CDAFD8C-D9C8-4E9B-AC92-4EC6FFC56B66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0acb74e919ea34827bfaae79fec545835e269970","datavalue":{"value":"1427.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$B09723D9-FCA6-43E2-A29F-9391954FB507","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c8a15ceb6cdb8afac491b90f1a662d287f00868","datavalue":{"value":"10.1145/3303991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$8E93EBB9-10D8-4876-BCCA-165D3CC1D7B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04505ecacd68116a0ece2a7909fff98d90bdfc19","datavalue":{"value":{"entity-type":"item","numeric-id":782558,"id":"Q782558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244385$B991E342-610A-4934-9E8B-783FF96DC33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244385$91CA45FA-1E94-49EE-ADA9-D37DD3D13411","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244385$100C633E-2673-46F1-8DD9-D095C29E5670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df8a8a76ae09508c8444c01bbacb33e3edfbee9a","datavalue":{"value":{"time":"+2019-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244385$D45D5042-748A-49B3-A97B-1A12C498103B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26bb303dec16ec9cb2f3efec21e12fc45d2ff271","datavalue":{"value":"https://arxiv.org/abs/1707.05696","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244385$8598B5AD-7444-421F-93DB-68A06DEA9289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$D49E88A8-2874-41EB-A6AB-DD6A659DA500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$660F9D9B-D2D8-4465-8F48-4DE05BDD5994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$552788D8-A312-447B-86E2-B71B840428D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baa5d47f6fff259c45a4c79058e8ffbdc00a2556","datavalue":{"value":"7134395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$22CF042F-DB9E-446D-98C5-58797F3AEC27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$D926BAF8-744D-446E-8769-271D005C121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1e4b727f3eec83dc2971da8cb775c11e034da7","datavalue":{"value":"Straubing-Th\u00e9rien hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$FFCED719-6B5C-46C8-8ED3-6A31EEA654E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3464b79feb75c55754da15265c55c606ad2d60","datavalue":{"value":"decidable characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$AE244270-A69F-4CA1-B67A-2D5343DCBF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a841da813691ba78a2fe2bb309570b4496e4c78","datavalue":{"value":"dot-depth hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$6DE3BCA2-3122-4926-A585-72421943D4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0817acefe2e78079b1ac4db8616cf3348a727161","datavalue":{"value":"logical hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$E34A3B84-CE48-4C38-B9BD-C98296612E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$01559A09-6423-4FF9-A39B-C78339F530B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e138a1670dd04bbc9b0b004a6a70f93eb7587498","datavalue":{"value":"quantifier alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$3843ECB0-C1F3-424C-BFEB-93375865F90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$6A158D20-A7B2-4638-A23D-7383F6E1514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8060896d16b7a947d2d545c9827a67905e8fbcc2","datavalue":{"value":"separation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244385$0B4FBC2C-EC37-481F-AC49-8A1C9A8AD2E2","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":"Q5244385$57FEF23B-A4F1-4DC3-8D59-EC7499549675","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73a4946594190317baa572a305f1f374f403515c","datavalue":{"value":"W2963241423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$E628345F-AB00-49A3-A627-9C19596838F4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13c8a8168d019a6a8ca70370139e77ba829f5d0a","datavalue":{"value":"Q128243317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244385$42C6C1E7-E60E-40C4-B0AD-8D08ACAE0651","rank":"normal"}],"P1643":[{"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":"000b4a178d3092777b6e78b6a70c88a83d5ac315","datavalue":{"value":{"amount":"+0.9943216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$55B1627B-EC4F-4653-92BA-665E3868513F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665663cc6761d60075173011c3a40197725ed714","datavalue":{"value":{"entity-type":"item","numeric-id":4202955,"id":"Q4202955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a3fdfe416472a0d39e2f4a97dcdd9b62a9f339","datavalue":{"value":{"amount":"+0.880038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$B2CE9E61-3B76-4749-9FAE-FA09FA6C9BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c099c5665d37ea658f11e48cc07d1262577fcda5","datavalue":{"value":{"entity-type":"item","numeric-id":1635804,"id":"Q1635804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366d88e93f704dd1f8d94873b9e1dc97dbe1ad2b","datavalue":{"value":{"amount":"+0.8708526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$FCE10BAB-C609-47DF-ACC1-EB23875A1F44","rank":"normal"},{"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":"366d88e93f704dd1f8d94873b9e1dc97dbe1ad2b","datavalue":{"value":{"amount":"+0.8708526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$FC1B37A8-59EE-4B8B-92E3-DD0FF41D3284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e96f39b337bfe187a4eeb5cfcb2cd3eef2b03","datavalue":{"value":{"entity-type":"item","numeric-id":3182951,"id":"Q3182951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6d5cdb873d569e25f0708b3af8575edd9813e1","datavalue":{"value":{"amount":"+0.8344312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$0AEC0E25-4AA1-4509-9E26-A2F8FEC0B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5eecb2630bd913be7133917aaa4e5674c24761","datavalue":{"value":{"entity-type":"item","numeric-id":1924423,"id":"Q1924423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d245ffda54f1e08c150d6da5ba5bdefe1699b3","datavalue":{"value":{"amount":"+0.8268395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$705F4A9B-7065-4116-B268-5AE2595FC715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b3553d201b890163d9f4c124b74f2bd791f6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5092389,"id":"Q5092389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0442baad45f69c1183f6746feca90e3e2f97dc55","datavalue":{"value":{"amount":"+0.81275976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$F47735A2-3468-4DF9-BF9D-27F547E9ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc423764e47bc94fb915a7914560a26c5fdd563","datavalue":{"value":{"entity-type":"item","numeric-id":5327383,"id":"Q5327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7eedb03f0c4d50e3af28a867091d8c8f3f86c3","datavalue":{"value":{"amount":"+0.8106833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$F43363D7-AD2D-4E2F-B750-C56A75CCD8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c34de02d7c35376842371e73ea74389f89ad6b4","datavalue":{"value":{"entity-type":"item","numeric-id":2190893,"id":"Q2190893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0ffd4a73f788b74751d96639609874c742e5a1","datavalue":{"value":{"amount":"+0.8075488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$E33D1018-DF83-4D59-B975-98D89C67C969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a9e3c42f9b255fa46a0b7426981883cf4ca58b","datavalue":{"value":{"entity-type":"item","numeric-id":2930128,"id":"Q2930128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84199712db266dc0bae499c38ff19b6ac9f47cf","datavalue":{"value":{"amount":"+0.8071603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244385$6D464450-39BD-4510-9CA7-38BB7D60BF39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Going Higher in First-Order Quantifier Alternation Hierarchies on Words","badges":[]}}}}}