{"entities":{"Q5111186":{"pageid":7140760,"ns":120,"title":"Item:Q5111186","lastrevid":58430835,"modified":"2026-04-05T04:47:58Z","type":"item","id":"Q5111186","labels":{"en":{"language":"en","value":"Slicewise Definability in First-Order Logic with Bounded Quantifier Rank."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204311"}},"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":"Q5111186$6DD4F886-A6D6-4809-8DF3-98C89C3CF27E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a185949d16762832bf0cdf25b0e8775862e49f24","datavalue":{"value":"1434.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$2FC249E6-AA2F-4038-855F-5744E835034E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111186$B29E5934-0269-452D-ADD7-0FC017155706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111186$46530209-055D-452F-9E63-F90BD59C4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17f38ea7ae8d802dd6c76062a11b8863e45f28b","datavalue":{"value":{"entity-type":"item","numeric-id":2117086,"id":"Q2117086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111186$847D4CEE-DB82-44A2-B1B7-E6F805D82FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111186$DB8CF1FE-8B03-49C6-AA7B-13C683D2D814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7807b009a8e0f322d5d30322b6cff08fc6c7836c","datavalue":{"value":"https://arxiv.org/abs/1704.03167","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111186$39DF209A-AEC8-49FC-B1A4-2BB831A98970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$B4A68BA8-1060-442E-803F-FE69AACD1D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$8D2E0E2D-EADD-434D-BDE5-90AAEFCED3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$B4059E9B-48FD-4B61-BB62-D9FE1C9F7FF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6821c886a70f220639abe1ce8a323c5530e974d8","datavalue":{"value":"7204311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$3DA7030E-5D10-4788-897A-F62DFCF86948","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111186$2F83A1B7-5CC9-4998-A2F9-47A13DA84C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958dd64877045f518ca478f3e7b2490ddd347c60","datavalue":{"value":"quantifier rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111186$4F13AC6C-20F3-4C14-B116-82E06B76A514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5c1515f0794167662c18c8a11d73f7a7b46522","datavalue":{"value":"parameterized \\(\\mathrm{AC}^0\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111186$BE95065C-9FD3-4758-A975-B230CA7341DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214c3f3e09276ae5f2bcb6823802ced29340e205","datavalue":{"value":"circuit depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111186$212D8E22-4331-4855-9F3E-54C7565387CB","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":"Q5111186$3334BEE2-238E-4E91-99B6-A8C8A263E229","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91b548a13995a01b55e452d582aff70a47480f55","datavalue":{"value":"W2964221993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$D71CC180-9728-49B8-B393-0E9A2EC4E281","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2242abbce3dc9b1518e2e4aae3dcada0f5b2cb20","datavalue":{"value":{"text":"Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111186$F8113983-0056-41EB-8FC8-B2BDF367434B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"decaba9461414c2a0860750514cb8d97523fc985","datavalue":{"value":"10.4230/LIPICS.CSL.2017.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111186$2CF6191A-EF33-4C87-A237-BB398A089B9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11efebd477c43998ea4774fb3b06fe05bbbf7a5","datavalue":{"value":{"entity-type":"item","numeric-id":511341,"id":"Q511341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af585de452a6839f5003421c3c7edf0e8a1086ff","datavalue":{"value":{"amount":"+0.8733369","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":"Q5111186$4A7996BC-8D2A-4791-81CB-8FC69AA9704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9beab08c49d5fd12fdecf6efa54939385f0907f8","datavalue":{"value":{"entity-type":"item","numeric-id":1707569,"id":"Q1707569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe27f176f45d7980626da8af35fd152dd043e2f","datavalue":{"value":{"amount":"+0.8681985","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":"Q5111186$12EB618A-2FB7-4B8B-9C7D-1D0A855681FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cbc8bf1d4d332d330304759bd62ab1ec4d0e889","datavalue":{"value":{"entity-type":"item","numeric-id":2219089,"id":"Q2219089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7882411144ea0d4c6b13e397c781e523b1a9716a","datavalue":{"value":{"amount":"+0.8643952","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":"Q5111186$0119A040-0E7E-43F5-A4D5-8A6FA07398B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ad54f389797b2ee7a4ccd1ba1858a39c2fbfda","datavalue":{"value":{"entity-type":"item","numeric-id":2115288,"id":"Q2115288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951293c299584bab243a5ad47075f3f1d715f899","datavalue":{"value":{"amount":"+0.8633198","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":"Q5111186$D4ABBCC4-2FB7-4DEC-B9EA-8659C6C7177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d0b245885a867d601abe87d23ba63b6a3f7bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caabdbf55e47cdd974c5f39bac1f1b123142629","datavalue":{"value":{"amount":"+0.86232054","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":"Q5111186$B533F4C3-966B-4320-AC4A-745CE3AEB4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fef675336c16911523bbc6017aad17c385efd46","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4641bd9ba696e7f80b2ab8ac0538c2a95959d4","datavalue":{"value":{"amount":"+0.86203825","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":"Q5111186$3624CCFC-54C8-49B4-8DD2-2C10F5BF0090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab224d5cb305bffb6bdcd1d1445a32f63873ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1263576,"id":"Q1263576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6624fb0da0e76e627ebe408080ead57ddeb4a29d","datavalue":{"value":{"amount":"+0.86045444","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":"Q5111186$83AECC75-E1C1-4EF2-93FC-D4F7BB325091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37142ebb936cbd1a77688a534367f1b5547e275c","datavalue":{"value":{"entity-type":"item","numeric-id":1745087,"id":"Q1745087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7158d9d8bea7dbf1c934902ff24bdbe9fd1ad5","datavalue":{"value":{"amount":"+0.85912734","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":"Q5111186$2C9EE794-D149-4AB2-96CE-7DE7FCCF0F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66738e617e34316b23ccd225a863fa9c88370771","datavalue":{"value":{"entity-type":"item","numeric-id":3778732,"id":"Q3778732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f0810acdcee9467f59b26bc9e56a6c7b3285c8","datavalue":{"value":{"amount":"+0.8589889","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":"Q5111186$D2372244-FD1E-43D0-AAC4-B49D196BE424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca50459bc99e82a6914701c8792ff21fa2d190f","datavalue":{"value":{"entity-type":"item","numeric-id":4525283,"id":"Q4525283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670e2621261a0878403d15a52eb97df0878b38a6","datavalue":{"value":{"amount":"+0.8589785","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":"Q5111186$E85E7F09-132C-4819-BC73-C6FA3AC735A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111186"}}}}}