{"entities":{"Q514512":{"pageid":516279,"ns":120,"title":"Item:Q514512","lastrevid":62439015,"modified":"2026-04-11T06:06:00Z","type":"item","id":"Q514512","labels":{"en":{"language":"en","value":"Turing-Taylor expansions for arithmetic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6690919"}},"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":"Q514512$01B61ECE-ECAC-4C38-A268-6B1C2CC51856","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c636c699e858edf4da3892670e9793c2214d938","datavalue":{"value":{"text":"Turing-Taylor expansions for arithmetic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q514512$39EF4F8D-C86D-4121-A460-93946517759B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2fecec909c4bc92c98eb7f961e532d858af43b","datavalue":{"value":"1417.03297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$A600B4C2-9821-4220-BF0F-1C803F7ADC12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$18B56E33-0898-419E-9A44-504FE93EC6CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$05AB8203-3E96-4FCD-895E-07D0A6B45DF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a8460bdb64b4b5e4361d553b383ac843f49ee0c","datavalue":{"value":{"time":"+2017-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q514512$B9F36D6B-9D3B-4155-8D99-923F4FE060CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8c944dd78521c7c14ff4c52cf0aa8ab84dd6422","datavalue":{"value":"https://arxiv.org/abs/1404.4483","type":"string"},"datatype":"url"},"type":"statement","id":"Q514512$79C7649D-7DF1-4049-9D3D-3B337CFFCFDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$398CCE9C-726D-4868-B9A1-0A881E33F2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$E9489474-9CD4-47E2-BA8E-B76CE50E4833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0434bf9c518a30402d544f92def2b2f7daab05ac","datavalue":{"value":"6690919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$78D00E34-073F-42E7-8840-3B6C0FA33E7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5fe1784dbba99343c48e38b73e4e8b39b66772","datavalue":{"value":"provability logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q514512$1CF4DEEA-67A3-415E-A747-CE8E884DED40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06430fd76362e8c3361a8613c0ea9ba7e9b7f868","datavalue":{"value":"Turing progressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q514512$1EBBB0B4-8704-4BE4-B7D8-255DF57F5E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q514512$48111D6C-8459-4F97-9383-CCA32C5802AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d83c0141a374ed2e054ebffd40fdcc576c0dab7","datavalue":{"value":"conservation results","type":"string"},"datatype":"string"},"type":"statement","id":"Q514512$FFF1F2C6-2E2E-4D4A-BC76-DE5BBB86921D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q514512$BBFED0A0-F693-4A27-ABBC-EEBDDA19BF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6474bd1e8964050ba073e2d2db765bd5090e05","datavalue":{"value":"closed fragment of GLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q514512$88516047-A49F-4A2C-86B2-7AE187AFA2E2","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":"Q514512$24FF5CF9-ED50-4F1B-B457-EE4B2E1F9AB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c27c37d80a75be40e75c495307c2e0a3d0b1f98b","datavalue":{"value":"W1628975265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$648A217B-2D57-4E62-8604-8324F635753B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a23582e83a94422808b37f746c8e28561abeb55f","datavalue":{"value":"Q120571145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$64DC96D8-E0F7-45C7-940F-91C9C53333A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfeaf66b5318c9d92cf3d120ecbf975172a3da7e","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$9F16BEC6-561C-4796-B112-6AAC293EA6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$D1F32FF1-5F5E-4B98-8BC0-7836B2A3D876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$717CBBD2-B5D5-4AD3-9571-786B2FD106C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$6CBCDCFB-4253-4E06-97A6-311D875DFFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c83f198c5c7178639e27c9a7003d0d2773d2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$493F5072-DAA7-4DEF-A66B-CD35C0BF2036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801beb7884418a584076f6a52825d7965f5f8934","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$C8066CCF-E860-4277-8217-CF00A0FF4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1864c7cd8d0a5fcf8acbce38de8dea37ec03416c","datavalue":{"value":{"entity-type":"item","numeric-id":385073,"id":"Q385073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$9F315EA7-7220-4857-AE26-F0FCB204CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114260f4cd1602544364642a34079b9ceee85ae6","datavalue":{"value":{"entity-type":"item","numeric-id":1694812,"id":"Q1694812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$237AC27C-56F4-49E7-8737-0D7AF6F54C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed5d4dc6a27184f9b503206e637b294a24667c","datavalue":{"value":{"entity-type":"item","numeric-id":4644499,"id":"Q4644499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$63C390D2-2B75-4389-8B7F-E840195D1EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398cdb8dac72ad069c6bd80b47acf655f303c4a2","datavalue":{"value":{"entity-type":"item","numeric-id":5224574,"id":"Q5224574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$F3F8290C-21D0-46BB-A636-78FF2DD8C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$92AD4E07-0C6E-4FE4-ACB8-0F41089D78E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08bbbef085ee185455e51b372e5226003ddca7e","datavalue":{"value":{"entity-type":"item","numeric-id":2565986,"id":"Q2565986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$4C8D66B4-ACB9-4195-B755-378B76756D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b9b61739a28f317b5eca4c6cc2d58934553c27","datavalue":{"value":{"entity-type":"item","numeric-id":3195699,"id":"Q3195699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$C01A6C10-5B09-4260-9B93-3EC05C29A0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$2A899014-C497-4955-92EA-D4B556D1A22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def144a6c01a2c5f09f7a663c86480a856bf8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3866106,"id":"Q3866106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$26E907FD-437C-4A0B-BDFA-CE0DF916137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q514512$5BB6F13D-62B3-4056-87AB-9003F807E2DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de51d881956a5dc097acc6ac66be1ced87900616","datavalue":{"value":"10.1007/S11225-016-9674-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q514512$7C687A42-1B90-4F12-9736-8DBCDE7E18BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5b6cdbe9ffe48c024d4bcaeda9441c4a3c1b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2176413,"id":"Q2176413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299d0245a595455708636db1925acbe02e85e1f2","datavalue":{"value":{"amount":"+0.7829652428627014","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":"Q514512$4F0DD442-3EBD-4F25-898B-90F29D002F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23dd019886970dd6477aaa04c7d04858916d70a1","datavalue":{"value":{"entity-type":"item","numeric-id":3795673,"id":"Q3795673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e230a99078d00a9809c4ffe950c1fbfdabb7198c","datavalue":{"value":{"amount":"+0.7811200022697449","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":"Q514512$ED1D0548-1C37-436B-B9D1-E1249F76A02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992c072869d923b2c328c6b5612d53940cd27011","datavalue":{"value":{"entity-type":"item","numeric-id":2904409,"id":"Q2904409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e429533f5665e66ee5367835ab71ce71c531f3","datavalue":{"value":{"amount":"+0.7762124538421631","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":"Q514512$6337AA43-44B0-4A4B-BCF1-7C74D111FAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179b8a8b9be48bc8ef2fe708fc2a4287cb698ce","datavalue":{"value":{"entity-type":"item","numeric-id":804564,"id":"Q804564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cf7ac1a7491d53ebdbd48f6c20caf7a5dbe8be","datavalue":{"value":{"amount":"+0.7656031250953674","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":"Q514512$CE150E6D-9B65-4406-B596-D1273655B82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d7f67c7ff29fa932d4d2a0afde124e53866c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f9905c92e7875a3581d6e27fb92d0de585d445","datavalue":{"value":{"amount":"+0.7378286719322205","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":"Q514512$C7F2A033-A246-4462-9D1B-FC9C71FB0301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Turing-Taylor expansions for arithmetic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Turing-Taylor_expansions_for_arithmetic_theories"}}}}}