{"entities":{"Q5946340":{"pageid":8123142,"ns":120,"title":"Item:Q5946340","lastrevid":47686243,"modified":"2026-01-02T10:38:48Z","type":"item","id":"Q5946340","labels":{"en":{"language":"en","value":"Linguistic application of first order intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658683"}},"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":"Q5946340$EBE5BE59-F14E-4216-9110-EEDA3D021E7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"026e1f87d128f33a096871e8fe987f8502f6727c","datavalue":{"value":{"text":"Linguistic application of first order intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946340$84A77359-C433-4F6F-B59C-DD67A168C8A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"765b9c87521ea6e2244f4f1657657c4b88900b37","datavalue":{"value":"0984.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946340$8F39A13C-B65B-4B3B-B7EC-B9738D5B5FF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ed184e110e50138f14a86af67abe21b2830e0b2","datavalue":{"value":"10.1023/A:1008399708659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946340$A6A45F78-0ED7-4D0A-877D-22EC401D64DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c8e4ba0b58a129ed46d035cc59c9e704a0266f","datavalue":{"value":{"entity-type":"item","numeric-id":209449,"id":"Q209449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946340$BC8AE0E0-53F9-47D6-A3E4-EA432CA0BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946340$90335A1F-C934-4624-A379-EC688B482B8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946340$D5085713-DEAC-4F8D-BA43-F379093E9523","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56876ee84a98428ba4911e3b2022b1c24eab272a","datavalue":{"value":{"time":"+2002-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946340$7763FA8B-27C0-4E7A-99BD-23A88DA324D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946340$95DA5076-2633-42D6-9958-709A9B2B6C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946340$7BB024A3-94FD-417E-9A64-1D63D0E13DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946340$7938DF46-2D41-4DF0-8D75-84601B652BC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d73a803d67bf48b5c86a9f50e2f3a117c2444bb","datavalue":{"value":"1658683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946340$8445F2D0-2188-4BD2-8501-618C9EFBE9BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd1a12e4d805d99b22f5a08ed20cbb9a870d53ba","datavalue":{"value":"embedding translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$6A598D3A-9916-4CDF-96C3-9E58C4D505CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201ab116ea7f89d4b7015d3f7290887beacba505","datavalue":{"value":"locality conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$ED0490BF-13F6-4321-B4CB-802471CD0D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$1245909C-4AD8-43CD-9810-568DEFF9C1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$701A0A9E-D5CF-461F-B6FC-264B4A2680E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35340053930734d8c8eb64ea9d78a044d3cd1557","datavalue":{"value":"quantifier scoping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$12B33617-DC33-4EC3-B313-A7384D85CD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06059c11269d258bbccac60c4e9a619d8f9e5b9a","datavalue":{"value":"relativization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$538661FB-4D62-435B-8DAF-3BA2B2062F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd94900b5b92cd0c8ad16be8c031c1991459089","datavalue":{"value":"first-order multiplicative intuitionistic fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$B0D6499D-C63B-47AF-B41D-8D011CC5BEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b525f6937f669e15c694ecc9b4556d4b6c22d5","datavalue":{"value":"applications to linguistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$605516EF-8EC9-45B6-AF9C-D886D46CB846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946340$E04B45B8-D3EE-40A3-BA45-F67F4483006E","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":"Q5946340$9F9BB3B9-D98E-438A-8C72-B0707A15380C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf5d0bce541b18caf14c21e6c0f8f2c35df99369","datavalue":{"value":{"entity-type":"item","numeric-id":1361403,"id":"Q1361403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81422ee7d66c18b4b228c4a69486a88406f24b6e","datavalue":{"value":{"amount":"+0.7886552810668945","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":"Q5946340$021A32AD-8486-4D56-A926-6B92CB36D360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563f5364aa31a7119cfcb3245fc922223964f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":700787,"id":"Q700787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9beddeb47fc2afcf605ca48da94c40f201ba93","datavalue":{"value":{"amount":"+0.7873051166534424","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":"Q5946340$708BB98B-9C1A-40D6-AC1B-6E1CF328A7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbd35f8ff65f7c2b7803f81bf9ab9d196bbeaa3","datavalue":{"value":{"entity-type":"item","numeric-id":4263081,"id":"Q4263081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e750c9529ce8aa104912076f1fe88632c5f99e5e","datavalue":{"value":{"amount":"+0.7662770748138428","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":"Q5946340$B41D5009-1B41-4FA4-96E8-9674DDE19666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa3463e9ae63c8fc7ebd9658de0da5ab38f712f4","datavalue":{"value":{"entity-type":"item","numeric-id":5414971,"id":"Q5414971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ee5ce430735b1433a07f92b827126c18154d17","datavalue":{"value":{"amount":"+0.7657122611999512","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":"Q5946340$CC955B94-C009-489E-AE3D-78745E675AB7","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":"bcff65755391649759137c73b9a5c9958b9e8518","datavalue":{"value":{"amount":"+0.7524524331092834","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":"Q5946340$9FE23BB0-4F5D-494B-A46E-95405AC7665F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5946340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5946340"}}}}}