{"entities":{"Q1685923":{"pageid":1696664,"ns":120,"title":"Item:Q1685923","lastrevid":73755507,"modified":"2026-04-14T17:09:28Z","type":"item","id":"Q1685923","labels":{"en":{"language":"en","value":"Lattice logic properly displayed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820467"}},"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":"Q1685923$4A6995C7-6557-472A-B4FF-FA32E4A786CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2358ad9b4d423a0d64a02b4469927c74b1e4a932","datavalue":{"value":{"text":"Lattice logic properly displayed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685923$E467C732-CDDE-471A-9534-E331EC193791","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"827531382a8ab5ffd8f4caaffb4506459b42fdf8","datavalue":{"value":"1496.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$BCCE66A8-3D99-4C38-A6E9-20ED88AB3B51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc834182d073a85b88028378408070fc97a21ac8","datavalue":{"value":"10.1007/978-3-662-55386-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$74053F61-FD3F-40E6-A811-776110437BBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685923$3B797431-6529-4731-960C-1B84359B165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5841b83a718cc098e69cb8d263beacc1e29be24","datavalue":{"value":{"entity-type":"item","numeric-id":393905,"id":"Q393905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685923$67DE5129-5FE5-4EB9-9ADD-774B165D2352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685923$91B392A1-B9B7-4EF2-A4E2-1F48A6EAAEF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97c0c25ac4c20f37cb4a35db6d06d66aa7f548e","datavalue":{"value":"https://arxiv.org/abs/1612.05930","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685923$0EB95661-BB63-4EA5-A445-ECF3933C5BF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$8BA978E0-BDC4-4B87-9FB5-4E010026C0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$3B1B1847-D685-4B4B-A2BC-9862E38A2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$748FBA4D-6650-49E2-A5E4-9BE450CF62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$D75EB29F-B5D1-486E-B634-19F470D33939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ffc2ab6bc9162ee7844271274835189a957fe7","datavalue":{"value":"6820467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$6E9C2567-8A24-4DA8-BCF8-AFF25EF8F209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816102eb42956a918bcca3edf6745a1c2c03a011","datavalue":{"value":"lattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$BD96A797-E667-46E0-91FB-D185715C2C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$2A6EF88A-81ED-42DC-8BC0-EE2187DDCA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3986060d76682cc37708f99076365a4697a5e2cf","datavalue":{"value":"algebraic proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$BC5476D3-0ECD-4CAA-B3ED-3CF41ED36E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$F3F1FFAD-518E-4B1E-98C4-B521111D4556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$D420FF73-6C00-4F07-AA3D-77319BE90622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dac3f71529fb2da55f77888198d2650dd710a18","datavalue":{"value":"display calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$1B1A8A55-28AC-4D58-BAD4-6D8045BA011D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f9d03cbbdac117992c66312038d7c6cf8f9651","datavalue":{"value":"multi-type calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685923$6963F58E-CF32-41E6-95A5-608EDCD9CEBB","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":"Q1685923$45B42BBF-5CFA-4F4F-9586-C3A45FAAFD93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d69de81751a973b9cd2fb396d84fab97ba6e5d7","datavalue":{"value":"W2979689738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685923$0BF3DA64-2D4D-4450-85A5-76D15E3819EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7374210e7325692c647c03b1b4cb7579a909c4","datavalue":{"value":{"entity-type":"item","numeric-id":2328914,"id":"Q2328914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28545c532aaeaa636bedf52c8fd6cd87fcb69c43","datavalue":{"value":{"amount":"+0.8584545254707336","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":"Q1685923$7ED435C4-F965-4F7C-921E-60B79DC42942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36f33f0ff1166ac3acd05710a0758516b70746a","datavalue":{"value":{"entity-type":"item","numeric-id":5486243,"id":"Q5486243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4957c69ff869ce1ae4ccaa96372be54ec919d2","datavalue":{"value":{"amount":"+0.7937334179878235","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":"Q1685923$E41FFA08-4B80-428C-B8B7-60129CD52E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e6034fe8b62c0d611f54e241b5100c1fb14491","datavalue":{"value":{"entity-type":"item","numeric-id":5056369,"id":"Q5056369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea67a3822621b2de58094fa5d20a08b38a5ccee","datavalue":{"value":{"amount":"+0.7790316939353943","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":"Q1685923$1039E90C-DDEE-4940-A827-480E1A4F95A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec36d3999143771f5f3c520416695cda36ba0c","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bd4e359d90b4ac137206050e6596f7e56f1f4c","datavalue":{"value":{"amount":"+0.7723164558410645","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":"Q1685923$C3AC8164-D3F3-4173-92D5-BF1FB84ADFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c524551ae58bc13ff4034d75fb6894586e5df482","datavalue":{"value":{"entity-type":"item","numeric-id":1685926,"id":"Q1685926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91245156d48e6d96345b4d88b3c2155f8711420","datavalue":{"value":{"amount":"+0.762226402759552","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":"Q1685923$18CEA713-FAF9-48DF-8057-9F9A1F7FF9B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice logic properly displayed","badges":[]}}}}}