{"entities":{"Q332086":{"pageid":333853,"ns":120,"title":"Item:Q332086","lastrevid":61068672,"modified":"2026-04-10T20:58:34Z","type":"item","id":"Q332086","labels":{"en":{"language":"en","value":"The Lambek calculus extended with intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644702"}},"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":"Q332086$B5F371D8-2959-4A2E-BFD9-AD7B0448E04E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2734c36755387bf6a0e3c9a21b9e594fd501eb70","datavalue":{"value":{"text":"The Lambek calculus extended with intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q332086$7A3A47D9-9462-41AE-A51E-D35FE4B93DBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"938afcc91905da8f7843200fd59298f6e06681d7","datavalue":{"value":"1417.03165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$B92FE1AE-21CA-43DA-A0E7-AE81EE737D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$4CE42C32-1E67-4437-AB04-6F3F147FD12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$8E985CF9-8768-4CC3-8B7F-3AC9265D6EDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$B3DE7951-AFF5-4719-B25D-CF5D0DE33A9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q332086$344F829E-3CE7-48F5-89D8-EB345C4D7C0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$CED8CD42-B302-453F-8363-87DFFF1B032B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$D2958B29-DBC7-4991-A66B-A89C48F9107C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$4E5259D1-E4AD-4F25-83A0-C283858FE6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$E0798AF5-228D-473B-BA47-43E492F37EE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9aa689f3d055e85252be2ddfbe82e4710eb268","datavalue":{"value":"6644702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$E6DB898D-8958-452E-9EF7-24195991B40A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q332086$3FB7DE2F-799D-4725-982B-A6AFFE29FF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q332086$447F7FF7-29A0-4426-89F2-9EA2B61653AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q332086$AB3B42A1-5711-4197-97B0-87780AAF646C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5800144bcdd29116dd08c593e951646d1244eb8","datavalue":{"value":"ternary semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q332086$2492DF54-8C0D-4908-B5F7-B257E5148973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q332086$D714A467-852A-445C-950D-9F12B4169076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q332086$A6859816-EFC6-460D-B77D-71575A52B7D7","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":"Q332086$A432EF3F-4E05-4AB9-8987-3F368699A855","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a3d8e5b5cd92db32890867da443ffc7b8b5c717","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9665-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q332086$5DE0D2B9-5EF0-4C15-A3CA-DFEB9CCD87D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f10c63fbdb96562325bc0ee59124d2b87533b33","datavalue":{"value":"W2297035263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$ECA6CB2D-C9B4-4D09-8EB1-F6C782F563C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"859ef89c6ac39d72628b3698933598970664fee9","datavalue":{"value":{"entity-type":"item","numeric-id":3964532,"id":"Q3964532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$F277D340-F3EC-40A0-B003-7A27775B958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7199a76e97a34e5bb92650a813ab6a9b995ca91","datavalue":{"value":{"entity-type":"item","numeric-id":2885171,"id":"Q2885171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$C705CA10-04C3-4986-B00B-2E551377AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f2cab5144b1a48f2af6eca8fa0fcb14e9452","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$29839CAA-5661-4ADD-94A7-62B7A0DE0416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a782c8f72fea36e1de25cf14ddbdf540dc4f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$9EFA58C1-2A89-4456-A6C2-37E5B9F4AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$AB2B62CD-DDCE-486F-897A-975BD158F4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$0B6B4194-A184-44CD-8CE0-7B50143305BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1c04fe7e9f43754f5ad4c6f8f037f5bd01eb73","datavalue":{"value":{"entity-type":"item","numeric-id":456962,"id":"Q456962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$1DAAC4CC-B126-4D01-99E4-C96A3ED1BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bc09c309998a4ba90499dba0167e6792905bbb","datavalue":{"value":{"entity-type":"item","numeric-id":1314290,"id":"Q1314290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$A3A537BD-5895-4FD5-99BE-AA7CF46B40F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$9D3CAAC2-CBC3-468B-A98B-63F9D83ACAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849c86dce3ce9eb1d036250350c0ff9f05d99f39","datavalue":{"value":{"entity-type":"item","numeric-id":1015484,"id":"Q1015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$8997410A-C50A-44C6-A89F-30A35F258457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$7D819EB8-2796-4555-8796-43F7072B6476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0c6c32bf52b1fbfcbfb2acf8fe25ac68b8ffd2","datavalue":{"value":{"entity-type":"item","numeric-id":3585007,"id":"Q3585007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$58F8575A-DCFF-4133-A212-EE0800B1EA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$FEAF3611-9019-45C9-8035-F5BF423D03B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9fb51b37d0b03d613f2b317e998437b24d399","datavalue":{"value":{"entity-type":"item","numeric-id":1247417,"id":"Q1247417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$409DFD06-F910-4FC9-A0AB-05991927E15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$D992FD74-BA66-47EA-95DD-C829DE2FC9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$CAF73364-7D15-4D54-BC4D-6EE3A2E52FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$DEB8DA9F-A932-469A-941D-0E0BCB0AEB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$D37DE056-FF91-42F2-9993-DFD555C08937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284983dd1b9e75b864a47b4b1e66012f1ccec7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5435116,"id":"Q5435116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$482B7133-EF4B-4F57-85A9-B9FCB8C58F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$FAAEA9FB-97FB-40A6-BF21-9981F1BCA4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd62b41e657ec247afba4862970c5299f54b098","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q332086$F69336BC-1827-4BB2-B73D-01FE13F60BB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860deb5ab724bda068c0998c342440388cdf8c0f","datavalue":{"value":"10.1007/S11225-016-9665-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q332086$B94B84E8-AC83-4B3E-9E9B-F49A429EAF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Lambek calculus extended with intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Lambek_calculus_extended_with_intuitionistic_propositional_logic"}}}}}