{"entities":{"Q1407600":{"pageid":1418340,"ns":120,"title":"Item:Q1407600","lastrevid":67372542,"modified":"2026-04-12T17:11:21Z","type":"item","id":"Q1407600","labels":{"en":{"language":"en","value":"Contraction-free sequent calculi for geometric theories with an application to Barr's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982522"}},"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":"Q1407600$C1CFD775-4CDD-42C0-8E9D-64096108CE23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb9018165b623923073466ce19c65e53509347c0","datavalue":{"value":{"text":"Contraction-free sequent calculi for geometric theories with an application to Barr's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407600$7126D956-7EB6-47B6-BD34-B7004F5F8536","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4aacfcd4f4563bc42f57dbddabd1a4b82355dde","datavalue":{"value":"1025.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$750CDAB5-410D-4B66-B2A5-4943EAF5B2BD","rank":"normal"}],"P16":[{"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":"Q1407600$6E975A5D-75BC-4FC7-A1A7-7CAF16817824","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407600$D6B560A9-FA96-42E7-B65E-8969EE8014D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407600$C6B3B8EB-29C3-4952-A93A-3B917D5E5972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$414816D6-A438-48FC-B03D-B663FA70E772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$0AB8C06A-826F-4838-A779-55BC2C677AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$C80233EA-E728-4BA2-8192-D88C75EF9E44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"041447d4231e0d26707db22103009a2f9272c519","datavalue":{"value":"1982522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$2FD6EF94-141A-4A8B-B1FF-F421EA95D7EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdeced48c614e1ed9a40a571266e7552f9d4996","datavalue":{"value":"Barr's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407600$EE79736E-C297-4447-8C4C-7DACE0EA440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c4cfe9d617ef48078c73a5a9a5b2f3b1283559","datavalue":{"value":"geometric theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407600$0E4E95B2-5FB4-4B19-86A5-41DE7DCC5BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dfc4059931d82d563af3dc5f9d0640f3c44df","datavalue":{"value":"Robinson arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407600$B2F50B57-201F-4DFA-8A4A-642A4F5B2600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407600$20AA9065-B64F-4A52-B51F-D1BBC1DD3581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abac5ee5ce88f5f2e783f49c9982664c05f6f59d","datavalue":{"value":"geometric implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407600$DA0A3A2F-A785-4BD1-963E-377ED7FD3FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407600$3B6456E6-36EB-4A9D-88A9-0945B66D04CD","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":"Q1407600$C6B6C9EB-B050-4AA7-8520-B6357E6C2444","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59be385de9116e2a76081ae82f5ffe0f11fbffd4","datavalue":{"value":"https://doi.org/10.1007/s001530100124","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407600$F331AC61-F909-49B7-BAC6-A15C471F9408","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"234b241b3298783a2c9b6c7816b70cdc5836cb3a","datavalue":{"value":"W2041585656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$513D673E-EA0E-4FAC-8634-982CD05673BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da05d2e373886ce3cb8d2e765ddcf6741c98a723","datavalue":{"value":"10.1007/S001530100124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407600$A38F2FF6-88CC-4FCD-827E-E175A60BB608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fdaf48cf2f62c820580086853b3c8c46068226","datavalue":{"value":{"entity-type":"item","numeric-id":5221863,"id":"Q5221863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0403ddc6ba620a2bac53000406326661c9bd9dcf","datavalue":{"value":{"amount":"+0.8027297854423523","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":"Q1407600$02B36D42-95F1-4ECF-A8A0-750DDA02D660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4632e125f4208a23ee01f9709a6a7bd86e6e6e1d","datavalue":{"value":{"entity-type":"item","numeric-id":5215789,"id":"Q5215789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52513af3b2db6c2f55023d778fded8dca7ac0b0f","datavalue":{"value":{"amount":"+0.7548655271530151","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":"Q1407600$9A9868E8-806C-4FE6-9D8C-C9E897074451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7309f5abe6c6c959cb5d8cad420198bae933d237","datavalue":{"value":{"entity-type":"item","numeric-id":2743638,"id":"Q2743638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe1157115f2ae9d918ce04a20caccc19e3839ab","datavalue":{"value":{"amount":"+0.7430129647254944","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":"Q1407600$256C3ABE-3792-4C24-B81B-2AA5AB88EB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc88ee9e3471d08d60b99865d983c66b2380185c","datavalue":{"value":{"entity-type":"item","numeric-id":5739973,"id":"Q5739973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29aaf40c5a4e7abdd66e2cad4931f941704029a","datavalue":{"value":{"amount":"+0.7363362312316895","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":"Q1407600$B1B75AB5-A818-4AF4-82C3-21014C818CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89155710b6e2357f5acf6e56c4462bc6488eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":4552743,"id":"Q4552743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64478c41056d44a85f6783b02f9dc7d484562698","datavalue":{"value":{"amount":"+0.7342232465744019","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":"Q1407600$92BADD54-E790-4DE4-9EB6-11DDAA657400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contraction-free sequent calculi for geometric theories with an application to Barr's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contraction-free_sequent_calculi_for_geometric_theories_with_an_application_to_Barr%27s_theorem"}}}}}