{"entities":{"Q1807464":{"pageid":1818206,"ns":120,"title":"Item:Q1807464","lastrevid":46827417,"modified":"2025-12-25T16:28:03Z","type":"item","id":"Q1807464","labels":{"en":{"language":"en","value":"A method of epsilon substitution for the predicate logic with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1364699"}},"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":"Q1807464$60DED348-E1EA-489A-B07E-ED7F125F6CE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7c11d142162da47fa4b08cfe23de9d857e8e61","datavalue":{"value":{"text":"A method of epsilon substitution for the predicate logic with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1807464$2BA0CD6C-70C8-48F2-8674-36EB545CD4B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33a4d42422f309ae60ca66de149daa7c823612ce","datavalue":{"value":"0934.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$6431C1EB-BFAA-4223-A25B-47B5B0803F36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d4a1a41e7e22474bc21c6729a34553fe5db0746","datavalue":{"value":"10.1007/BF02358997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$A01A3E5F-E604-4F33-8B86-481A2503F92F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$2EF07579-7E02-46E6-A908-E192885DA68F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44ea73af336f54e7d95b283a1b6808a7f8e98994","datavalue":{"value":{"time":"+1999-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1807464$78EECFBD-15F6-4539-ABC9-0B39DEC12413","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"442766ef47711553a81486894f2107602b21bddf","datavalue":{"value":"The method of epsilon substitution for arithmetic proposed by Hilbert proceeds by a series of finite approximations ``from below'' to a solution of a fixed system of critical formulas. Ackermann applied the method also to the first order predicate logic with equality and extensionality formalized in terms of the epsilon symbol, which however proceeds ``from above'' by replacing the epsilon-terms of highest complexity similarly to cut-elimination. In this paper, the author provides for the predicate logic and its extensions by equality and extensionality, respectively, a method of epsilon substitution ``from below'' resembling Hilbert's original program, and proves the strong termination of the substitution process which corresponds to the strong normalizability in cut-elimination and is not obtained by Ackermann's method. As an application, a Herbrand-type theorem is shown to hold for the respective epsilon calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807464$F876B86F-EE04-4037-BCF5-3FC0245860E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$1BACF8D7-2789-492F-B01E-7144FFAB0E79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$20206805-086C-4762-8845-130EDF380237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$BC421D9B-9045-4490-916D-2ACC285EACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$4DB85EBD-6224-4F64-996A-14BC4DF75902","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a304ead03be91d9372d627c65ff9d561208df614","datavalue":{"value":"1364699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$EF63C22A-FC22-4158-AA74-F48F34C41BBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5af5da1f76c8b1d909d7cf355f660f767e08977","datavalue":{"value":"epsilon substitution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807464$A3CFDDBD-BD5D-4FBF-A6FE-69B3238A90C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807464$9E7E7300-F4D1-4260-86C6-D4AE234198ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd57e8f14f61a9d67365570a6e8722df0ef09f6","datavalue":{"value":"axiom of equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807464$6521C531-7C12-4360-8CA0-652069F5BBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d69e6d816f61fbc1c7f09fd7028131c78dc53c","datavalue":{"value":"axiom of extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807464$B748C265-FCD1-40C0-92EA-E94A3DDAE13C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$4E9A6E05-277A-4004-AE29-AEC61143E136","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":"Q1807464$56B9EC03-F339-47A2-AB13-C4E2C4318A01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14715c31e3175f27315fd889e6af956d396a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3268377,"id":"Q3268377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$5F633F96-848E-44F5-A1B1-FAFB49A29AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$760D49DD-CCBB-4256-88AF-D081980821E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$F5341A92-053E-48C7-8B95-1A448DFD4735","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":"Q1807464$F25C5982-D8FA-4CAA-A4C4-0F2CBE3788B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9eb21949c8eacf8ba5059ba1b04218c8d624337","datavalue":{"value":{"entity-type":"item","numeric-id":3674650,"id":"Q3674650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$EA167422-2BE3-4F49-BFC4-5B982CCD426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dc652621cdc224df8fa751825f8c776f55c691","datavalue":{"value":{"entity-type":"item","numeric-id":3832565,"id":"Q3832565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$2AB15C5F-954E-4738-B220-E7F32451358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc5131b0b7964726299b118b83461f6bf3bdb2","datavalue":{"value":{"entity-type":"item","numeric-id":4325774,"id":"Q4325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$48BABA0D-C015-4624-9D37-62CD415A4F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$D3A86138-5AA4-42D4-A323-30DD601A815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc193c6fcdac8b3fb21f4b5c4ef642f3a0c0a9df","datavalue":{"value":{"entity-type":"item","numeric-id":3128468,"id":"Q3128468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$D921CFAA-626B-4F0F-B9EF-C2E6251E6A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33faa165fe050b18eb5fb9b713d72443885fe4b0","datavalue":{"value":{"entity-type":"item","numeric-id":5608741,"id":"Q5608741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$29C8F63E-94BA-4892-B06B-B9566190D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90049b19da6424ee09d03afefd43087776bfde24","datavalue":{"value":{"entity-type":"item","numeric-id":5343336,"id":"Q5343336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$66C9D223-C378-4EE2-9118-17E1927055FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b874be4398908905b6b6537f52e417df634dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5834186,"id":"Q5834186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807464$3147A948-700B-4231-9A7F-3FC82181AE51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64950cafb9a419513096858e766a44dee08ee23c","datavalue":{"value":"https://doi.org/10.1007/bf02358997","type":"string"},"datatype":"url"},"type":"statement","id":"Q1807464$27627B85-4644-403F-BB43-F5A3F63923D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f0c8dc6a4c29ab297ada6e004aef28f5e58951e","datavalue":{"value":"W2008841321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807464$BCEAD026-352F-49C3-951E-BA9E8F7DDB99","rank":"normal"}],"P1643":[{"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":"0c822f484c2e655467115c431e8abf94bdc491ff","datavalue":{"value":{"amount":"+0.8779598474502563","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":"Q1807464$477E183C-E3A7-4FC8-9559-314687585B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b5ea5439913743774a89ee715524f64f0fe373","datavalue":{"value":{"entity-type":"item","numeric-id":3128468,"id":"Q3128468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23352dc2b4f2464e1d44b1f40dcc4a313eaf7ec2","datavalue":{"value":{"amount":"+0.8452404737472534","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":"Q1807464$FA07EA8B-0B75-499E-8127-CD2C085A18A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74dcdcba7ceb73a4e70deaf1a27c5da65030a816","datavalue":{"value":{"entity-type":"item","numeric-id":4325774,"id":"Q4325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bcc14365adcd43e0353d7bf767a444df45d57f","datavalue":{"value":{"amount":"+0.8442515134811401","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":"Q1807464$ADD68E3A-8634-409E-9966-49BE70DBEF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc159133e94363a392cc31a1bafe850f7dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb42bd44b7d4d1d73e607b4971bc46ce1850acb","datavalue":{"value":{"amount":"+0.8438252806663513","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":"Q1807464$C7E7EE8C-A68A-4EE4-B56C-838D65B6F132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1807464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1807464"}}}}}