{"entities":{"Q3801619":{"pageid":5831525,"ns":120,"title":"Item:Q3801619","lastrevid":53250890,"modified":"2026-01-24T13:37:41Z","type":"item","id":"Q3801619","labels":{"en":{"language":"en","value":"Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068960"}},"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":"Q3801619$FE0F83DC-143B-42CA-99BB-5B1118067F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df41642b9037e61fab6974b949370225267336e7","datavalue":{"value":"0655.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$2AF7BF4A-5D3B-4774-B9DE-1D2B54BE703A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"758b78849faf01954d895b59126805217141b781","datavalue":{"value":"10.2307/2047077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$9E5AFDF3-80C6-41E9-B139-553BF015CCE2","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":"Q3801619$5CD789D3-315F-4C6B-802C-D75E7ACF944E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$429F5ABB-DC8F-4DDE-B253-ACC27A542F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$06628B42-EB49-4825-A6D4-DCD1A4D82C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$192AC6F6-561D-4E65-94CC-BBBDE650C466","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd39e8e51c28d8dcf533c9f3d196d1e744cf7acf","datavalue":{"value":"4068960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$03F6EF9C-A0EA-48DC-B164-22022BBDE98D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801619$15577D8D-CE18-48C2-8062-CCAC0E01DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801619$30F488D5-BCD8-418D-9153-20DABA407A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2e459cf12f1b241db8b38b8ac14205d1271bad","datavalue":{"value":"universal class of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801619$437C8CEE-1D13-4D2E-B3B9-DEFE8B54F31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c5e3b5d15c52d34950b8cb2e086295eab5aef7","datavalue":{"value":"logics of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801619$807A57E1-134E-4749-AC03-23CB9D967472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b05127385b5eb383671ad92a1d32d28ff86e3514","datavalue":{"value":{"entity-type":"item","numeric-id":687661,"id":"Q687661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801619$DD0C9145-6D91-49B0-8343-821833A9EC14","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":"Q3801619$2BDB6EDF-DCF5-4B9B-9DC6-39345F08AD8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47f36ac9fa709bd34e0f9f5c19b2a421e1a0718f","datavalue":{"value":"https://doi.org/10.2307/2047077","type":"string"},"datatype":"url"},"type":"statement","id":"Q3801619$386D3B96-0757-4822-8803-94C5F9B10222","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5aae9eccd615c888c1c2ea30326b1f371a9f5281","datavalue":{"value":"W4233480703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801619$2EE619ED-C62C-4BD3-BEBD-FC704357F77D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93779951ade8ae83a9d9a27d9517d85729d26a9e","datavalue":{"value":{"text":"Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3801619$A338E77A-3FBD-4506-8D6B-52FFDAFC6F19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801619$5DD034E8-F1E5-4098-9437-E2C881079F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3085604b02c898b49affe7e5162b69f747f81635","datavalue":{"value":{"entity-type":"item","numeric-id":3041157,"id":"Q3041157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801619$2A1D412D-48F9-4194-8E0E-930B6D19C837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348c3cca13d6350ca59547312259f123bcbd1b05","datavalue":{"value":{"entity-type":"item","numeric-id":2556880,"id":"Q2556880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801619$8903EAED-0C63-4D96-833B-FDDCF2287FC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f9ef32b3bfa80c040aba6c03389bd6c8dc6303","datavalue":{"value":{"entity-type":"item","numeric-id":5311045,"id":"Q5311045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efee8b74effef1bd303c99db5608d44a3ceae40","datavalue":{"value":{"amount":"+0.7814313769340515","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":"Q3801619$8F48FBA8-6540-4DFD-B11D-3EE086FD948B","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":"c31f3d54eb33a1ecacc81e79d40cb617f3ea9c01","datavalue":{"value":{"amount":"+0.7768619656562805","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":"Q3801619$53D028DD-C9BE-4715-9632-AA76518D0213","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":"097688b962a682d714fa1dda55400b4de7ee4e8b","datavalue":{"value":{"amount":"+0.7633522152900696","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":"Q3801619$9D13FD61-A63B-4C7B-B521-6AFDBDE81C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414f3a63cc3c066bb8518de7bb7b5b8f52dd0ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2269795,"id":"Q2269795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7319718eccf8954533dfa4fdc0cb4865a57b65a","datavalue":{"value":{"amount":"+0.761527419090271","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":"Q3801619$6FDCB1B8-61B3-4E35-8DD8-3A58C85AFBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7fcdcbb64143b40b05b153620df74221c208e4","datavalue":{"value":{"entity-type":"item","numeric-id":636384,"id":"Q636384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137f9978d4d3b609b1c7a0700e3caaaae6e21da7","datavalue":{"value":{"amount":"+0.7607386708259583","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":"Q3801619$2E25AAA5-A955-4348-BB4A-A5C1504D43BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3801619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3801619"}}}}}