{"entities":{"Q701734":{"pageid":703583,"ns":120,"title":"Item:Q701734","lastrevid":42649173,"modified":"2025-07-07T16:38:06Z","type":"item","id":"Q701734","labels":{"en":{"language":"en","value":"On the quantifier complexity of \\(\\Delta_{n+1}(T)\\)-induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2123155"}},"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":"Q701734$DDE439DF-0390-4CAA-ABD5-A74CD6B25E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e525ea31e6fa36b99c9e87ec403355cf35637a93","datavalue":{"value":{"text":"On the quantifier complexity of \\(\\Delta_{n+1}(T)\\)-induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701734$3296C968-EB99-493E-93E4-CDE3D6F3E3C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec8eb5e0de8f673007a10664cc99adfcbf16fc18","datavalue":{"value":"1061.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701734$2B275CAD-DFE3-4FEB-9969-3EF6FFA718CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991e51a4520a7c3db178435bbefe41ae34b200b4","datavalue":{"value":{"entity-type":"item","numeric-id":701732,"id":"Q701732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701734$BEBC1776-53CD-4BDD-886A-B34177A67CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701734$33E9BC78-C468-427E-BAB7-0B063A10F9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701734$B7CDC88F-FC45-4BFE-8637-C85662C03356","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701734$D351B42B-7354-4AAB-9B1B-345A10BE4842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df1e508a21ee9936a7a8f9defc1512d58443c3e3","datavalue":{"value":{"time":"+2004-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701734$55B3F086-0A44-4D24-BEE4-E961F26FE9C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701734$F0249362-1072-4F47-A7EE-D7F438A2557B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"498633b7beaf0c625633aa83e09191088edd3a89","datavalue":{"value":"2123155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701734$B9A1E799-F701-4CF8-AECB-CBFF349EED8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q701734$6336E2EB-6861-41FF-99E1-63C450BCB747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e0d56db8f9745ec32eb51a6e129af1eacc39ec","datavalue":{"value":"\\(\\Delta_{n+1}\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q701734$2E09D613-D95E-4A40-971F-0E271CBD6292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a39999d80740e49a5409c35323fbca9d1fefad","datavalue":{"value":"quantifier complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q701734$922A204C-5635-4800-B6E5-98F2950A1789","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":"Q701734$5D4176ED-529C-4E1C-BB00-16980FBA662E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18ca00a8a8474a01120389d564260642fbf4e3cd","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0198-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q701734$EB3EC9AB-F465-4DA8-86CF-8A14B494F0AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0b0b768536220d4074cf6f2fbbb11c75ab1f5d1","datavalue":{"value":"W1523846338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701734$A6398504-5E79-449A-8497-91BCF95E3967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbe6e46b393cd68f25cd09bb6c893017c7ecf945","datavalue":{"value":"10.1007/S00153-003-0198-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701734$6D2664AE-0AD0-4FDC-BB77-1062C10A74B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516e94e2ac355b0f5e1dd156af08838be6d13f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1815271,"id":"Q1815271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de66eb4dcd862f4d8195d163bd944fcd1e8b51fb","datavalue":{"value":{"amount":"+0.8984377","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":"Q701734$44A881AA-972F-4232-BA95-800FD754C9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da167317dd79e81ce517fedf9670335ecd7e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3684112,"id":"Q3684112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9616aa467e12347832d40ee3836c61eb76daa398","datavalue":{"value":{"amount":"+0.8868104","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":"Q701734$8FD9BD16-13A2-4B84-AB1B-F6E84E8CDB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0488eac80e18c834fde2c5aab8cb5733d35ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3315499,"id":"Q3315499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dd1ebf99f27597bb5fd56eeaca0232208437ad","datavalue":{"value":{"amount":"+0.8816578","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":"Q701734$C1ECCB24-B1DF-4F9B-9D49-D1D116019046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2e963ab3d7dab7b8eca99e668a2d8a8d13e253","datavalue":{"value":{"entity-type":"item","numeric-id":3066290,"id":"Q3066290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0bf44534e55963df26eccd103485c8b21ba51e","datavalue":{"value":{"amount":"+0.87878627","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":"Q701734$D65A4029-EB11-4538-9423-A594C270A14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd1da1462720572f75f030936eea2f5f28f7031","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12839180204b4fc729cd722fa0e799014ae85c46","datavalue":{"value":{"amount":"+0.87682545","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":"Q701734$25C09FD7-A097-4194-B6B7-0C9C719E2128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1930ccd2c211d77cc17c012fe8b297618ae2460b","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37972ac9fbc680c1e9b81de9c13ed67177d1a46","datavalue":{"value":{"amount":"+0.87441254","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":"Q701734$24DC6F82-234F-4C41-AC6C-6592F21EEEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3366f2d809d6b52b18467ef5d4d73da219b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4648186,"id":"Q4648186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be84fd2265ab4b23ae7ce27c1c960b95a077d7d","datavalue":{"value":{"amount":"+0.8743327","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":"Q701734$F4C160A9-6945-4711-9DAE-FB216C3128F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2faa086c2545c04b95b00f2fa08a3fce22d170","datavalue":{"value":{"entity-type":"item","numeric-id":4955353,"id":"Q4955353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644a6ca14c62d011514cc99058b58a56bc493ab9","datavalue":{"value":{"amount":"+0.87323135","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":"Q701734$8684EEF7-3D1B-4219-BF6B-39F03DC5DC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240213e1630cc0e6788ceddd4dd37b9c067e4ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1949746,"id":"Q1949746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a874daa3d99422f93b25ba89a602102b63ad201a","datavalue":{"value":{"amount":"+0.8718621","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":"Q701734$48EE443F-B28D-44A3-8D68-BBE0B614E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee05418b9db5d2838f9b3500fef5a2df9261ba4f","datavalue":{"value":{"entity-type":"item","numeric-id":4648198,"id":"Q4648198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090973d118071876d9455cef1c13eff323a0eb7e","datavalue":{"value":{"amount":"+0.87144464","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":"Q701734$4029DD9D-FBFA-432E-A1B2-F2EE5F3029D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:701734"}}}}}