{"entities":{"Q1823926":{"pageid":1834668,"ns":120,"title":"Item:Q1823926","lastrevid":49311679,"modified":"2026-01-06T22:53:52Z","type":"item","id":"Q1823926","labels":{"en":{"language":"en","value":"The lattice of extensional connectives: A correction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116503"}},"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":"Q1823926$6BF2764D-F5D5-4BC2-AE6E-6C022B464AD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45b302edc27a89637f7e3e719750468967f375d9","datavalue":{"value":{"text":"The lattice of extensional connectives: A correction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823926$217D2A71-89B4-4694-82DE-899A23918C07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0118c044f3fc83a9a049ce136c36870a08751e22","datavalue":{"value":"0682.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$24E1C871-7B91-494E-9E8C-740F5EC9E610","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"884ceadea0d59b926b0325b9086bbb82de616a95","datavalue":{"value":"10.1007/BF00247953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$81B056B7-F432-4987-9E09-73DDB1FF88AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823926$F76688A4-6346-44EE-B528-DAE4A7F00C24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823926$668B27A2-ED1C-4D9F-9EDA-B715922A0647","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1823926$4D9954B1-546B-4F47-A028-3B3BF7FC4A38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c03cf45f9864459f07d3e43eff4f0cd6fb5fb8b","datavalue":{"value":"The author corrects a mistake in his earlier paper ``Extensionality in sentence position'' [ibid. 15, 27-54 (1986; Zbl 0615.03012)]. There was claimed that the lattice given by the logics that are extensional in some connectives is not distributive, whereas in fact it is.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823926$681F3FFE-CE37-459B-B458-0FF49EFA6368","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$7DC7761F-C328-4020-9694-890EA6FFF30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$5947B104-02A9-4D42-AC0D-ED8817D1E5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$13BD939C-7EEC-4DCF-B794-C7C50710279D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30a320af1fd899c327693cb0a0fa6bc3b87082ef","datavalue":{"value":"4116503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$48924564-4F8F-42E7-9A1B-FD2E4378495C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6084f623a3f92ff547e4cece0e609f842d092189","datavalue":{"value":"distributivity of a lattice of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823926$762958BF-0C0E-4A4E-B7FA-AB22ACC38B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e879b82edc2f86d8cd444731a9233b14fd028656","datavalue":{"value":"extensional connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823926$E1C30D4A-C785-415D-9AC5-BB166DAC03ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823926$494B38BB-DDDC-434C-A852-376CE5493AE7","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":"Q1823926$DE953248-EE31-40E2-B04E-9034DB7B2DBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c625ca6d4e9d36b178b4fb3468105a3c55fb56a","datavalue":{"value":"https://doi.org/10.1007/bf00247953","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823926$7F053FFF-88BB-448B-8161-D3C30C256D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33e5b38110d8abe95e0f97e15c736e27c0f06a4d","datavalue":{"value":"W2077863155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823926$5F3B4A92-7D17-45D6-B505-FE28959F2F43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa158ab4bdf743801a07ffc83a223a7d2f7a241","datavalue":{"value":{"entity-type":"item","numeric-id":1362590,"id":"Q1362590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74671f24eb1c0b0a75a786a1d80e892633890805","datavalue":{"value":{"amount":"+0.7865840196609497","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":"Q1823926$CA32C44D-8E92-4E7C-BA00-A5A8BAC91357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a6c21dbafda82bb52d5a20d33cb64d65053641","datavalue":{"value":{"entity-type":"item","numeric-id":5935786,"id":"Q5935786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849b52e28e06e6e8a6d0b2183fa7c6e750f8efe2","datavalue":{"value":{"amount":"+0.7846419215202332","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":"Q1823926$2C3F6018-1044-44C8-AC18-CD2D6DF3FB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47140620a3a7d1343da245a058b23847a3b4387","datavalue":{"value":{"entity-type":"item","numeric-id":2893327,"id":"Q2893327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b9b8fb9ba2ab418b973500cc07cbecacfebc72","datavalue":{"value":{"amount":"+0.7397411465644836","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":"Q1823926$F0D6F10B-C294-460F-B5CD-316837BA0793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d96cc493a6b109dd5fd4f7773408b62d12460ee","datavalue":{"value":{"entity-type":"item","numeric-id":862982,"id":"Q862982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c4c4bc1261f80c07f6164756cd53c953353014","datavalue":{"value":{"amount":"+0.732181191444397","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":"Q1823926$0805CE07-AC31-4CD6-B0A0-C409F55412CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3ffc847408868bf5c6884cb867c1c083697f43","datavalue":{"value":{"entity-type":"item","numeric-id":5241403,"id":"Q5241403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86338a89d3cda84dc44439ca9372f07451159048","datavalue":{"value":{"amount":"+0.7270045280456543","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":"Q1823926$104DC620-7C25-437E-8FF7-C9E945E82FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823926"}}}}}