{"entities":{"Q5111901":{"pageid":7141475,"ns":120,"title":"Item:Q5111901","lastrevid":40882513,"modified":"2025-04-13T17:48:53Z","type":"item","id":"Q5111901","labels":{"en":{"language":"en","value":"A Semantic Proof that Reducibility Candidates entail Cut Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205329"}},"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":"Q5111901$13710915-E87A-4548-9811-C95ABDB8AC8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebb78dd574103309d6791ddde04779666b868401","datavalue":{"value":"1437.03164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111901$C18115A8-107E-4AD9-AD48-8D0339AB783E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bae40e2d630d71ea8b9d388f9791557a54f23de","datavalue":{"value":{"entity-type":"item","numeric-id":701128,"id":"Q701128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111901$9C9E8EEA-CF24-4ED7-9F17-3143F75C559F","rank":"normal"},{"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":"Q5111901$D57F3AB9-BAAE-44E5-B9F4-A233C75005B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111901$88B42CD4-448E-4E6F-9A60-470BE7059912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111901$F983F51A-93AA-4881-89CA-6FCEF91EB4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead7dc1771c1c2e01406ae4a933539445153d449","datavalue":{"value":"7205329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111901$400CF551-D564-498A-A8AE-987FD4779AC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111901$E738F8A7-A697-4927-8687-C3315C767524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d35f71b2feeef33ab46de91b2f82b629e259d0f","datavalue":{"value":"reducibility candidates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111901$D13A72F8-4118-42FE-8BB0-98CAB2F2CA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8114ba2447a4b2ba0643145584394c093332fb5f","datavalue":{"value":"(pre-)Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111901$94C51AF9-211D-4411-8177-630A74AA619C","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":"Q5111901$FB618548-9BA0-4FE1-A348-111BB3A7127E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5f1a84cadfc84e614860a98453548240ceb0180","datavalue":{"value":"https://hal-mines-paristech.archives-ouvertes.fr/hal-00743284","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111901$7CB21F95-D9BC-41B1-B380-10D0A48390CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c0a9151d69f76917aa6b70efc661071baaf6b2a","datavalue":{"value":"W2247658575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111901$F28C38DC-E8B6-419D-A112-04702DF6DEED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b230a805f0bea5e6e3af40201c573531eb907320","datavalue":{"value":{"text":"A Semantic Proof that Reducibility Candidates entail Cut Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111901$CE38DB3A-B024-4695-B0A2-3FFC9D1B45B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"211d0692b1407ffbb1e0b8a947bedf0807ae571a","datavalue":{"value":"10.4230/LIPICS.RTA.2012.133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111901$97E04B4F-3438-4D27-9AE4-8ED5AA9133D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e591e8f1661a0a691b909d13ac0d3c3b0cb3082","datavalue":{"value":{"entity-type":"item","numeric-id":817704,"id":"Q817704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8160d420ed58a45e2a0fbb2e77df510db12f3bce","datavalue":{"value":{"amount":"+0.9132005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$63E9C4DC-0E89-4775-AA79-8D59C01F24EA","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":"d0e9b1ae46d1cf65fe46c82e8c2c0a1446fa6fc9","datavalue":{"value":{"amount":"+0.9106923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$2468DD04-7E4F-4183-AE01-1E3CE85BB6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b2fb88918aade64896d1a70f828d66cb36cf93","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34822d4476c5759b34e2a78498313b372f4befa2","datavalue":{"value":{"amount":"+0.90996975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$AAD77A0F-15B8-4417-9F4B-DF7A6382161A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d7bbcb8d1a0b66f096649e39c7362a0a92b2e3","datavalue":{"value":{"amount":"+0.9051512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$BE1DD28E-4DFA-4F78-8DE5-DA7F0E0B9256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88af53eef63a59d5fabb5490f6b485b485a1b76","datavalue":{"value":{"amount":"+0.90039724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$B7592725-6A15-4B30-8579-D5786A3C88A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802e8e091a110467094e11a81c45123341e4867","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d2e99f881dda0672f5ed87c895201c20cbe4b3","datavalue":{"value":{"amount":"+0.8965514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$2A3090EE-BA09-403F-93ED-01A6830B2812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825978af4493bf09c69ca57b64a5c7520885849","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec75a4444691308e4a53a8dcdf6272b96c4e9548","datavalue":{"value":{"amount":"+0.89351416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$81B8C002-8865-4F78-BBDF-13DCE909AEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cc5a3e85b5f0985a1d4f38d2e9688a67ba379c","datavalue":{"value":{"amount":"+0.89162207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$B91F4878-2C39-422F-B1B7-C7CF3B131DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49fdb116f128089026fa817d4b97b833b3a9128","datavalue":{"value":{"entity-type":"item","numeric-id":2312091,"id":"Q2312091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d654562dae6b1cac65152c6e7187782d745b080","datavalue":{"value":{"amount":"+0.8791238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$70714617-523D-4E29-8A3F-A1F7A54A7C66","rank":"normal"},{"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":"9fc3c4b1b1daf23c5c36d19185e7053419babfda","datavalue":{"value":{"amount":"+0.87873125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5111901$4EC2A058-DAB9-42E4-A82C-337468CF3324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111901"}}}}}