{"entities":{"Q6841005":{"pageid":18345078,"ns":120,"title":"Item:Q6841005","lastrevid":74398413,"modified":"2026-04-14T20:37:07Z","type":"item","id":"Q6841005","labels":{"en":{"language":"en","value":"Efficient interpolation beyond cut-free proofs: admissible cuts and optimized extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175046"}},"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":"Q6841005$554EBD69-AC8A-4BE8-926C-02FBAA242244","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f5f04664f6f462b88ffab70fea8cde180581e7c","datavalue":{"value":{"text":"Efficient interpolation beyond cut-free proofs: admissible cuts and optimized extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6841005$CFD00518-3084-4CD3-B004-FFEA8E98E2A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1836cc6883fd401e3791cd635692bdc9979f4045","datavalue":{"value":"10.1007/978-3-032-11176-0_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841005$57C55300-FF81-451F-9B64-98E45FC173F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"187072a15a76519d4b16d4b17f61b7e140801114","datavalue":{"value":{"entity-type":"item","numeric-id":6841003,"id":"Q6841003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841005$7053C1D7-6489-46BA-B747-2D3A5B280827","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":"Q6841005$0F8F0FBA-62C5-44DA-9A47-60F79B7279F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6841005$D1E13391-BF6C-4064-B09F-6268B58B3874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841005$7F9E1CA3-FF56-443E-AD7A-F64E95C5DD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841005$B475F2E1-BF9F-4FF5-B251-FACFE4113DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841005$9651B362-FE4B-4E1B-BFE9-3ABB108761FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa78d5fd0922afa6cb3ebfd51b9516e2ceca9f5a","datavalue":{"value":"8175046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841005$CFCBB431-4693-40CE-A1D2-775435C567C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841005$043F4E0B-44A6-4C4D-A958-AFF9385AAE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841005$C2A3480A-CC9D-4FA6-98D9-7189999F72D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841005$13FD88BA-37B1-408A-A8B1-FC3854DB0495","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":"Q6841005$7AF08EAF-BBE1-4E5D-BD21-A8C4363EF8B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient interpolation beyond cut-free proofs: admissible cuts and optimized extraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_interpolation_beyond_cut-free_proofs:_admissible_cuts_and_optimized_extraction"}}}}}