{"entities":{"Q1398470":{"pageid":1409210,"ns":120,"title":"Item:Q1398470","lastrevid":71094825,"modified":"2026-04-13T19:26:40Z","type":"item","id":"Q1398470","labels":{"en":{"language":"en","value":"Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956195"}},"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":"Q1398470$5E462EF3-9C0D-4140-9C03-74FFBBC1941B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f36abf2eca05407485696e7d2a07e4e860620d","datavalue":{"value":{"text":"Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398470$BC19452E-0773-4C1D-A498-E41E5D23D92E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d12c67066eaddfbd6ececf8102f77edf9ecd71d4","datavalue":{"value":"1029.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398470$727D0620-A95E-4E02-8A09-DF86F56C15C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116a24093d7ba1c6a644575b67af10c07a05ae15","datavalue":{"value":"10.1016/S0304-3975(01)00137-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398470$BF38483A-65F7-454A-BBCB-58AD45F04895","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":"Q1398470$E4EEAB2F-A556-4CE2-BC0F-F8FAEA3777CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$0D5C74C4-FBED-4A0D-A8DF-2D3078948376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398470$1D4FD87B-EAA4-4449-8F6E-E3E2A4D3ED44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398470$5E3FDFC2-5784-49B8-9AED-6BB6C3B47A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0449fa2a05cf3948b0825546508ce966f36382b","datavalue":{"value":"1956195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398470$66A06553-6903-4939-B1F9-8D2882D07E64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398470$28B21428-ED99-4548-8699-C12D69C0F49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4e171e5dd1221112c43de55a1f1ca0b398a691","datavalue":{"value":"coherent spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398470$A9DAA973-D76A-4353-BAF2-4261040467B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398470$EB1A3C51-6E9A-490B-A129-98BBD547CBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398470$9EE746E6-75DD-44B2-83DB-B69F3E574817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750c07e6335bea8a69b6d3c9c9af52298a4a0f28","datavalue":{"value":"cyclic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398470$4B0A39CE-F3AC-450A-9797-DF0B9C7D20C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a501acc665dedccad8432666692269777dd59ab0","datavalue":{"value":"bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398470$8218077F-FC6B-4E82-BD15-1C0EDBDC33CD","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":"Q1398470$34EA8505-87F9-44FB-8191-A04A5C7FE7E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$FE165782-29D1-4DF9-BCC5-C682C2D9815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$2C391817-539C-44E6-BF43-45F6421DD4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8599710bad468da99fe0b722ca68c72d19ff93fe","datavalue":{"value":{"entity-type":"item","numeric-id":1575869,"id":"Q1575869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$F24B36DA-181F-4EAC-938A-1171F9D60847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$E4D3802E-196B-470D-ABE3-B3EC32516ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c16b5228ba36d185a67402cb5fe0cc058c500b","datavalue":{"value":{"entity-type":"item","numeric-id":4842967,"id":"Q4842967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$BD68F69F-FA83-439D-85D2-CD8CA15D487F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f28975659da5d1fd5caa98d60a11cabfeea54ab","datavalue":{"value":{"entity-type":"item","numeric-id":4487273,"id":"Q4487273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$A32F0826-7009-4EA1-9C13-4F975504F6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398470$6728A33E-E24C-43C9-B766-13DB43382982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81679dcb7a23ea966a6a4e99442be6b28a008d26","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00137-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398470$0693198A-AA6B-4BA7-B550-5B4007182C3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e0f4718dd3b90babab979c903398e8fcd06c24b","datavalue":{"value":"W1964062621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398470$9E04CC23-E492-4738-939F-AB699D684761","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives","badges":[]}}}}}