{"entities":{"Q3006115":{"pageid":3016839,"ns":120,"title":"Item:Q3006115","lastrevid":45240592,"modified":"2025-12-03T16:21:46Z","type":"item","id":"Q3006115","labels":{"en":{"language":"en","value":"Cyclic Involutive Distributive Full Lambek Calculus is Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907057"}},"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":"Q3006115$EEAB0914-B35B-4770-9C13-41F108B72C92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00262dbad551a9925c0852c0a1e305835212591a","datavalue":{"value":{"text":"Cyclic Involutive Distributive Full Lambek Calculus is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3006115$20B329EB-2EAB-4AEF-98CC-998650533AF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e882af9b7aa1fdedfbd16985e5117484978d7963","datavalue":{"value":"1225.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$9F7DF522-9120-4B3E-B85F-B15333D0C0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ced0594bbc25ccbe3005458e38633f9dc7d32ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1015483,"id":"Q1015483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006115$916F54FC-8437-43F6-8584-DED7DC07A675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3006115$7DCC5C67-ED6C-44E7-AC75-F6E1C0ABF574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$14A8077B-0D5A-4606-81B7-C01D299CD0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$563E3D24-3147-417C-B5AE-C77E52226E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$2881D66D-2D01-4967-A5A3-A72297EE13A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"196e91f6a6e17e4342004430cbef731bf31b8464","datavalue":{"value":"5907057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$4971FFFE-E00A-473D-9A77-71374B1C7BA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$9CF98E16-9D06-4F56-A659-38857E756F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7aabb9504883ebf183df90a8cd6183bacb48e17","datavalue":{"value":"cyclic fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$386C1141-2A94-4516-9507-5A62D04F6BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b76b88230f365a3c50d1fc2b7b82246d978f88e","datavalue":{"value":"full Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$31B68B70-D558-40EB-964D-2F0479E00D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$30801DC0-7579-45B0-9A86-45F1B6ABD38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c84a37522c4b2348089fa82eb7fe34d36063351","datavalue":{"value":"involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$E302EC3F-E927-4078-8039-55DF6568E246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$0FAF1DD7-23E5-4C08-9AB1-61EBCD51FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006115$4264D0B2-CDC1-4C79-B9EB-6B6E9BD24253","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":"Q3006115$1AF58DB5-F661-4DED-A90A-B30762809BFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76066a4de282dbd9369b1fee052aafc0f763ed10","datavalue":{"value":"https://doi.org/10.1093/logcom/exq021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3006115$9ABDD0B4-E73F-4472-A6B6-1C3C15C22297","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99a54af0791ded59bae466afa765569f8d7f439e","datavalue":{"value":"W1992270652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$62B1AE48-8327-4AD5-8FE7-9F405332A3CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d262bc2de6e3d52125d009467e6b86badc9982e7","datavalue":{"value":"10.1093/LOGCOM/EXQ021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006115$7A33807C-2C05-48FA-9B73-97F4F878C1D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dbcbadcfe1ae6c8f8bb2995c9f613d6ba8c8ea","datavalue":{"value":{"entity-type":"item","numeric-id":1015484,"id":"Q1015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e44bed0e0c0c225d4c980c097f0678af0b31cd1","datavalue":{"value":{"amount":"+0.8726004","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":"Q3006115$398CF78B-EEE6-4257-888B-62BDE8EACD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29b19a0927d96908658ea5e6d1c723a2f71a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86d9136dcbc3542c5ca04a9cb36c49586c9386f","datavalue":{"value":{"amount":"+0.8703437","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":"Q3006115$D1F1845F-E213-45FA-B3A0-E61EAAB9DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eea77e4b50346cd948046bdb90d98ad3567285","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522e585909e2b161ae73291d29280be8f897c98e","datavalue":{"value":{"amount":"+0.85450494","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":"Q3006115$EA428655-FC91-40BB-BAE6-006E1E414D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bfa494637aa4729afb89610850cf8b75def97e","datavalue":{"value":{"entity-type":"item","numeric-id":4608556,"id":"Q4608556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e7c19ab6f7bb66de101177e4a2b3534f538117","datavalue":{"value":{"amount":"+0.85433495","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":"Q3006115$CBDC3909-16FE-41F9-B605-4DB7B1EE02CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced8eba3d750232a2699bc97e62f810263f27eb5","datavalue":{"value":{"entity-type":"item","numeric-id":777891,"id":"Q777891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a31725a7cf1fed0a3056d0ed196280a2deb55f","datavalue":{"value":{"amount":"+0.85163015","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":"Q3006115$9EA6EBF6-2FC4-41F9-8E9B-BBF66B06458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f25569916a6af76d970bf09be43653e8ac2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5377696,"id":"Q5377696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8764dd4738ef6779592883d1d1e5c954093c7b58","datavalue":{"value":{"amount":"+0.8515729","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":"Q3006115$165BE4C7-8E53-4BA1-9051-5A08EE6A3E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acba577735dd51367f54c35b7c591d300ddf7f29","datavalue":{"value":{"entity-type":"item","numeric-id":1120561,"id":"Q1120561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35fb7ba29ecffd1aa144dd08f0d2609816f7e89","datavalue":{"value":{"amount":"+0.8472954","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":"Q3006115$5419D2E1-F1A6-4F9D-8DE7-AE58FC5CEB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50146cda4b736f7628da7f1ecd81c5aa102a2862","datavalue":{"value":{"entity-type":"item","numeric-id":4981253,"id":"Q4981253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131adf19b175844725b9942cc2f816252bdc18f3","datavalue":{"value":{"amount":"+0.84699446","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":"Q3006115$B060CFF6-B3D0-494B-9BA2-0AADDBB6163B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ba2970c68de4f2023855e1aea9a24bdc489dde","datavalue":{"value":{"entity-type":"item","numeric-id":4304752,"id":"Q4304752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee430ded97d8bceb29143050c25e7b304bbc341","datavalue":{"value":{"amount":"+0.8465769","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":"Q3006115$986600E6-8E74-43FA-BCB6-CF2CF357991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f397a7834639eff9ab32c90dbc0ed1254080f13","datavalue":{"value":{"entity-type":"item","numeric-id":3188328,"id":"Q3188328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37ff58e411d9f0da936639eb16bd38d4e69dc95","datavalue":{"value":{"amount":"+0.8449901","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":"Q3006115$95B213D7-AA03-4B3B-83E2-81B81A324D69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006115$7E3D9C5F-1610-4B64-975B-F74BF6C3BD8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3006115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3006115"}}}}}