{"entities":{"Q3971583":{"pageid":6001483,"ns":120,"title":"Item:Q3971583","lastrevid":47038315,"modified":"2025-12-31T11:34:21Z","type":"item","id":"Q3971583","labels":{"en":{"language":"en","value":"Non\u2010commutative intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 9330"}},"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":"Q3971583$CADB8472-4752-48C9-B9E5-F1D34D9B5EA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4ea74f9762c70773fb050dad8739ad645cb55d","datavalue":{"value":{"text":"Non\u2010commutative intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3971583$567A7683-A3FA-4712-A68F-8F2C0589328A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"250736a93561273080b7e3777dfb8ef179df5a74","datavalue":{"value":"0810.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971583$F0CC49EA-AF68-45B0-BCC4-775954E6BE49","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":"Q3971583$EC64A5A2-F48D-425D-8B7B-0C1CBEA6AE85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3971583$69A1B286-3C6A-45D4-8F9D-0D75E6D42BDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q3971583$C255E68E-A66A-4802-AABF-735265AC522D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971583$6F8CFF38-5CEB-4A72-BAE9-0D4DF2AF8744","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d7d998c559b79dd77538ce12beaaf22fe93030","datavalue":{"value":"9330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971583$38948902-7C9D-4D51-B819-1FFB6F2FC78C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c99dbcf54571d04cb64a7f19d4fde0010ee902f","datavalue":{"value":"noncommutative version of intuitionistic linear propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3971583$7F27A7B1-BFD2-4C7D-8A59-3C7697E74764","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":"Q3971583$7E7C3F1E-8D79-4E80-BD7E-54362CFECA20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8ccc61656e8a292c7d7de7376bb704ec505134b","datavalue":{"value":"https://doi.org/10.1002/malq.19900360405","type":"string"},"datatype":"url"},"type":"statement","id":"Q3971583$4C0DA391-92FB-4DEF-89AB-071E09150166","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1454335faf3bc52f2ba82e0ddda768c6a6808b21","datavalue":{"value":"W2054571652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971583$6338A9AF-48DC-4168-871E-C402BEACE621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aed0ab022fdefc07118082cc05d64d7788c8a2f5","datavalue":{"value":"10.1002/MALQ.19900360405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971583$782822CF-458C-4562-A71B-E5F7DBC98DCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d1c2b19de5cd44607dad95709912ffb9103db9","datavalue":{"value":{"amount":"+0.8462204337120056","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":"Q3971583$54F236F7-0881-4211-BC8D-A5FE4BCEC792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef0edbaf833c64a02a989a312d98a4180e950d2","datavalue":{"value":{"entity-type":"item","numeric-id":5750847,"id":"Q5750847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade35c52f7ff4fe6eba05c1a6da9c3b2155638bb","datavalue":{"value":{"amount":"+0.8350149989128113","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":"Q3971583$D202DAAE-7E2E-4718-9301-67002D1E8485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992386b5c7846a62c5ba47bdbcb74781227e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":2774267,"id":"Q2774267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a7a23d24251899532174ba5ee8b7b26f11f5e7","datavalue":{"value":{"amount":"+0.8320253491401672","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":"Q3971583$4BC528FB-56A2-4E7B-B1F6-BCE3B2C8D898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82217944cbe8ed823007cb9824312ba60fa7d971","datavalue":{"value":{"entity-type":"item","numeric-id":1910723,"id":"Q1910723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23c120bffe69b989a4fd9418775a7e96c3b2ba3","datavalue":{"value":{"amount":"+0.8280494809150696","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":"Q3971583$A51709D3-9E1E-4324-8342-337DB11DA05A","rank":"normal"},{"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":"36c4d5c1c7af635a3183d684afd3741892543e47","datavalue":{"value":{"amount":"+0.8229216933250427","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":"Q3971583$175BF6F5-1C37-43AF-AE53-B7B8BDFC5056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3971583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3971583"}}}}}