{"entities":{"Q535160":{"pageid":536927,"ns":120,"title":"Item:Q535160","lastrevid":62588886,"modified":"2026-04-11T07:06:58Z","type":"item","id":"Q535160","labels":{"en":{"language":"en","value":"Exact bounds on epsilon processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886782"}},"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":"Q535160$DE7DE886-05D9-417B-AC6C-2ED2F1ED8E90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7322c65307f815875425358f2cb6556dc5b618","datavalue":{"value":{"text":"Exact bounds on epsilon processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535160$A1B3325C-3825-4A53-9A0F-2ACC97BBD042","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9333b2be1dadee54b1be9f36a87b02659f73bbc","datavalue":{"value":"1225.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535160$D08E8DC2-F2A5-48F6-885E-62A28C701570","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$7E29AE8F-C71C-4C7D-8143-8312C540E6E9","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":"Q535160$15D72177-394C-49E4-9A20-FFB68D5ECD82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535160$742B542C-0674-4800-88E5-A61F62D15E57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6c301922bf61c3b54da770d1a176af1f0979d5d","datavalue":{"value":"https://arxiv.org/abs/1005.2003","type":"string"},"datatype":"url"},"type":"statement","id":"Q535160$8B9E72D8-BCE7-41A1-AA41-7EBF26382A90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e89c5066bed7177fd874a8d70fcea2ecc4616abb","datavalue":{"value":"Hilbert introduced the \\(\\varepsilon\\)-substitution method as a potential approach to proving the consistency of Peano arithmetic. The essential idea is to work with finite attempts to find good enough witnesses to all existential statements in a proof. He introduced the H-process, which successively refines such a finite attempt. Consistency of Peano arithmetic then reduces to proving the termination of the H-process. While it is now known how to prove that the H-process for Peano arithmetic, as well as many stronger theories, always terminates, this paper carefully analyzes the number of steps it takes for the process to terminate, in particular characterizing the recursion needed to calculate the length of this process.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535160$9F6170EF-E7EB-4592-8284-6B0F0CD25EE5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6c5b616edce88dbba5c5af95b93f1151779529b2","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$B0E5B5B6-50D8-433E-8DF1-7B26CBAD96CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535160$4708914D-0BAD-4B1E-BFA0-B3145AF53D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535160$9E2611DC-E86E-4402-A4F6-6CDA29A5B275","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a70db2d254d8472869a05653e606a758acd09a6","datavalue":{"value":"5886782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535160$BF0625E3-D11E-40F2-BC10-6CAC6F822654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5e57e9f1a947591e15f9e0dc4c42940c39094b","datavalue":{"value":"epsilon substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q535160$8D217EC7-ED14-4008-85D3-45D4B84566DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q535160$B9D6FC45-E848-4B34-963A-C7C2DE15AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3ca4a6cbd279b42e521c34520e7efdd1df0b39","datavalue":{"value":"termination proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q535160$90CD33A3-3DEB-4214-A1C2-7CB5F5725FCF","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":"Q535160$192289EB-096D-4CE6-B016-67CF09DE88DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1b991c83bada891e30f528d0c9a2277860425bf","datavalue":{"value":"W2099914258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535160$94A7CE47-6E10-4266-AADE-5FFC2C3B61C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"973f6bf6c69678cd9a656a7e5b366fda4d57bf05","datavalue":{"value":{"entity-type":"item","numeric-id":1407530,"id":"Q1407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$1E97310D-44D4-41E5-B1E2-3D434EC97804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31291a3dd4a99b6e7b6897958f564beb936e92cd","datavalue":{"value":{"entity-type":"item","numeric-id":1399101,"id":"Q1399101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$1744C9E2-0943-4D4D-9DE7-CCF27872CC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ece7966b9dbe5f7039035755725889d996a3d61","datavalue":{"value":{"entity-type":"item","numeric-id":2576640,"id":"Q2576640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$FE11F1E9-9AF1-46EF-BF2C-F4BE14B326DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ca585ee14b1e7cd6e17bb1ee0237125a6ec9ea","datavalue":{"value":{"entity-type":"item","numeric-id":2566062,"id":"Q2566062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$D7269A4A-A7FC-4D9E-9FDA-0CD2B9735617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6404031e3487a254ffd26c5ee9b891acf4fc0b","datavalue":{"value":{"entity-type":"item","numeric-id":3416109,"id":"Q3416109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$53E6E702-EB6B-462F-8482-D230755D2250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$AFC20D09-7709-473A-A38D-3C79B4312D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535160$5ADCB7DF-0FDD-4C32-8CFB-50D95C504520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab49edbccc762adef80eb13e0487f3dcb3955e5e","datavalue":{"value":"10.1007/S00153-010-0225-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535160$9A9BB811-EEA7-4802-9879-361F787EF8EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1c7427d3c71381a2d1d6b79725a7a3c51f38cf","datavalue":{"value":{"entity-type":"item","numeric-id":1399101,"id":"Q1399101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2f287a862a5ff0b8cc21a437a11ed83a3a3e00","datavalue":{"value":{"amount":"+0.8431696891784668","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":"Q535160$57677925-A1F1-4B46-8FA2-59347356EF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9c6e8e62e5587d3df40fe3ffbe7dd8008e7afb","datavalue":{"value":{"entity-type":"item","numeric-id":2566062,"id":"Q2566062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2f287a862a5ff0b8cc21a437a11ed83a3a3e00","datavalue":{"value":{"amount":"+0.8431696891784668","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":"Q535160$5E9AC5D4-9FCD-4418-B702-DA297784D423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af87063e4b645a9459fcd26c132f7579219f22af","datavalue":{"value":{"entity-type":"item","numeric-id":1946675,"id":"Q1946675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88face1699a9d3f46eb465e121dea116f34ea83e","datavalue":{"value":{"amount":"+0.8181650638580322","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":"Q535160$32DCBA4D-9FC0-47FC-94A3-ACBE3C095A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a751f9d4e79b620673c28b4511ed3776e89bd273","datavalue":{"value":{"entity-type":"item","numeric-id":1401363,"id":"Q1401363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb5255dd4f1b31c2aac783c51696fe43b507570","datavalue":{"value":{"amount":"+0.8156039714813232","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":"Q535160$1B8673F1-BF8C-4D61-82D5-CBE6BBBE293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d5ff79fb32e959dc15b5ed38278c2ea3fe7f5f","datavalue":{"value":{"entity-type":"item","numeric-id":1407530,"id":"Q1407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb5255dd4f1b31c2aac783c51696fe43b507570","datavalue":{"value":{"amount":"+0.8156039714813232","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":"Q535160$E0B929E8-A9E7-4BE8-8D5B-960A3FC32766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact bounds on epsilon processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_bounds_on_epsilon_processes"}}}}}