{"entities":{"Q1991589":{"pageid":2002331,"ns":120,"title":"Item:Q1991589","lastrevid":57667443,"modified":"2026-03-31T20:38:11Z","type":"item","id":"Q1991589","labels":{"en":{"language":"en","value":"Semilinear substructural logics with the finite embeddability property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6968517"}},"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":"Q1991589$767AC28F-FFA7-4CF7-928A-9D61EC2A1234","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ac7ad3e285eeac915cf14ab5c3e5fe132f56b9","datavalue":{"value":{"text":"Semilinear substructural logics with the finite embeddability property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1991589$D852D49E-40B1-41AF-9385-1FA6E6FC63EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"905479670af881c5c144b0236e9f9444faf5abee","datavalue":{"value":"1472.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$E0729D35-4739-4762-8027-25D75347E2B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$74F422DF-4D64-472A-83EC-0F3A093069F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27fd87f869460ae6f756080c20fd059bca7dbd30","datavalue":{"value":{"time":"+2018-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1991589$249CC5DB-FD48-4D8F-BBA6-74720F1FE265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a93e4a88d3c66b626fc2412ad2757a19a453299","datavalue":{"value":"https://arxiv.org/abs/1608.04029","type":"string"},"datatype":"url"},"type":"statement","id":"Q1991589$C6A2439A-8E47-4357-BB40-FA5EF20D2106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$30EF6D11-DF70-4B76-8D59-B827383C247B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1bdd4f16c3aeb170f7a029744527559b7f1b57","datavalue":{"value":"06F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$8CDC56C9-8BD5-4B57-A2F7-32AED049ECDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$1943BA06-52AA-459C-B226-D8D190F3E8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$37331136-EA16-4C07-9FC2-6038AC05A9B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8113da99341f77915a19e6ace27ff83229518d8","datavalue":{"value":"6968517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$5E2AC4FA-44E6-4E02-9473-CED08B45B75F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991589$4F0F3349-E58E-4530-A4EF-E8DD604DDB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991589$FBC94D60-BB0B-4BA9-9625-F5D48B2FAA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b855c7e6cf6783b3e136fa87208ef32f4ff7","datavalue":{"value":"semilinear substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991589$97460323-09CB-4284-819E-2C23643FEFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5929c8a9e7fdd0d7009b64aed2f3b62e411259","datavalue":{"value":"finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991589$3307F761-648A-4FE1-892E-2D708D322CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991589$3109A8F8-C34D-4386-9F8F-4582A4097D52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$803423CC-278A-4847-8603-CB7D0F4C1950","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":"Q1991589$B48155EF-45C3-4D8D-9E55-6F80EC2630DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3796d62172f663bc532d1f28d00621129ecf12a3","datavalue":{"value":"W2962867016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$6C4EF7B5-DE08-44AD-B613-FDA4C60961B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$6CB8FA4C-02CA-4990-9B0E-8A474843C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$E8FC3D04-475C-4613-9469-9A5A146BD034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54d79f66135eba74c4f76773e17cd854c4b7c59","datavalue":{"value":{"entity-type":"item","numeric-id":2510712,"id":"Q2510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$C9EACF50-FB67-4976-AA72-6AC1781E97B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$A325140B-678B-4932-A68B-18BFE33E12E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$ECD9E071-58B1-4805-BAC1-5FB3EA58FF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$7BD19384-2C32-45B6-9B43-3B82EFA0DF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$75B06EE5-2369-497A-B316-8E36ABF95EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d12abfae0606d4328f96e653eed2c6b54d3080","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$C0F08BB9-366A-423D-AE7E-DF9088E057B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af79ddc601acc398c2585143ed2b809a318aa23","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991589$FFB7C293-81FD-4F5C-8741-B9E6AF88BE02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b1d716509c09a150cba76499b0ee8ac17512968","datavalue":{"value":"10.1007/S00012-018-0538-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991589$31F19BCB-3376-41BF-BC17-C4641434C3C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b0b404103529a7a5fae0900c271ac7b8cb3886","datavalue":{"value":{"amount":"+0.9369327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$B5E73B54-800F-4AFE-9BE2-D4899CD62C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d8d863addf67f18ba4690b0c90645d9398405","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc0755c8be5fd51b0f4ad6c8f09f0725faccb1f","datavalue":{"value":{"amount":"+0.9166503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$ADFC86A4-A6F1-4FCD-B2CC-0AE12DD22E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8464bab5a30f574750be428e653196b46b0e4d84","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b610289d2807e314c5d47bdf42bde151174e843","datavalue":{"value":{"amount":"+0.91497064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$E7F915D0-3A20-44DA-BF51-3808614BF318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61465d6691f2125cb4531bf938e94b6535d35345","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0ca2429d916ff6d467984222ca9e0023c79a7d","datavalue":{"value":{"amount":"+0.90416646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$09618BF8-4EB3-4D87-B466-858030DBA97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa53006ea0e21c190b6d3d7204a9f18b5c646b","datavalue":{"value":{"entity-type":"item","numeric-id":4511319,"id":"Q4511319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24247456d53cfe96a7186da4962169010a957a5a","datavalue":{"value":{"amount":"+0.9040903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$B0989B23-7F02-445E-A7AD-9D8F4D4A10C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18416042f5962c108dcde462b01c7bbd85aecb9","datavalue":{"value":{"entity-type":"item","numeric-id":4856959,"id":"Q4856959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ad3b8b1119a32519ea9d962491f0d53374de2b","datavalue":{"value":{"amount":"+0.90336126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$BB37A0AC-6F94-4B13-A052-6D8215037B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8550fccf3774e4120c1211d5dfe2270eb97c5cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4f02ceec5fbb93c971bdc6448b8a97d8c8c390","datavalue":{"value":{"amount":"+0.89827466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$CEC570F0-4D02-4668-9854-AE67E06ADCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4840b8733e50bee920e4e2b7ed7b66860474cf","datavalue":{"value":{"entity-type":"item","numeric-id":2350965,"id":"Q2350965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535e31dc2559216e6d157786704366451e58313f","datavalue":{"value":{"amount":"+0.8981768","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$51F2367C-87D7-42FD-AB00-29AD04FD3495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658a946495a3a1d6e02a3708614b8807c2a8c08f","datavalue":{"value":{"entity-type":"item","numeric-id":4928772,"id":"Q4928772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193dc5bdd1595fbba83630c385002eea5fb49bf0","datavalue":{"value":{"amount":"+0.8970823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$87561A05-0EAB-4E7B-A055-F6902BCCFE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d2e6afe9ba7f93671e1bd20c139abe7d2127a","datavalue":{"value":{"entity-type":"item","numeric-id":3505074,"id":"Q3505074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3ffcfce06032d9c2c183540e7a4ccabc1538de","datavalue":{"value":{"amount":"+0.8962885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1991589$2A8080ED-6EBE-4232-A199-DAEA3962E0FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1991589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1991589"}}}}}