{"entities":{"Q6970282":{"pageid":21324756,"ns":120,"title":"Item:Q6970282","lastrevid":84048188,"modified":"2026-05-08T19:25:34Z","type":"item","id":"Q6970282","labels":{"en":{"language":"en","value":"Non-elementary compression of first-order proofs in deep inference using epsilon-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053978"}},"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":"Q6970282$601E4597-DD46-44A4-8083-AE8717AFF752","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05c852759ae1bd7d41cfabadc9a2bf1cedaffe19","datavalue":{"value":{"text":"Non-elementary compression of first-order proofs in deep inference using epsilon-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970282$FA569C24-F161-4BA1-9B92-FA771C05A2AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aaf1b280d524d95376edd1309a1725f67526fc0","datavalue":{"value":"1573.03419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970282$D136F96F-4DFC-4B6B-9D32-65B74CFC65D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6503d5c3674dcd13fd9e75df2622890ffaf57ff7","datavalue":{"value":"10.1145/3661814.3662101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970282$6FC14351-E71F-4C35-9D31-0A82A097E795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ec7ef01954ccf2fe97106ec47684ac792008a5","datavalue":{"value":{"entity-type":"item","numeric-id":6970281,"id":"Q6970281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$F319CF57-4BE9-4453-A3E6-A2F19F66831B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970282$58A8C799-2F3E-45A5-807F-9787AE50BCCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970282$61BDF44D-52E1-4560-BC65-E574236D5E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970282$975C4D3D-8184-4C8A-BC11-C0BEC7EA8895","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd825d5d669557a02324a6d83a21bbfb6bdcce4e","datavalue":{"value":"8053978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970282$D943D323-6E93-46D7-9CA3-4B115C0A1EAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970282$9C8CE949-0ABF-4A1A-B43B-4B22821D1D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4d40cb36ffad77df38cd06507243b75f5dc998","datavalue":{"value":"epsilon-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970282$0B62851C-6F64-4EA7-95E8-B880BE6225C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970282$0594A9C4-2806-4120-BAE7-35F9B48BCF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970282$0D041BEC-DCA0-405B-A4F3-3BE1288010A8","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":"Q6970282$B505A2B2-044A-4A60-9967-1329C4911EB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"637eba88da2d88f86ceac920b311ab22b3bb4ab4","datavalue":{"value":{"entity-type":"item","numeric-id":1987218,"id":"Q1987218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$BC6347CE-9D3C-43B7-8294-2CA80E25B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b20e64309aa4bc4429fc1aff3c5454eb9d97ad","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$68A63EAD-1FE3-4E75-8A16-4BA418CFBAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1989b861b6c67bccc3b5efc419ab87a2bf34e710","datavalue":{"value":{"entity-type":"item","numeric-id":5079725,"id":"Q5079725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$D52CD484-6C0F-45FC-B693-066B5C99522D","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":"Q6970282$E69DD2CC-5A4F-4847-8FD4-C5D3370696D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$96C9D434-B6D0-4F31-A94E-7F2710C6E885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95b24bea94950afb4edb4a66a029b2090939f2e","datavalue":{"value":{"entity-type":"item","numeric-id":1709688,"id":"Q1709688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$7372CD6F-275E-4D84-B7B6-673DA2CFEDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50ae572a2880148ef669dedbef2bbc11df3066","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$7527C070-CD43-4B5E-AAFB-03E9419545A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c694a926a4541db3d8f9dad5bdeacfa898716b8","datavalue":{"value":{"entity-type":"item","numeric-id":817702,"id":"Q817702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$0CEC4DDE-5596-424D-81EA-50C1DD173110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cdb8f52c8b11d8395070407423ccbd16a1d5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3367318,"id":"Q3367318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$4DD5CC3E-7CF2-4FB0-B622-837C1E3CA655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$A6C09C38-7778-407E-9A15-422D38B87970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b682b3d610b7f1c0e51a3b82a067c0a36847b2","datavalue":{"value":{"entity-type":"item","numeric-id":4530611,"id":"Q4530611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$0C19C21D-97F6-4A5E-B04B-84AE28C7E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98492c4789301c3cc74d78c8a616826720096e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$3DFD248D-5266-4CF0-A3CC-D489A8228415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$BCFE4AFA-02CC-4201-B442-0E0CFEFA6EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf499e29c0e8e2f018546e104c07e47e84ff64d","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$2BE2EE9A-1BAF-43EE-9838-C1BB74F6D50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5292c81996c3eb9c9cb0511bf1659b1e176124b","datavalue":{"value":{"entity-type":"item","numeric-id":636369,"id":"Q636369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$74A32758-24B6-4ED4-9AD1-A6D01BF4EE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b59558a363f3c3f17ba59b606affa1987e49f7","datavalue":{"value":{"entity-type":"item","numeric-id":1830453,"id":"Q1830453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$4E34BA89-E9E6-402A-BCB0-2614083F4E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5f1f3a9333bb97164d25bd3aa76b2d1094acef4","datavalue":{"value":{"entity-type":"item","numeric-id":6651950,"id":"Q6651950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$4DAEB0B8-37D0-4B02-8D9E-F1A29A49030B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$CAB84B31-0A8B-4A00-89BF-1C73D8626CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$91D0217F-03EF-4830-8FB8-91E47F2C2B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc032892d4a94b13a994202edfb25cb5d8b8a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":2946689,"id":"Q2946689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$80BD1C87-266E-4CD5-8713-17E2045BB443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$430AC3E8-BD13-4993-B22C-3A7E650F51C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3277811d69f4dafc9c3d5db6d5d71af3fc6ba639","datavalue":{"value":{"entity-type":"item","numeric-id":1946675,"id":"Q1946675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$07D502A2-F6CD-4137-867A-0D81282FD2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427b7d29adc8c561b6419e4897fc0db7f82cfe59","datavalue":{"value":{"entity-type":"item","numeric-id":6178471,"id":"Q6178471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$E1411AF0-4938-4DBC-ADA3-92647AB38E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$92DE718D-3095-470C-8E5D-07FE2DC0C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a1e49dd449b29dcd474eb430ea2a6280a718a2","datavalue":{"value":{"entity-type":"item","numeric-id":5140333,"id":"Q5140333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$18512018-5C93-4C66-A070-D2257434370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$78E30706-479C-42C6-801C-26829B038684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$4FA7A652-136F-4A9E-A326-699E5064604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54fa82c3ea7723e51af93bb3b55f6886e7c2167","datavalue":{"value":{"entity-type":"item","numeric-id":5224489,"id":"Q5224489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970282$31AC3254-5890-49B7-B335-68825637664E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-elementary compression of first-order proofs in deep inference using epsilon-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-elementary_compression_of_first-order_proofs_in_deep_inference_using_epsilon-terms"}}}}}