{"entities":{"Q2478554":{"pageid":2489297,"ns":120,"title":"Item:Q2478554","lastrevid":50319341,"modified":"2026-01-13T19:50:34Z","type":"item","id":"Q2478554","labels":{"en":{"language":"en","value":"Cut elimination for a simple formulation of epsilon calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5255281"}},"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":"Q2478554$67877E8A-0C77-466F-B815-09C51E225159","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49881cc9a9479e62c450a779f641b6041065d333","datavalue":{"value":{"text":"Cut elimination for a simple formulation of epsilon calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2478554$39D63F76-FB8B-49FC-9592-6594015E5BDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28faf1629a6c7cab64313c9261299b2c23070df5","datavalue":{"value":"1136.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478554$72514F55-3C30-4F93-9A44-F792A0CF15FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$A526DAEF-2403-4C93-9AD7-8D08F21E0ADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19b8f2af7f0986c9c462b75f4a8bfb541c843b8d","datavalue":{"value":{"time":"+2008-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2478554$1F503532-43C2-4D41-9446-27D6B206E2D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86262e8358dd5fc01d706540fe48d97894e763fe","datavalue":{"value":"In the paper under review a proof of cut elimination for arithmetic with the \\(\\varepsilon\\) symbol PA\\(\\varepsilon\\) is given in detail. Using this, the author shows the termination of modified epsilon substitution process. The possibility of extension to much stronger systems is stressed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2478554$2B60F188-7518-42B8-B7E2-45170A2480EA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$50D84C37-6D80-4E99-A920-F16166621192","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478554$7DAC19E7-E592-4A08-B99C-A3C7B9B7B640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478554$33201E7E-1FF6-4118-A235-4E8762452DB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3684d28f49148cdca3f2957131a615c16449892f","datavalue":{"value":"5255281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478554$9A652E30-6E53-464C-92F8-653D6A2ECDF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484314a94bce6026a60999b15fb6d54ca92a4478","datavalue":{"value":"epsilon symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2478554$29A3C206-0A02-4808-866E-82DF126D28E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5e57e9f1a947591e15f9e0dc4c42940c39094b","datavalue":{"value":"epsilon substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2478554$CAE79693-B411-4B9A-A402-67DC6533FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2478554$F3F8776A-500F-41C6-BF02-34A3987BA32C","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":"Q2478554$1966974D-1EB2-4687-B513-0B887F707B5D","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":"Q2478554$0F8675E9-F090-470C-839E-000DE1183226","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1ed9668dfb9ff110d28b344040887b984166980","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2478554$B17186AB-55AC-454C-A829-B630C53A1C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a38614f6e98692719191949a6c50a1c16b4ad051","datavalue":{"value":"W2013500897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478554$564F1B3F-008F-4A2F-9572-B9A01845E065","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":"Q2478554$EEEC31BC-F2A6-4EA3-B997-2B95F737B67A","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":"Q2478554$DD91FB31-EEDC-44D8-8230-50C4EEC66C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$44C2BDD4-9E63-489A-BDBB-8DB0C1C04A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$A52237EE-4769-4E20-A5CF-EC829913777F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$C12D692A-00B7-4178-9F6C-8721C10FAB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28711599010bca9ffbebf4fe0012f8e3f98c05ed","datavalue":{"value":{"entity-type":"item","numeric-id":3999386,"id":"Q3999386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$4F066716-E7B4-42F9-828E-B07D03D6C738","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":"Q2478554$FD44E16A-79B1-4D8B-BE2B-B0D0D93BA135","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":"Q2478554$19D26017-3DCF-4DDC-93BA-F1AEFD35196C","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":"Q2478554$9827C1E0-442F-4094-B58D-6290ECEF0F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ce4f09bd5d7ade18a796d816737205a58c7016","datavalue":{"value":{"entity-type":"item","numeric-id":1778059,"id":"Q1778059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2478554$B27989A4-9C02-4577-9EA4-B4D5CF303689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f93f6e6ceb1ac91da3a617abec6dfe8d3cdcc2a3","datavalue":{"value":"10.1016/J.APAL.2007.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2478554$AD6D2B9E-DCB8-4134-B7B6-C256982A06A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc1d8ec5e8d7d5ff1adef66a298c580d7b9eb8e","datavalue":{"value":{"amount":"+0.8328255414962769","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":"Q2478554$AB1372AB-DA11-468A-BBA7-BC483DF76C69","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":"48287b9b767ce7e518be7a3a104cdddd982b9636","datavalue":{"value":{"amount":"+0.8159696459770203","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":"Q2478554$9E1C9533-F689-4EDE-B740-46466B2B1F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36785c5cca00f425598e80066005ff56bcd80ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5896367,"id":"Q5896367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53ba62f86e57beec393625a61ed77625bbbee5a","datavalue":{"value":{"amount":"+0.8114621043205261","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":"Q2478554$95E37C8A-5B20-41F0-B2C3-673AA8CE22BB","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":"30ebaecb6a76039039a2529d7d73e3f99bccbe01","datavalue":{"value":{"amount":"+0.7980061769485474","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":"Q2478554$80E56606-0FE5-41E5-AADB-45097B87D81C","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":"a84505d0f657ee4cca0deccf20a334fe0e14be8a","datavalue":{"value":{"amount":"+0.7964257597923279","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":"Q2478554$5A0E5619-BDBB-485B-AEA4-41D58E05791B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2478554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2478554"}}}}}