{"entities":{"Q1919548":{"pageid":1930290,"ns":120,"title":"Item:Q1919548","lastrevid":46396299,"modified":"2025-12-24T17:07:01Z","type":"item","id":"Q1919548","labels":{"en":{"language":"en","value":"A note on full intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 908475"}},"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":"Q1919548$BC0BC3BC-20B3-4ADA-A766-6B29568DFC33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2cbbf60ff90ddefb5d911b71876d41eb9df20fc","datavalue":{"value":{"text":"A note on full intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919548$71C969CC-D28B-40E4-B6FC-C4BD8CC4AA2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"830152b575998ab84fbd5cbf1b0bcedf45c0757d","datavalue":{"value":"0862.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$22082448-C5C0-46CD-9568-14A595D364D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7752a75ac21041ab9c982d09484049fe4b74acb4","datavalue":{"value":"10.1016/0168-0072(96)00004-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$738943D0-2AA7-4C6A-B210-5D760A32144A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919548$1E9896E5-E3AC-453D-AFBB-DD82E0759677","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919548$F6C6535E-46B7-4CF4-A112-7F5FFE91267B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7885d64aaaf481669cab5d69603c228d36f410","datavalue":{"value":{"time":"+1996-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919548$DBD4228D-1C6C-4F16-99C5-402343C50D01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$C9DDF611-8422-4302-9884-7BAE98AE0B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$0EBCA762-67C1-40F6-80C4-54BD6F051834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$D5F348D6-C1D9-43DB-9088-78FCBE44C702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f792cf95edc68fc75afe7aa6d37554057f67c7","datavalue":{"value":"908475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$6C3A4516-C95B-4373-8EA9-AB5ED6CFBC20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55161998414f766e758bdcdfe8e008b5d310b06","datavalue":{"value":"full intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919548$6396B4DE-3813-42F9-A968-F80BF4ADAE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919548$37F778EF-5D2A-4D69-9A61-15826DF626BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3a4134a14189694b76416ccebed15be1ca2af8","datavalue":{"value":"patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919548$A0352173-CB74-4ED1-871A-BB3F6580FE99","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":"Q1919548$D313DB13-0EAD-4D21-82BB-1BDD0A511CF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3a7232b7b135bb0b72f32fa69df8726cd665223","datavalue":{"value":"https://doi.org/10.1016/0168-0072(96)00004-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919548$A2706639-B4A1-4C16-A7CD-7BB5FAA59FB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"799a5eb283e34cf699cfc3c54a300474df438aef","datavalue":{"value":"W2065261777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919548$B4BF1A78-DC62-4ECC-8509-52A864CAF137","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fbdbd74ac1072771d7af15d76366572f6c6486","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919548$905050B6-B3D2-40DD-9083-F2E3A12B27C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919548$E877A8FF-F78F-4C65-B12D-8401D593FD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919548$A9530D20-33F1-45FC-BD5B-0284C16BCDEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f607e250f50caf4c7b52cfb36d2a26db26002fd","datavalue":{"value":{"amount":"+0.839599609375","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":"Q1919548$09D7B2B8-E7FB-4768-AB95-96A718056754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609b596dec98d72c061d1f01d25a655960e7c57","datavalue":{"value":{"entity-type":"item","numeric-id":5283420,"id":"Q5283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c361440267b049d47fa47690bd2a728dee9f502","datavalue":{"value":{"amount":"+0.8266915678977966","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":"Q1919548$F77A5F9F-1922-4C8B-9776-2805CC3E2107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfca72fda834ef5e650dd7a0a20b8230804bb856","datavalue":{"value":{"entity-type":"item","numeric-id":4218928,"id":"Q4218928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ed6b32fd7326411fe70339346d1500c3dbaf77","datavalue":{"value":{"amount":"+0.8241157531738281","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":"Q1919548$453889EA-ECEC-4537-A0EC-3A452D40F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d76559852f85106058946698b7bde9e587d4a7","datavalue":{"value":{"amount":"+0.8219092488288879","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":"Q1919548$39455659-E4C1-49EC-96BA-8FDF76A955A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1919548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1919548"}}}}}