{"entities":{"Q1344840":{"pageid":1355579,"ns":120,"title":"Item:Q1344840","lastrevid":68515404,"modified":"2026-04-13T00:13:51Z","type":"item","id":"Q1344840","labels":{"en":{"language":"en","value":"Equational treatment of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724101"}},"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":"Q1344840$5ECE9377-6EFE-46D5-B92F-DE65A3C30263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93bd336b59654a80531682e468b459faf904661c","datavalue":{"value":{"text":"Equational treatment of first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344840$08371BE9-4D94-4DD1-90C0-C2F0D6970E34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36183e6419acdbd4ba596e67a5a86460b4746aee","datavalue":{"value":"0819.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$F979C6C0-9C69-4245-8EA3-75C3CFB6B865","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"472abeb837ca3d799b2fcd7740b17fd66dea8715","datavalue":{"value":"10.1007/BF01190764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$9B46F03C-DB3E-4C51-8282-DB656C9D3153","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$92E3E132-836E-44F2-AFA8-C5FDC7230015","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344840$15BDD1BB-26E1-42F9-95F7-74AFBBD9BE42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22267ad4382a4f30416350506968c1393161c471","datavalue":{"value":"The purpose of this paper ``is to complete a program which was pursued in the 1950's and lead J. \u0141o\u015b to the idea of ultraproducts but was never properly completed, namely the program of proving some fundamental theorems of first-order logic in an algebraic framework. Several such frameworks were proposed \\dots But \\dots these developments have bypassed the most natural solution of the problem which will be presented here, namely a complete translation of first-order logic into equational logic''.    The author shows that, using Skolem functions, the G\u00f6del-Mal'tsev Completeness Theorem is an immediate consequence of the Boolean Prime Ideal Theorem and of an extension of Birkhoff's Completeness Theorem for equational logic to two-sorted algebras.    Considerations on a philosophical level conclude the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$AD7E3E87-F99B-475B-86BB-C57D955B4E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$6A1BFCF2-9D07-4ADF-BC81-36FEA0DA0F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$F8C38B8C-6DE2-49CE-91C9-4E98C67D893B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$8D996BEB-A997-4B03-B204-9E28E578D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$82894DDC-618B-4B4A-936A-D874E1C0411D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb8f6bb6793ec7b9768ea5485d065fe4f5e69e4e","datavalue":{"value":"724101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$776563F1-786C-46D9-8633-B53F66A50931","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec5f88c4cf4c0325748e8c69603b374bad981cb","datavalue":{"value":"G\u00f6del-Mal'tsev completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$B8E8945B-2C98-4B11-B53E-850655491F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$9F515799-4990-48F1-B434-7D3DF101E35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00071c7e2e70955a4746eba489fe7286c892aaa","datavalue":{"value":"Birkhoff's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$E05FD636-4958-4929-B3EB-6278F163F267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7574c7c05e2b235496daeb7057756f83a904a323","datavalue":{"value":"complete translation of first-order logic into equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$B458FAAA-0155-4FEC-A606-A16C4C693517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$1CBC9D85-18A5-4898-A04E-55BDBFC76D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6788ff3ce81dbef4a08d2730f44113be110327","datavalue":{"value":"two-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344840$4D123A03-E0A5-458E-B64F-C182C0E6376F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d03b245e867f1f311b613f0b6303a0b1665815","datavalue":{"value":{"entity-type":"item","numeric-id":416396,"id":"Q416396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$4804B95B-45EB-453F-8CEC-F6D37D948737","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":"Q1344840$D06919EE-0446-48C3-8D08-F017C8A2458A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"610e52faf72b688c3bd84b1dd432e513e77092bc","datavalue":{"value":{"entity-type":"item","numeric-id":1190748,"id":"Q1190748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$C4A34B3B-DF63-45FC-A327-D4F1A55F54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5078702a506b2e26bc2f9d4c4f258f5a662c5d51","datavalue":{"value":{"entity-type":"item","numeric-id":5749283,"id":"Q5749283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$1F041551-D860-46BB-AD93-A66DB717C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925288f5622c34bec9a752e991c0f4c9c01148f4","datavalue":{"value":{"entity-type":"item","numeric-id":1123181,"id":"Q1123181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$8C60CD72-1E88-4AC0-9060-773C82DEB994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e4ff2737ee9ef6ba8d85e7736fa5af99d72666","datavalue":{"value":{"entity-type":"item","numeric-id":1187977,"id":"Q1187977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$092B607C-48D8-40F0-9698-D6D67732C8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65361006a666cd75ebb6be1d4a4473e40edd65f4","datavalue":{"value":{"entity-type":"item","numeric-id":1087846,"id":"Q1087846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$06F4A363-ECBF-47F1-8032-EDB11DA0D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca501bb48fd0be7788d9d5b15a82fac102c0688c","datavalue":{"value":{"entity-type":"item","numeric-id":1114427,"id":"Q1114427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$33445320-F637-4C15-823D-C57DFC757328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7592c413b0df02d8e7e85080ad4099b5fc2616","datavalue":{"value":{"entity-type":"item","numeric-id":1821134,"id":"Q1821134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$8BCA3CE1-BB8C-4EAF-94EB-3E6595C07655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$F8D16FE1-8F5A-4652-96C5-BCAC32511DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344840$F3BDE1F0-A825-400F-8726-74C7E6F778F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af0929bfd4614473ca2608070e933f0a29a353e","datavalue":{"value":"https://doi.org/10.1007/bf01190764","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344840$9437097A-687F-4CD1-A599-85CB87B42E90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da90aad0db1e8fb4f41de7db83c53811395416b1","datavalue":{"value":"W2094696613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344840$B30267FA-AEDB-450D-9B48-6BCE85278510","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34724f5a107235429ea5d85dfa0b52bc4d39836a","datavalue":{"value":{"entity-type":"item","numeric-id":795823,"id":"Q795823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5d7c5a2f655868d44332404dcf59d76779ded8","datavalue":{"value":{"amount":"+0.7798917889595032","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":"Q1344840$99CA9CB0-F330-4430-9595-CD1F721438E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efef4cabd84c0cc9c999da57b908650579c8bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4806272,"id":"Q4806272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697ba85540f54979f7d5b0531678710260ae8fa3","datavalue":{"value":{"amount":"+0.7568538784980774","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":"Q1344840$A5B77EF8-CCD2-4421-9D68-F90C950A3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f9ae8df5c25beb735813622f960226697534d9","datavalue":{"value":{"entity-type":"item","numeric-id":5698282,"id":"Q5698282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1707a71e04f13caa8b08f421625f5824774de930","datavalue":{"value":{"amount":"+0.7557701468467712","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":"Q1344840$A0106069-36F7-48BD-AC25-5B755C10A016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d06e0464956267884cfb04fc78728c481c4c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7708f9b4bf9d7f0ca47e65e775f91dc2b6e54e","datavalue":{"value":{"amount":"+0.7515272498130798","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":"Q1344840$F8450887-8C64-47EE-99C3-D5E20019527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3550b286d1f53f37e8c2aa735c95f5050c1e9397","datavalue":{"value":{"entity-type":"item","numeric-id":4312342,"id":"Q4312342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7d11b9b1ce7e1dd9bbcb4722d87af5eebecf92","datavalue":{"value":{"amount":"+0.7502498030662537","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":"Q1344840$1C5B30CA-B4C8-481C-847F-276687DBDE8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational treatment of first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_treatment_of_first-order_logic"}}}}}