{"entities":{"Q817706":{"pageid":819554,"ns":120,"title":"Item:Q817706","lastrevid":64565469,"modified":"2026-04-11T20:44:50Z","type":"item","id":"Q817706","labels":{"en":{"language":"en","value":"The epsilon calculus and Herbrand complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013040"}},"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":"Q817706$1210AFFF-83AE-4371-9597-40D20D653E4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"535862c93fbc33f5d965341db44b32f10a61dcde","datavalue":{"value":{"text":"The epsilon calculus and Herbrand complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817706$30DCBD9F-04B7-41F8-A19A-648CBAAEA72D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"552c175e8ebd02b3819e804913dd680210d7118b","datavalue":{"value":"1097.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817706$77FFC20E-4756-4055-B797-D52639713BAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$4DB66D5D-DAAA-4B6A-900C-4566852366BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$9CE2D78D-AE77-4E20-A40D-15D14548C7A8","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":"Q817706$18E7C09D-55BE-4DD8-9FD0-FCE81C1E4CA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817706$2F71FA9D-A100-4516-BD6F-9502D4AE922C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e4a831e89241c18699e17f73c0ab34f12f11372","datavalue":{"value":"https://arxiv.org/abs/math/0510640","type":"string"},"datatype":"url"},"type":"statement","id":"Q817706$47DEAE5F-ABC6-4120-AABC-A8BD45651BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817706$26E83134-3D65-4F7B-AFBE-5E0CC28A5C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817706$2D200848-633C-422D-935E-B49C90293389","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4526eae061d4ea9f23220c1b434dc999f3e0f178","datavalue":{"value":"5013040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817706$4088BD48-49E8-4F91-9FC2-324BD7FB5E59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132fadc14c28f69de3c56d6356b2bc12095ddc60","datavalue":{"value":"Hilbert's \\(\\varepsilon\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q817706$0BD55F72-2FE7-426D-97D1-1BDF2F5289BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda86e0ffdf0ed711f6bf6bd5affbdb5b8eec799","datavalue":{"value":"epsilon theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q817706$C33DC4A4-02D2-4B30-9293-D35224F85E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q817706$25E67783-99CB-4437-B762-4A692EE68D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q817706$4389924A-D954-46B8-9386-7D679EAE69D4","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":"Q817706$7884BB87-86AF-49BE-8580-886A3F787ADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0107c33a3d83efab093c943986c09956f955ccca","datavalue":{"value":"W2031927644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817706$C74CB2D4-4909-46F9-B353-0CF2A6307EBA","rank":"normal"}],"P223":[{"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":"Q817706$262A7B71-4002-478E-87E9-1BF734AAC513","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":"Q817706$FF0970FD-2963-4C91-8269-E37CAA27AFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e366e7b3eaee30c8a7b50e86a00285d250c8874","datavalue":{"value":{"entity-type":"item","numeric-id":2776806,"id":"Q2776806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$6E95AC64-647F-44B0-980C-0859CFD24203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$ABF46E1B-0708-4F79-8299-5FF72B1399E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7171dd6ac8ecaf332e9d8025ffeb15c581fd89","datavalue":{"value":{"entity-type":"item","numeric-id":1208146,"id":"Q1208146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$88F8E041-9385-4F98-A958-AA13DCA8D2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d2f78994ed4b1c9ec1c2757da978ae2feec8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4304116,"id":"Q4304116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$12F39440-B75E-43CC-8EC5-4900BBC6F5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90112062753233254cb2ebf8bcc9fa577d6d94f","datavalue":{"value":{"entity-type":"item","numeric-id":4527924,"id":"Q4527924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$430C4FA6-4599-4F0D-A3B4-4C2FE1F7FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$C7C4254D-7C02-47C4-A483-ABECC4A6D218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19db4913f630897f5881536409b9be392c4b9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4857864,"id":"Q4857864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$36A039ED-43F5-4614-8F97-21543370B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$83A51F91-C555-4A72-B4C1-38F440F7DB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$DF2083A5-B847-4A74-A795-4B1ADD0DAFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$8C7640D9-E6B8-4D74-A7B6-AE68CA0D4F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$85B1EF44-81AB-45ED-934F-6D69B2BA2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd609e8a80c41bd459aafa11a711b35a917209e","datavalue":{"value":{"entity-type":"item","numeric-id":1401363,"id":"Q1401363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$F66186C1-096B-4A36-9C59-963DC3BF179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839f84674fbc4960d57f999dfddb193181d8344e","datavalue":{"value":{"entity-type":"item","numeric-id":4941993,"id":"Q4941993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$A2A10CCF-30FC-4164-BF40-07268EA67524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d045ce731f9ccddd5b0335da9d4d4738f27310ba","datavalue":{"value":{"entity-type":"item","numeric-id":2503393,"id":"Q2503393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$F111982E-B265-4557-9C64-A74B91B0C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f058cb51d734ec626a5f698a981cf173048b130c","datavalue":{"value":{"entity-type":"item","numeric-id":5731773,"id":"Q5731773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$ABA0E2A5-A6B7-4BD4-A13F-F43342BA4B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2b29d9b4dadfb2f5b72715f7422f8e108a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1167721,"id":"Q1167721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$3499EEBC-4A0D-4628-B9A8-8536105B5FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$34E1F4C0-DDA3-4CC9-9A58-446EA72A1818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$6ADC460E-51FD-4C08-9E20-8D2D3ED41292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96157fa35335ae4ad319eb4d7d23c47b53f2e98","datavalue":{"value":{"entity-type":"item","numeric-id":3160441,"id":"Q3160441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817706$4A5EDB1A-E460-4714-A2D8-A66D244E5499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24549ff5e6938d2e0d51c53e26da510806cceb7e","datavalue":{"value":"10.1007/S11225-006-6610-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817706$D4E6D39C-6BC6-404C-8DF5-9232CBAE401D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ebbf210dee7754cb6e0f702cb00fc1dbe61808","datavalue":{"value":{"entity-type":"item","numeric-id":1709688,"id":"Q1709688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5663b3d6197591a03e56356f617926c7d5314d","datavalue":{"value":{"amount":"+0.8462763428688049","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":"Q817706$E056D933-04B3-4110-BE8A-081A5A6B5A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfb2791dfa5bd53f1670ff04e0457115dc8a041","datavalue":{"value":{"entity-type":"item","numeric-id":5292657,"id":"Q5292657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e9e19f471f680bc190831ab35dab8a54ac41a1","datavalue":{"value":{"amount":"+0.8115437626838684","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":"Q817706$0AF64772-E86D-43FE-B754-75B4F6EFECD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cf88dca38a8745200a0d4e0453412dffcafb03","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3416c3845ec2fc6ee277ace64018eb8a6fcf8ce5","datavalue":{"value":{"amount":"+0.8082086443901062","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":"Q817706$AA184857-4958-4673-B446-E241714F6944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cccd438d39cc1f94c8fe0921eecb52797bc7e925","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3c48509007bca87487618efebcf3f6e31f8b95","datavalue":{"value":{"amount":"+0.8080911636352539","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":"Q817706$52C32AD8-AE27-47E8-8E22-12585961F0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def71c43857b10f82848d8b1bfc16980b41e5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3469101,"id":"Q3469101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370e786a30a2a6be71c9f7075ef06e53715e1c00","datavalue":{"value":{"amount":"+0.8020389080047607","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":"Q817706$6CCED6C5-3931-43E2-B812-973A9AF16080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The epsilon calculus and Herbrand complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_epsilon_calculus_and_Herbrand_complexity"}}}}}