{"entities":{"Q3086776":{"pageid":3097491,"ns":120,"title":"Item:Q3086776","lastrevid":51217829,"modified":"2026-01-17T07:20:35Z","type":"item","id":"Q3086776","labels":{"en":{"language":"en","value":"Cut elimination in the intuitionistic theory of types with axioms and rewriting cuts, constructively"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872256"}},"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":"Q3086776$FDDE7B44-336B-408F-8796-425F4892071D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54aa5eb591688874fc159134251cf9980140a04f","datavalue":{"value":"1226.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086776$8E89E409-FC0B-455F-8E25-13CA6D527DA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086776$B64BD223-52A4-489C-9BD2-57FFD9918C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb2e2584ec127f9fe86cd3c038fd58b43032080","datavalue":{"value":{"entity-type":"item","numeric-id":511021,"id":"Q511021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086776$248D5D0D-0C1B-4715-9830-C58B60B795A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086776$5DE62561-66C6-4F20-B2FE-530D15095C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086776$FDA26990-9616-4ACB-9232-7730CDDE0BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086776$CB31F3FF-F79F-40F3-BBA2-7EE3ACB7B561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ee7cad27fc0c1dfd3fd5148ba90de7b9f075dec","datavalue":{"value":"5872256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086776$49B8944B-77BB-4FB3-87CB-BA0C30F713B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04a189edae9f553f5abbc14e92cd9d80edfb6f97","datavalue":{"value":"constructive semantic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086776$4BD80085-F98A-474F-BB7E-E81040B46788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086776$CB49F536-48A5-4A43-A623-E20B301F9D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d929f2bf2141a022fe4988fbaefdc99250971323","datavalue":{"value":"intuitionistic formulation of Church's Theory of Types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086776$E2A175FC-4248-4E43-93A3-0221EF7DB826","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":"Q3086776$6C235773-BA48-4524-B89F-1F70498D40EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823bf123ebe6faa90aff855086ed04687b1aef94","datavalue":{"value":{"entity-type":"item","numeric-id":3540178,"id":"Q3540178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14595b91babcc295ccf6843942399715acbd31b","datavalue":{"value":{"amount":"+0.9103878736495972","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":"Q3086776$2210BC55-1936-4295-94BF-340E6ED3DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e932e7760daaadb77d898716e1973b9a7d02","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ead5901c6e9588b0f99fcfda7ff6a0571b507c8","datavalue":{"value":{"amount":"+0.8595772981643677","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":"Q3086776$5D8F8AC8-0E67-4AD6-BBFC-B6198E0A42BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88abda89fa7b493a0837b9c49d87c7b337004c3","datavalue":{"value":{"amount":"+0.82137131690979","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":"Q3086776$760E53AA-0590-424B-8480-772E540677D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2397fade5c4f2cc3ab5fbe5a3a21d58401c456bc","datavalue":{"value":{"entity-type":"item","numeric-id":3553922,"id":"Q3553922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8884a65c012963c670a51359ffb681cd5600296","datavalue":{"value":{"amount":"+0.8058010339736938","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":"Q3086776$7CBFEAE5-B85A-4615-9D09-9B4DAF9B3217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f66a489876e1fc8fbb25b2934e6eaef2f2a678","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e777e6f8ff8f02c851110e68e921836741b2d1fa","datavalue":{"value":{"amount":"+0.786475658416748","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":"Q3086776$B4DBE046-8B2F-4C8A-A36F-5ED664A01A86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086776"}}}}}