{"entities":{"Q2142068":{"pageid":2152811,"ns":120,"title":"Item:Q2142068","lastrevid":43591813,"modified":"2025-10-28T00:53:34Z","type":"item","id":"Q2142068","labels":{"en":{"language":"en","value":"Basing sequent systems on exclusive-or"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532512"}},"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":"Q2142068$FA548942-6935-4E1B-A689-A57A79963A41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8d891bdf0520b15e3d3ce82015537958bf62fdb","datavalue":{"value":{"text":"Basing sequent systems on exclusive-or","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142068$4261BA89-0019-48B9-A6E8-2C4B4E72581B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96ad393d99bbdfa9ade9b8fe5f737b67a5a4fa20","datavalue":{"value":"10.1007/978-3-030-86059-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142068$6C33BFA1-31B9-4ABB-A2AD-4444C4290E87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$CA92C6E8-6F97-4FB8-8A35-1C786C6451A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142068$1A48444E-2C5A-4A61-B1CC-7BC237A0604A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142068$B42EB0A3-FC7D-48D4-B9B8-1B1CA6B00006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a7a618e45a99c46122dc20dc58e407b40726dc9","datavalue":{"value":"7532512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142068$A75AA12F-6BE3-4C73-8BA1-781918202555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8f7fb49da4f6c57f67b9d864ea83159503a938","datavalue":{"value":"analytic Gentzen-type proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142068$6EAA3850-840F-4E56-BDE1-2408794DE556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142068$B89C3125-3547-451F-AFC4-AD0B657B876E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142068$FBA22F6A-1978-4197-9B61-CE11C65166D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142068$F3287BDA-BBB9-4D19-B13D-749A85B26A77","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":"Q2142068$5D857643-E264-4B91-9ECF-A21F607F36AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcff24a28ebbf417961b4a494f4fcf5f1febc31f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86059-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142068$8B7F3B0E-7F00-4A9A-AD9B-8B8CE1A8E180","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1179355ad5aa1bee251c8ecd79ad110d238f42f7","datavalue":{"value":"W3196476495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142068$F3054BDF-FBB7-460F-A560-E2542838FD09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$66EA446E-1677-4BB7-B004-E0A5F6F9E90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$5CC67457-BB8E-4C86-BF8A-DCA35E30EDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$C1A4CA59-C53F-4CE8-B7BA-3074A05A8696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f4af52dc17aee418b6660733cb0e59997b824","datavalue":{"value":{"entity-type":"item","numeric-id":5059689,"id":"Q5059689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$D2C767BA-226E-4F22-B223-5C35C5EF4010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$EC011D76-4791-49B7-A477-85D83B617C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$BD335E92-E8AC-42B9-B8F3-4F498B22F4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a2c068256820a921d39fac45cd728ef4b2d004","datavalue":{"value":{"entity-type":"item","numeric-id":1230771,"id":"Q1230771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$804C720E-635C-44A0-A0BF-6424EBA25DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$D6C019FC-1498-4027-A1CE-70B75B0BD84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd400ffb6283df44f2928b11447f62592a868d3f","datavalue":{"value":{"entity-type":"item","numeric-id":5766348,"id":"Q5766348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$1A7FCB05-BDFD-444B-9757-7C3B69D7F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c666e3fcf0629d0f49377167cb83d1390f2a022f","datavalue":{"value":{"entity-type":"item","numeric-id":2543317,"id":"Q2543317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$2366F9CD-A108-4361-B09B-618D8BBAB82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070969458b7dabde1d7588493fc368a6ec2b81","datavalue":{"value":{"entity-type":"item","numeric-id":4789456,"id":"Q4789456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142068$1C1C26F7-5534-4DA9-98A2-953154F4A14C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2142068"}}}}}