{"entities":{"Q1092902":{"pageid":1103654,"ns":120,"title":"Item:Q1092902","lastrevid":69900741,"modified":"2026-04-13T11:05:24Z","type":"item","id":"Q1092902","labels":{"en":{"language":"en","value":"Left exact logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021134"}},"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":"Q1092902$45A014AA-F925-4149-83C5-304025A04316","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb595dd6cd7f99ea7628b6364d2961f74b65fe2","datavalue":{"value":{"text":"Left exact logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092902$1E527AEF-C9CB-4534-B486-66025BB65F75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0306f14b5964efa607aac32029dc9dd22d2a3528","datavalue":{"value":"0628.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092902$B50893E2-486C-46CD-9553-7E70F5DCAC98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95fa16ef09d253de9fe6068e6811b18d703b45ce","datavalue":{"value":"10.1016/0022-4049(86)90100-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092902$E5EC2C90-2E82-496F-A4F6-61EB5857503D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03cb7240f766e33ce1eb7decfea636d3edb245aa","datavalue":{"value":{"entity-type":"item","numeric-id":215695,"id":"Q215695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$093F91FB-D46E-4428-AEE4-D5ED8DA58E23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$69064CE8-E015-40CA-9CC0-44DDF8153992","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1092902$DA8381C8-AF08-459C-BE91-7D98AB7D330A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"076898056adc4377cbe62a31988f5c902144c910","datavalue":{"value":"Left exact logic is a fragment of coherent logic, which has coherent logic as a conservative extension. Left exact logic is interpretable in any category with all finite limits and left exact theories and their models correspond to the left exact sketches and their models as discussed by \\textit{M. Barr} and \\textit{C. Wells} [Toposes, triples, and theories (1985; Zbl 0567.18001)]. This paper outlines the rules of left exact logic and briefly discusses its relation with coherent logic as well as with universal Horn logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092902$31A69F01-7509-4B6F-8FAE-3D1BFF2F0164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092902$858354CF-6796-4CD5-BD4A-02725D6B0496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4393c1ee305f25320887b71bf5c27cbc43a76f29","datavalue":{"value":"4021134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092902$6CF0F36C-5EB3-4E1F-BA77-A4491AFD1BDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e54302edbf736f3e41b3700f9e997c81b0e8f9","datavalue":{"value":"Left exact logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092902$367EFD74-7924-4BCD-935D-260A56F040DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d74ca7a773971fdb83eec0856f56f013e80f1f8","datavalue":{"value":"fragment of coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092902$F91DB454-FABC-437B-A296-C76BCDAA95D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7604fa8e4fcdd1ae41a0851d1fcbde3771d809b8","datavalue":{"value":"left exact theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092902$C84B93A1-1E35-4E2D-985F-420F537EE114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b25129396438f30517a30c652d3c2f63ab69ca4e","datavalue":{"value":"left exact sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092902$3C5FD51C-167C-416D-BC44-935D221A9098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"782eaea6d1ab30cb4401940f4f37ca35299e5488","datavalue":{"value":"universal Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092902$AE867855-71BA-48EF-BB6F-1743538A8F18","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$5701D539-DEED-4AFF-808C-5327156F648C","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":"Q1092902$46C71BC2-06BF-4241-893F-00B40A180A86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"215976c5b3aeeb2f6010d4de9431d2452c50d880","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90100-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092902$3DF72308-5A2C-41FE-9F7A-B58B19DD40A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5c7f91077bbd05013adccb0436d31d5c5ad058e","datavalue":{"value":"W2037442423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092902$EFAADE42-C7E6-4D2A-AE39-879336A75AA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5b5d0eb48e6ee39e136eb46ae3014d5b852a3","datavalue":{"value":{"entity-type":"item","numeric-id":5665317,"id":"Q5665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$67BA92C8-B20B-49D5-8FF6-B9C7E587D8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830f2b8e1ec1a130912602d2d01aa99cd42c3525","datavalue":{"value":{"entity-type":"item","numeric-id":1214888,"id":"Q1214888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$C61B63F1-B84D-4798-ADD5-EC0ED633494B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$D05D88EE-B3B0-4FCA-AB19-BEE75FB556F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092902$6E4D1BE9-91CD-48B5-A3E2-D2E88514A862","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064b5072be2d04714bcc09a7c2758b8582c729c7","datavalue":{"value":{"entity-type":"item","numeric-id":4276025,"id":"Q4276025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccd44c2f24e898270d9b07d45b901445b779ca2","datavalue":{"value":{"amount":"+0.7348175644874573","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":"Q1092902$92B83838-BCFF-42E6-8608-6059635C88B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9087acf0030b486df7a06e1d89439971deef7d","datavalue":{"value":{"entity-type":"item","numeric-id":4475066,"id":"Q4475066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefd2279f75b3bfc64c3a0391a6597f66c47d811","datavalue":{"value":{"amount":"+0.7344489693641663","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":"Q1092902$42CF31E6-FF9C-4A31-9244-582AC350DB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172890c4dcb18b9e992fd866c0712b06b6b8eba4","datavalue":{"value":{"entity-type":"item","numeric-id":4853372,"id":"Q4853372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f53d10a7282d969936a16257c22e14a988eb8","datavalue":{"value":{"amount":"+0.7300652861595154","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":"Q1092902$D6A1009F-8FB3-4DB2-8AF8-E0541B89EED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb7fc698635e96ea6406d979a89ff883c6203f7","datavalue":{"value":{"entity-type":"item","numeric-id":2470759,"id":"Q2470759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f53d10a7282d969936a16257c22e14a988eb8","datavalue":{"value":{"amount":"+0.7300652861595154","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":"Q1092902$84ADD8CA-D4AC-4714-9A57-D0DAFC8D2EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf27fd8af29f59c9b9e5c0901341cdfaae0a5af","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2126521ca9115223040a7124107b45f1ce799d42","datavalue":{"value":{"amount":"+0.7131584286689758","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":"Q1092902$94336BA0-0AC6-4811-AB51-ED6296DA0CE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left exact logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left_exact_logic"}}}}}