{"entities":{"Q3460620":{"pageid":5240020,"ns":120,"title":"Item:Q3460620","lastrevid":80740802,"modified":"2026-05-06T16:53:39Z","type":"item","id":"Q3460620","labels":{"en":{"language":"en","value":"Completeness via canonicity for distributive substructural logics: a coalgebraic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527604"}},"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":"Q3460620$2E865650-21CB-4F70-A3AB-E15AE6318A8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1a650495a55a4afb78dac6ac13ff402af7b9d91","datavalue":{"value":{"text":"Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460620$CE38560B-C2E7-4457-9BCB-2D56FB1940AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0ecb64f431aa4908f0a0615a7d057f599221d43","datavalue":{"value":"1471.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$97B4640A-E6C9-4BD7-AE95-BFE201921121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35148d95866219805f0a11fd72b2fad99c03c29e","datavalue":{"value":"10.1007/978-3-319-24704-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$5D657DFD-14BD-4A3E-BB13-BD69D98515E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fda21a604a1f1183f6508ba31d02f715ce23f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1623127,"id":"Q1623127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460620$2E63AF64-E7E0-4DF8-98DF-875A4D0D7D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460620$939EAA93-C276-44E3-9AD4-AB89F3F90169","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460620$DB619EBD-88CD-49A6-90FA-D4D6CA48B3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460620$B6E73502-38EB-4067-8C1B-7E86370ACC2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79709b46be44366f05dbe2121046b063b4d4ccc1","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/25046756/DahlqvistPym.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460620$112E136F-BE23-495A-B256-42F725A7D448","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$FCEEE3B6-4F66-4EB2-BEB2-2853D509E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$7A18C493-CE9D-4AD3-A714-CA4CEF925FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$25712ED8-5A57-4141-937B-B9A90E0EE003","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0e53327c366ca7ba94c3a9ef23f4fe32c42a293","datavalue":{"value":"6527604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$7EB21EAE-ECCA-4EA5-968B-AE38A4A5510C","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":"Q3460620$60D80F9A-94AD-4F43-99B5-41B41A242ECE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd490fdfcfc9e07325b8a551144335581cafb0e7","datavalue":{"value":"W2201092569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460620$B7CD6E55-45D1-4ADC-A674-BA6FC351FCC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0236726feff592b9a314898593175d227081cca5","datavalue":{"value":{"entity-type":"item","numeric-id":2409626,"id":"Q2409626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fbcde74a636f683a5ceeec4d27d252bb36e3ef","datavalue":{"value":{"amount":"+0.9465389251708984","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":"Q3460620$E7733CF6-919A-4587-A5FE-CB8AF43C7393","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":"429b2dc9e572fb131e2c6dcbde445ef7c19ce495","datavalue":{"value":{"amount":"+0.840538740158081","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":"Q3460620$2346E0BB-8088-4A0C-907B-113B911F6929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83dc7bbbca454f2d51a4e7d437b2ad4d30e54ba","datavalue":{"value":{"entity-type":"item","numeric-id":5419875,"id":"Q5419875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd7e2e232c7c45d240a4c77dec058e989ce14ab","datavalue":{"value":{"amount":"+0.8193686604499817","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":"Q3460620$97ED2892-B5CC-4491-98E8-010B7040CC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceec0d2118eb9401450fdcd74bbcf9e66a1449a9","datavalue":{"value":{"entity-type":"item","numeric-id":5390017,"id":"Q5390017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0be6851a54697dd36561d17310b8da758dac10f","datavalue":{"value":{"amount":"+0.7969287037849426","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":"Q3460620$322BCD0B-3952-4F14-9CA9-B1FA2382ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d38e307d238e633b284b221dc894aa0dc23649","datavalue":{"value":{"entity-type":"item","numeric-id":4910420,"id":"Q4910420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3a9ffbb710b9d778270d42f2a8ea27b778f014","datavalue":{"value":{"amount":"+0.7868533134460449","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":"Q3460620$C0929B2B-0B3E-4140-97D4-EFEC19192908","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness via canonicity for distributive substructural logics: a coalgebraic perspective","badges":[]}}}}}