{"entities":{"Q6582087":{"pageid":14193243,"ns":120,"title":"Item:Q6582087","lastrevid":95581808,"modified":"2026-06-05T09:20:11Z","type":"item","id":"Q6582087","labels":{"en":{"language":"en","value":"Constructive cut elimination in geometric logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7890957"}},"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":"Q6582087$72EFB5B0-4682-4845-BE6A-837D8F148679","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86b2128a98dacf36fae23ad46611f65ca64d28a8","datavalue":{"value":{"text":"Constructive cut elimination in geometric logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6582087$4135427D-984F-4F6F-A703-B0E676DBE277","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"484a54f76c0e5419af19f34cb81edca068ef7d0d","datavalue":{"value":{"entity-type":"item","numeric-id":5085857,"id":"Q5085857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582087$F206FCBE-D15E-47CE-A5AB-EF8ED6D62F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582087$86612BDE-9378-46C4-90C5-5C09EE0828E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6582087$0554A4E5-2AE5-4F52-8E09-539DFBF4C06C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93497291d8ba3cd4ceda2bd397bb8743ea86f872","datavalue":{"value":{"time":"+2024-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6582087$12C31D54-A79F-442E-99A8-94296DEAD5D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582087$EA92C042-4DB0-4006-AF5D-3A940C0D23CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582087$1CA631A7-C667-4E09-A431-1ECC44B196EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6954ad645b5f8e22b1c928afc2d4127165dfbcfe","datavalue":{"value":"7890957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582087$D7C3D2F4-C782-4BBF-89B9-55BAC3709A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c4cfe9d617ef48078c73a5a9a5b2f3b1283559","datavalue":{"value":"geometric theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582087$291BEA8F-E0A3-4070-B006-12CFF5599824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582087$2EF1BAAC-71BD-4301-BF2E-8CC878907401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5f9092316c2b74b9d067e1064ef6f638850e54","datavalue":{"value":"axioms-as-rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582087$A11CB1D9-9A6E-4872-A9E6-38F7B69F241E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582087$E1620ACE-2180-4F93-8952-14373675D8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2e899c855b62362253ed9a180ce5d6ccb59eda","datavalue":{"value":"constructive cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6582087$B16914B0-59F3-4FEA-B2D0-06F0875C2C6E","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":"Q6582087$6651D06C-AF62-4A63-A2FE-5B3B83E9AE73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c922e850bc460f1359f0889b8819d233d3b49e8","datavalue":{"value":"10.4230/LIPICS.TYPES.2021.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6582087$F0D3C80C-F012-42F0-9973-370A5A69F5EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive cut elimination in geometric logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_cut_elimination_in_geometric_logic"}}}}}