{"entities":{"Q795823":{"pageid":797671,"ns":120,"title":"Item:Q795823","lastrevid":64398921,"modified":"2026-04-11T19:36:27Z","type":"item","id":"Q795823","labels":{"en":{"language":"en","value":"First-order theories as many-sorted algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3863175"}},"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":"Q795823$50B1E3B0-9D10-4E44-918B-5E3035E0B063","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80157064cd9f67654441d0a00fa529f8d76c472b","datavalue":{"value":{"text":"First-order theories as many-sorted algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795823$A4D6E015-B4AD-4CC4-BFA7-43D65BBE9A96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d3cec26fa91bff6a81fc49b56fd87243d6057a8","datavalue":{"value":"0543.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$2EECBFCE-BBC9-4869-B906-1617B3922273","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795823$91B173BB-E4D9-44D7-B57A-C1576DEE4071","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q795823$D2627530-94E4-4E65-9C78-268DBB7880F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cc909064f77dc20df6ee0ec97ba290ab7f2e953","datavalue":{"value":"This work shows that it is possible to reconstruct fundamental logical notions in the universal algebraic framework. Namely, a first-order theory is expressed as a many-sorted algebra verifying equational axioms and thus Henkin's models, first-order completeness and first order equational calculus are obtained, in purely algebraic style, by using Birkhoff's theorems on varieties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$6317E235-ACC3-4556-A563-524F62A5100D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$2AC51A44-72E8-4AA9-94A4-63B65E0AD585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$251027F7-42E0-4E6E-99EF-74C0465CE5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$9447E13A-093C-4770-BB8E-04274645C886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$45AA2CF0-3997-4B68-8097-08E8C796599F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17767baae6e246f4069a865c177f70c19280310d","datavalue":{"value":"3863175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$E93599BF-296D-4FB1-9728-3EA11AF2590D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$E9901CA7-50B6-4890-97F3-2919D77E869D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$C1795F4B-515F-4E40-A6AC-EAE60D76E744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$D0710698-527E-4B4A-A6FB-84873D7F723B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193d29f08e212b1e3cb5c9869fa7daabc2d13569","datavalue":{"value":"equational axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$9F8DF57D-25EF-4833-A9E0-AD3B909DA560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6500028b2d22c0e573a488a89b254652e0147258","datavalue":{"value":"Henkin's models","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$FD76593C-BB37-40AA-9FFF-16C31E8FD32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59bb300355f04619f96a9ae5fc92fa354c1e97c","datavalue":{"value":"first-order completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$501E8D9B-0870-4432-AA72-6B4209B2134F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e05808d6125ffa01d6a9e8245ce572469c2d16","datavalue":{"value":"first order equational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$7ED12D8D-21EE-4F79-8363-08C7E75E156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1052d5ad8d46db73a65608fc3f73bacbcd6d53a","datavalue":{"value":"varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q795823$76E8B7DE-E9E7-40AB-BAB4-29E87ED44D55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b7374f2a36b6f31d25661dc144b6ff92094e72","datavalue":{"value":{"entity-type":"item","numeric-id":243840,"id":"Q243840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795823$49E3E67E-8881-4A01-BE24-1148B9772428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795823$C2F1D369-EEF4-411B-88B8-BC2387D1A191","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":"Q795823$E18A6E3D-20F8-4E74-9939-89D728F539BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ce1867960217207cd6a455d956630d0357026db","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870521","type":"string"},"datatype":"url"},"type":"statement","id":"Q795823$D58FA055-0F54-4F04-BBE0-B6134A7F2F32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5b765841e2d3fe9d5aa6db88f5bbd22afbaf8ea","datavalue":{"value":"W1986916099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$FE273A77-CA38-4260-8AFA-EC200421E2D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c257e4c467a4532c2601aaf73aa11f3d7d56fe","datavalue":{"value":"10.1305/NDJFL/1093870521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795823$9E8E258A-CF82-4CF9-B70C-C82DDC81DD76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9452a01c03d1c56d62337d13ce9eebd716967d2e","datavalue":{"value":{"entity-type":"item","numeric-id":895827,"id":"Q895827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3f879bb0a4583cd40484aeca4eb324e33e43ee","datavalue":{"value":{"amount":"+0.8249398469924927","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":"Q795823$3CC4BA69-5060-4AFA-ADAE-FE7F46A5DA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6123a864b93293c4ca4f5a9b79153bef510cecc9","datavalue":{"value":{"entity-type":"item","numeric-id":3305345,"id":"Q3305345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2897fb4d849f18ddc2b9bc1e86552c84910b4e38","datavalue":{"value":{"amount":"+0.8245096206665039","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":"Q795823$349E65DD-6CDA-4B71-A5AA-7A71D180374F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c0ea83768305a9f9770b7dedeee35b9e7a3eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3591067,"id":"Q3591067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fba56da230caa340908fb8b3d41ac6598d8d75a","datavalue":{"value":{"amount":"+0.788142204284668","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":"Q795823$29B54D57-DE09-4F8E-AE78-9274786CED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0490f062a5088d41f2f522347c11055c8fe872","datavalue":{"value":{"entity-type":"item","numeric-id":1344840,"id":"Q1344840"},"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":"Q795823$518A74BE-A4AC-472A-809B-0C0E9BB3148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7279b51d47df6dcfcb87d9b6367367ae60eb135b","datavalue":{"value":{"entity-type":"item","numeric-id":4011732,"id":"Q4011732"},"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":"Q795823$2190683E-DFE1-4A1D-8CFF-E9644A764454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order theories as many-sorted algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_theories_as_many-sorted_algebras"}}}}}