{"entities":{"Q3984416":{"pageid":6014286,"ns":120,"title":"Item:Q3984416","lastrevid":46225984,"modified":"2025-12-24T08:44:09Z","type":"item","id":"Q3984416","labels":{"en":{"language":"en","value":"Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26195"}},"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":"Q3984416$79B46147-35A8-445F-97CD-4FDDD4305A47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d89e24b30378e1c1d1e3a482ab14bc06648e99ff","datavalue":{"value":{"text":"Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984416$63BAD72A-FD3D-4F6D-92A0-73871BFB41ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691fdd07acc648946be3b033882cb69eff51a87a","datavalue":{"value":"0746.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$61710BE1-01E0-471D-825B-AEA4E038615D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be1498c1d74a90d3222c4876e6d06e3eb752925b","datavalue":{"value":"10.2307/2275485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$2D2E1B83-55D5-4CCC-A064-E8C4500F4CF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984416$9C04C178-74BB-45E7-9123-6C2A6D0BBEE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984416$6933994E-24CD-4C32-9145-FDE5EFD5C86D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984416$DD000848-A010-4B5E-852F-C47DCFD56FC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$4B440A12-64F6-4870-8529-0D781A812D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$FCC1A644-B539-4F95-BBDE-3068FEF5BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$37583F14-B53F-4FBF-A62C-73349E819A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$81DF507A-2A23-43DC-97DC-D3D51F64979B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"549246ea418d351c7c4eae2d0ba6586035b23029","datavalue":{"value":"26195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$CE90FE5D-2941-46BB-B67A-BF242BC8B243","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c69420e617fd32bf6a4203f58356b04114a53c","datavalue":{"value":"noncommutative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$2C656C34-94EE-4E84-ADAC-5EC0C9EB3015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$419BFA45-418E-4ABD-95F4-1EF12910BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$5E1D68B8-5D57-4238-B125-B724D3D1088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad207cc04155e9c58b8c6527a70eabd6dadfc473","datavalue":{"value":"phase spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$84C03BB7-2419-494B-AE97-4EB3F4EADA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97806a568378b9de96da270a8903b51089b2ca4","datavalue":{"value":"noncommutative monoid with unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$C3394102-FEC1-4131-AEBC-005541541478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59145bd7759f799d1d713efbadb2f2684d81947d","datavalue":{"value":"two-sided sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$445EDE0B-002F-4134-9D8A-B8EAF313F91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$CFCB5CE3-FF72-4F49-B995-D2B969FDB729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$F0A22BEE-C852-4B5D-8CA5-AAFCE8F216CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$90F500A6-D579-45EB-8CE8-F3AC94751E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a602521768d4795b8ce801eaf970fa00075370dd","datavalue":{"value":"planar graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$0E0A2770-227D-45BD-AA0E-4CE76432C20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$156F1BBE-23CE-4232-99F3-1D947C6782C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b278adfed946d033bfa8beb0c86d12264a53ee87","datavalue":{"value":"one-sided sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$2E0E757D-855C-4650-B766-1DE9373867C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984416$1261040E-F4DD-4ED4-B7CD-3E690825B2D3","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":"Q3984416$48A73115-CDB4-43FB-A6F6-91CEDD42C51F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc34e3b218ac84d9a52b9af1e2c251ed24e0a528","datavalue":{"value":"https://doi.org/10.2307/2275485","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984416$1DFA9811-4270-45F0-9EA3-EFCD88FED5DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de37be7d3077d89a052be445cfd0045d9b2f601f","datavalue":{"value":"W2074070481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984416$413E1B9E-02D4-4426-B8A8-41D1303848A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed7831a70add7bcf12768da28495fb8aecf502","datavalue":{"value":{"entity-type":"item","numeric-id":3807268,"id":"Q3807268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984416$AA82F34E-DE1E-4B9F-AEEA-27D2CA8F36A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984416$14B1AAD0-4EA0-4A2A-89D8-81AED6412466","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":"Q3984416$3C8F3AB1-3656-4EDC-88D7-44FD80263357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42917be076bd4b0e5194f26c7ff7ab1fa4398f2","datavalue":{"value":{"entity-type":"item","numeric-id":1288431,"id":"Q1288431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37e720eac2430d1d9cc3ccfa5cf9857be5a6cf3","datavalue":{"value":{"amount":"+0.8878201246261597","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":"Q3984416$A4A52A03-3CA4-4F96-917D-79781B6B43F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a66ceca0078c8bda987450f05b35b87423076d5","datavalue":{"value":{"entity-type":"item","numeric-id":4487273,"id":"Q4487273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2191b262132c674dd45cbf6cb980546c4986c03","datavalue":{"value":{"amount":"+0.8531774282455444","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":"Q3984416$24E3D5E1-E24D-4D75-AF78-A44B84905B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6ce60e7bd25e886c1b2e1444e812fce1a288f2","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c475eac9607f969f9838a61c862fa055bfb7c9c","datavalue":{"value":{"amount":"+0.8410088419914246","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":"Q3984416$0198EB4A-E2AA-46C1-8198-478E8BA0F44A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984416"}}}}}