{"entities":{"Q3005995":{"pageid":3016719,"ns":120,"title":"Item:Q3005995","lastrevid":51265748,"modified":"2026-01-17T12:43:07Z","type":"item","id":"Q3005995","labels":{"en":{"language":"en","value":"Canonicity results of substructural and lattice-based logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5906776"}},"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":"Q3005995$948C97F2-DBB1-44A3-B4A1-5C8E52422B4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"762a23d5e7ac2e1469e19fd37eb104abea248872","datavalue":{"value":{"text":"CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3005995$B4A39D52-4FBF-4CB3-812F-931350504236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34258638467b6add02c2c837d6cb1e6bf99b4a26","datavalue":{"value":"1229.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005995$2D51A45C-192C-400D-A370-4F9E436F49A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ac451d3353262f93e02dfc3dd82acb5e414bb5f","datavalue":{"value":"10.1017/S1755020310000201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005995$E7DA4464-5FA8-4EF6-A636-8FF5FC44DC91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b302ef45d2faab4be5cd3a672c01a16afc2c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":306838,"id":"Q306838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$8F816D99-A9AF-4313-8CAF-D2C0131A5800","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$82BDF4A9-CF8C-4692-A09A-DD21E30AB0C7","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":"Q3005995$58578BC0-9F5A-4B6D-87C2-D903604D440D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005995$D294D883-04D5-4329-A4BC-67E881D29D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005995$CF0CC331-396F-44B2-A31D-8EE31D49CE22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6f6cf3a7cfec01d3ed454e78ea72212ea145c43","datavalue":{"value":"5906776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005995$6662CD42-F413-4B41-BB83-C1BD36A8C26B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ea3fc3ff62d9da31d7418f8054c6fda6f8ab40","datavalue":{"value":"lattice-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005995$CB915642-754E-4A91-925B-EC6EEE9B9445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005995$9700BD9C-881E-4EDE-81FE-7B8A1E6A4F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005995$644EA8C8-5509-4A9B-982C-E8C0A11E520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca8a910f3b1a51b5bb03b88e55fb27ec798498c","datavalue":{"value":"canonicity of inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005995$E7589E2D-FB4D-4B4F-AE70-E8D1BAD19C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f4441264824e819e4812bf500b7b1d40794b3","datavalue":{"value":"lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005995$E1750645-86D8-442D-BD2F-1069F50308EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005995$73961720-F4C0-4920-BB70-079905A2A86E","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":"Q3005995$617820A3-2E95-4EB7-A9AE-E1136204149A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b79e287b8f9dcb48386d79b783cadfdb720c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$9B1C558B-A397-48FB-B7AE-3CC576613FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0acde52144c4033ae04be7909cf97ad30cdd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$121088C1-9A96-42AC-BE58-B88A00EE0806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$E1B85BD5-0127-4CD4-8055-28552D15B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$03F75C19-280D-4F55-AED5-E9C7C9641CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad2bdd319b4a133d3917ef0cacdcfb0f2b72513","datavalue":{"value":{"entity-type":"item","numeric-id":1361246,"id":"Q1361246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$0466D6F1-0D81-4E55-B628-BBFCCD3A97DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ec2b3df2fc5d66e5bc986b21b0a0042b47a045","datavalue":{"value":{"entity-type":"item","numeric-id":863916,"id":"Q863916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$7B31930E-7FEE-4E16-B683-EE14944ABAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$4F2798E9-4BC6-4B89-A8DF-DB3293371C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5285f261a809808960705bdad542f470e1b76494","datavalue":{"value":{"entity-type":"item","numeric-id":1263573,"id":"Q1263573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$2B49C29A-83FB-4FBE-B2D8-5BF12D99457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$AF129B63-C236-474E-A510-7D648232B5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$FB43E867-AA53-4B3F-9759-777469FEBE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$EA19E4FE-70CF-48DE-A8A8-4CA05398E3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85be03f55bdb3c7c30c7fdf17ccfd2235ddf6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1344872,"id":"Q1344872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$51055C77-70D0-4E23-B598-D668CEC540A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$89A36CAC-CA7D-4F74-B3D8-3218C0D9D9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131e70300e3f8227ceafb7d0685319cdbb06e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$C55C3FE1-EC16-46C4-ACBF-8CBF453CEB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$52D94976-5246-43C1-AC3C-1299E873E3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$0C55A819-2397-4628-BF0F-130DA8F20529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$7CE3FD12-951A-45ED-9044-934A9880E00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$38C0CBEA-532B-4F42-886A-D97785AFEFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$B9164DBF-3FF9-4B66-8854-B2FFA2431C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$A2E89DB0-6F75-4B0B-9A0E-B0C8775B3D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$148278EC-1DA8-451B-9691-CF651043EB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25abbd2f9f525f258001f302102cd54322032032","datavalue":{"value":{"entity-type":"item","numeric-id":558732,"id":"Q558732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005995$0AA716AD-C082-4A36-BF56-F8A569C78A33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9710a4fc5f13ad2fceb17b6594d9163a6c814139","datavalue":{"value":{"entity-type":"item","numeric-id":651383,"id":"Q651383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684b44804f7165be89021cb6f81b6cac29fbf067","datavalue":{"value":{"amount":"+0.7911145091056824","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":"Q3005995$6E2CB8D8-3FA3-4B7B-971F-0FE70F9A0010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333e45889f26d48033776ec7d10fcf25ef3f2a7e","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b800a2217e63b4f4c4863f1abd464caa8c99c56","datavalue":{"value":{"amount":"+0.7908032536506653","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":"Q3005995$1015BBEF-D32A-4D7D-B7CA-A6E621386E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6267970283cc4823c1227f9d4100400aa8b664","datavalue":{"value":{"entity-type":"item","numeric-id":1685915,"id":"Q1685915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77711e5870507eed9a23caecf2583e3ac30c229a","datavalue":{"value":{"amount":"+0.7841986417770386","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":"Q3005995$F3AA2979-241B-4BDC-94BF-29ADA810820B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06a7b178a49417da8020c48217909cd235b0569","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e247d056db6caa88f8ad8855a47acd848a3e6f5","datavalue":{"value":{"amount":"+0.7765681743621826","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":"Q3005995$A6A5D2AD-FC5B-444F-A6AF-90169F862745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b9f70399405a20c4d61b58c88ef24ca7126fae","datavalue":{"value":{"entity-type":"item","numeric-id":5034226,"id":"Q5034226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7666b436433ad0d375f73758d8bfb1feec760c6","datavalue":{"value":{"amount":"+0.7726576924324036","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":"Q3005995$0D87F071-67AE-46DF-B6EF-1FDD50C1463F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3005995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3005995"}}}}}