{"entities":{"Q4314687":{"pageid":6344288,"ns":120,"title":"Item:Q4314687","lastrevid":81678746,"modified":"2026-05-06T19:05:43Z","type":"item","id":"Q4314687","labels":{"en":{"language":"en","value":"A feasible theory for analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695458"}},"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":"Q4314687$001A8F1B-1942-40DD-83EC-FCB37673767A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa761ee1e24cc162bedb884b6026c12f30690501","datavalue":{"value":{"text":"A feasible theory for analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314687$5C3EA7A9-3900-4E43-83C1-4C793534AEE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efdee565b3758d8c89ffa61e74e6cc45ebbf9bfb","datavalue":{"value":"0808.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314687$A8CC47C6-327D-41AB-B431-34EC87C628A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7c4f02a2257ce2ca7d4e1061faa26ff119240b9","datavalue":{"value":"10.2307/2275924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314687$E1E32055-8AEB-40E8-B4FF-6F321BD1F432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314687$CE6CE26E-725E-4FFE-AD20-BCEBB6751010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314687$FF3439B9-281F-4496-844B-432F8AF6745D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79ad183130949ee53e76dcf8f33afd5ecac19dc2","datavalue":{"value":{"time":"+1995-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4314687$ECDFD2BE-9931-425F-8DD7-01BF2202AEC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314687$DCCB4966-FE71-48A1-9939-1EA8530EEB37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56cc5d6d72c3cefc222447d178620b1be07caf3b","datavalue":{"value":"695458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314687$B5967843-1C55-4F9D-971F-F582F3E4FDC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84807e182102eb0a6af343f3bb3a4568eef57f4","datavalue":{"value":"weak K\u00f6nig's lemma for trees defined by bounded formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314687$DE1C0799-9713-4236-A9AC-C2636F082449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4959f2db245d2dc1e3512c5233e3728b6744e72c","datavalue":{"value":"weak second- order theory of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314687$10741443-7326-4105-8D90-2C1BA5F8B5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314687$212668ED-0211-44F8-B586-0B6A2C85909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bd107f92cf006edffcabb17c80bb2fb5b788cb","datavalue":{"value":"polynomial time computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314687$69E645D1-8795-47D5-A985-88B8E8F10EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950441e894c1e1a665d0f21b2de85374e3e5ab4b","datavalue":{"value":"first-order strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314687$6E58C462-3DFA-4A0F-801A-5A53AC3523A9","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":"Q4314687$7465D202-B111-477D-8F3D-4298B3CC6793","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"158f2a4876dff09e77297c9bd83c016cb8ca2f57","datavalue":{"value":"https://doi.org/10.2307/2275924","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314687$615CBAEB-9565-4C3D-BEC2-91D6C8326BDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b31018d761433dfabb849951d7b9a605fb1992d","datavalue":{"value":"W2139227798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314687$6FE01A58-9683-42B0-9D9C-D533881B0520","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a126a7a1e5bee29b380fcd6748926c7a78956736","datavalue":{"value":{"entity-type":"item","numeric-id":2843916,"id":"Q2843916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbca908a10b69a26025d36f7954574105f5fe3f9","datavalue":{"value":{"amount":"+0.7972533106803894","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":"Q4314687$6F514EF1-09AC-43C0-9351-0432185E47C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642b54462e773f684a1597a9291eb326500a3e17","datavalue":{"value":{"entity-type":"item","numeric-id":937902,"id":"Q937902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d559b2823cd5b7c32d8f7c8e2888092551acb633","datavalue":{"value":{"amount":"+0.793792188167572","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":"Q4314687$0DEB2767-4672-438F-B827-496E472C53E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1566a8661a3749d8a0e2cb3993b7dd8bb7ac742","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f9024a8b0bb8f35a326772bab4ddca62609b0f","datavalue":{"value":{"amount":"+0.7855941653251648","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":"Q4314687$37FA159F-BE7F-46D3-AC63-0985125B5805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951a54839547a168d04382ee480a7f9638ff7828","datavalue":{"value":{"entity-type":"item","numeric-id":3472100,"id":"Q3472100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5803d1ee5fd40cff075cb88d83b1738faa7300a","datavalue":{"value":{"amount":"+0.7746661305427551","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":"Q4314687$AF22623B-CC77-4322-992F-1E60537B1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a70ecf6905bf625ce4e76970bd590e0725c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":3824312,"id":"Q3824312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83222dd185d7261560174c961361b326bf8b7fb0","datavalue":{"value":{"amount":"+0.7688231468200684","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":"Q4314687$6B9B741A-88CC-443B-9C9F-9E521287829B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A feasible theory for analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_feasible_theory_for_analysis"}}}}}