{"entities":{"Q1709688":{"pageid":1720429,"ns":120,"title":"Item:Q1709688","lastrevid":72828564,"modified":"2026-04-14T08:06:51Z","type":"item","id":"Q1709688","labels":{"en":{"language":"en","value":"A sequent-calculus based formulation of the extended first epsilon theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856638"}},"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":"Q1709688$BBAED059-E30C-446A-A591-3447E71CEF4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a58973fb6275874f931c1535f2bc57d24c8bcc5e","datavalue":{"value":{"text":"A sequent-calculus based formulation of the extended first epsilon theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709688$3394044A-0486-435E-89B3-18C45C7E1993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9853ce403a3dfd060a16e2db6f51c6dc6312d064","datavalue":{"value":"1503.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709688$5110E335-F4A7-4FFD-B623-66D8B4BE475B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e628d3de1d5dd0653176d1ab2e5851b22889827c","datavalue":{"value":"10.1007/978-3-319-72056-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709688$D75C619D-C0E4-4DBF-BB9D-AD4EAB80DE09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709688$F52D5DA2-CE04-454B-9FE5-0CFB76F0CB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709688$100DC438-3C91-4004-B976-87D3F103BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709688$A1BCAD13-82DF-402C-9C25-320A46F24ECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709688$EF8D38BD-490D-46C0-A54E-D1E724F2EA5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709688$46E14ED8-799E-4BF2-B654-7190F8F171B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0383740478a8327566aeb84dad9e57867fd93ad5","datavalue":{"value":"6856638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709688$80C115E0-98FD-4235-B529-28790C28AEB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb74fe8880e0170d1f6b13203e37bfe2a12bda1","datavalue":{"value":"extended first epsilon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709688$69C24070-E13E-4753-B0D4-5AC790120FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d900baeef5145cbd90ef3e349754a59663bfe112","datavalue":{"value":"Herbrand disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709688$70983892-CC52-4271-850C-BE5DE01DA386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a613dd81fe2942e8dc7f7f0de6dd8290657e9fd","datavalue":{"value":"epsilon calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709688$9A762EC0-8B20-4152-8FC4-5CAE85623CC4","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":"Q1709688$02C82329-E048-4869-BE5F-EE36011DF2B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6937c83f1206a3b3fef72c2915973365744df3e6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72056-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709688$C577CCFF-2F91-42FB-BD60-6D11BE4C18A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d486131dce473c81b3c9bb728258fc8521f9776d","datavalue":{"value":"W2768246366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709688$34BC445D-365D-47EB-93F8-4B70B367569F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d982448dc96e8c77f91ea59f0666b2630af1483","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"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":"Q1709688$62DFCC93-98E1-4762-99B2-C5B18DCA64FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f57ae9a0eb625b12ef643043b0fdd958bbea59","datavalue":{"value":{"entity-type":"item","numeric-id":1023053,"id":"Q1023053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff5f91ddececa9f4324b90bc5d54029256d1fb2","datavalue":{"value":{"amount":"+0.8002814054489136","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":"Q1709688$5E8911E3-72EB-4537-B182-FB0CFDD407BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98bacb96eb60eb32bcb515522f2218ac0cd5c30","datavalue":{"value":{"amount":"+0.7761176228523254","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":"Q1709688$5C15D1C5-5938-4078-BCAC-AE22285E6080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95330b6380a0d5189187a11071d582fd9182a70a","datavalue":{"value":{"entity-type":"item","numeric-id":2502163,"id":"Q2502163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2c13fef0e7840106ae34cab0b2e87345a59389","datavalue":{"value":{"amount":"+0.7708902359008789","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":"Q1709688$A0A920BA-0AEB-4980-932B-C1341CBA6DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cef1371f5589bca272d96aa9ed40568be4eab73","datavalue":{"value":{"entity-type":"item","numeric-id":1987218,"id":"Q1987218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a060aa18ffda2467b9be1e97e101024cb4824c","datavalue":{"value":{"amount":"+0.7670241594314575","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":"Q1709688$72A10D38-B873-4AE3-B315-656D975D722B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sequent-calculus based formulation of the extended first epsilon theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sequent-calculus_based_formulation_of_the_extended_first_epsilon_theorem"}}}}}