{"entities":{"Q1317611":{"pageid":1328361,"ns":120,"title":"Item:Q1317611","lastrevid":67409409,"modified":"2026-04-12T17:26:17Z","type":"item","id":"Q1317611","labels":{"en":{"language":"en","value":"The number of \\(Q\\)-congruences in positive algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536664"}},"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":"Q1317611$68EB95F6-9317-4BA3-A399-DE58C57F0453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e2f71bc980cc780facec091892647b6a586e919","datavalue":{"value":{"text":"The number of \\(Q\\)-congruences in positive algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317611$8F0F5ED8-5DF9-4D55-BE81-F912BE13CA0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2ecf9248799b14aec1ceb5eb5cb5b98837889e2","datavalue":{"value":"0795.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$99499BB7-59FF-4533-9015-ACD9FB7D15D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44b9d47cca902b47ff5dec798d75c83045828d9b","datavalue":{"value":"10.1007/BF02259947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$F3227A08-5049-47F1-B542-B53654A0BB32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4611b92dae875abfae44466af6ce7f3cbc461216","datavalue":{"value":{"entity-type":"item","numeric-id":299154,"id":"Q299154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$DEACCF2D-8E71-4FDA-B87F-54184DE8B3CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$A189EE70-4041-4944-8AFA-DF3B50934C3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317611$5F7A9683-909E-4C17-8FA8-76FE933128F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3cfaf45516bf104eb0e4ddb66983c1456351622d","datavalue":{"value":"Effective description of positive models in various classes is one of the basic problems in abstract data type theory [\\textit{S. S. Goncharov}, Vychisl. Sist. 107, 52-70 (1985; Zbl 0621.68020)]. Aspects of definability of positive algebras by universal Horn sentences in classes of their effective homomorphic images play an important role in logic programming [\\textit{J. W. Lloyd}, Foundations of logic programming (1984; Zbl 0547.68005)]. This range of problems turned out to be closely connected with decidability problems for positive enumerations of these algebras. For example, every recursively enumerable set of universal Horn sentences that is true in a nonrecursive positive algebra is also true in some positive quotient algebra of this algebra [the author, Vychisl. Sist. 133, 3-13 (1990; Zbl 0752.03016)].   In what follows we prove that every nonrecursive positive algebra, which is completely defined in the class of its recursive quotient algebras by a recursively enumerable set \\(Q\\) of universal Horn sentences, possesses a continuum of congruences such that \\(Q\\) is also true in quotient algebras modulo these congruences. We also demonstrate a number of applications of this fact.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$4AF4737D-F52E-43A3-B320-502A52BBF957","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$978E465A-845B-4A12-B46D-B2121CE896DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$482DDE3F-942B-468D-961B-AB24A381F97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$323A67D8-FCBB-4881-BA60-F4FFE2FDF421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$36C556AB-884A-4E3C-BBF7-4A35B37EA4CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c725e3c4510ca2686aa89478c1f7b90fb96a9e62","datavalue":{"value":"536664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317611$9764E1E1-32C2-46AF-88C0-C3477DB68FE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0279b6c7308b26d6a3f804b46844cfd04ecb91c4","datavalue":{"value":"effective description","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$46E63D71-B116-4179-954E-E036BF81873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452647c7fb6010a2886429143f02c8948bfce36d","datavalue":{"value":"positive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$8194CAE8-E4CE-47F0-A87D-167C2C4A0BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$40FE1BF1-7EA4-49BD-8C05-3B799F758841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336333bcbc76e1e602ba54443f910e164434968d","datavalue":{"value":"positive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$5473A452-CEB2-4B48-B6A0-8C1E32E284D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$046D4BED-F0C3-4E72-AC2D-348BDDA72CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095c13c304153ef5efaf4cbfa1f317206358d1e3","datavalue":{"value":"decidability problems for positive enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$2322E21E-AFAF-4032-A87E-AF0094FCA09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7900cf99a55fc320453b2d28cf1be64983f7bd28","datavalue":{"value":"recursive quotient algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$A6062F33-804F-4017-A001-AB525A0F6C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cf2390cbf1dc6aa717b01f2569e35ae6c0998e","datavalue":{"value":"universal Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317611$6CF028CB-3476-41EB-A000-4579C7C474EE","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":"Q1317611$E19E0867-8E37-4389-BFE2-50901C9DDE7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995fdf498ac1eb0e73cec95e3adef4b1579cba65","datavalue":{"value":{"entity-type":"item","numeric-id":3757388,"id":"Q3757388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$91B1C430-908D-4FC8-814F-18867F0AB590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8531d6d5833750bd5060c93e4d7a3c91a520c392","datavalue":{"value":{"entity-type":"item","numeric-id":3994666,"id":"Q3994666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$A131F7A9-F369-4481-BAF5-AC7E11B6A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb8630373e4717a0493dbfa41a7a15321a5bfbd","datavalue":{"value":{"entity-type":"item","numeric-id":3809790,"id":"Q3809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$F24042F9-0306-46DB-80F0-71D0F04504A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6acee66a9d92dcda913d27703b637c3e472db","datavalue":{"value":{"entity-type":"item","numeric-id":4005058,"id":"Q4005058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$762D914A-249E-4094-AFEE-D795B08F3C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fea409d068e028c6c3d0af5829aad9ff3387dc","datavalue":{"value":{"entity-type":"item","numeric-id":3362859,"id":"Q3362859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$FEEF9265-7499-4484-A52B-423424AE9678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317611$B207BE76-49C1-4192-8DD5-45A5BFD8D493","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944853faa9e4dfd85450907723ce1dbda5e63ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4339468,"id":"Q4339468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5d561f3f34d6dac027d33ac5d0416c7a3c036f","datavalue":{"value":{"amount":"+0.90202045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$0C0A9B0C-CDF6-404C-966C-688367765208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21bbb5300cc919a9c6e59832437fe77f92cb4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1191158,"id":"Q1191158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0d9cc663a963d9489128724ce3c283bb299f3","datavalue":{"value":{"amount":"+0.898695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$573CAA57-5B8B-4626-88DB-AA5045C4778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78262e87cdc6e44192dee0bd93fb93efb7867dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3362859,"id":"Q3362859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0d9cc663a963d9489128724ce3c283bb299f3","datavalue":{"value":{"amount":"+0.898695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$348E9366-126A-42ED-9E1F-D890B3F75B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99387d4acf78012d6ee12dbf895a871ad695c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3180886,"id":"Q3180886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a74fea6601a68a9d5770ac1f24c5d8556a49f0e","datavalue":{"value":{"amount":"+0.89697456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$E837C93C-5338-45C2-A580-AFA1D9FE55BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7d041c532e51c261c0a57e23b6efa8bb7550e9","datavalue":{"value":{"entity-type":"item","numeric-id":4167132,"id":"Q4167132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e9a84ccfe008e7cddd1d0edf2a94f09e47d258","datavalue":{"value":{"amount":"+0.882363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$0E15AFCB-27B0-4103-9580-163DD68494EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a14618ae8fd653249f1c3a086a7f49ddbb1f660","datavalue":{"value":{"entity-type":"item","numeric-id":2752415,"id":"Q2752415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1614007581f30ae6eb31bbd1a6f81ed9a3a00ff6","datavalue":{"value":{"amount":"+0.8820094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$3D58C093-FE00-415D-B150-8FAF3FCD7205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d5a78cf2526e3047f562717d9164c3283f6c68","datavalue":{"value":{"entity-type":"item","numeric-id":1344092,"id":"Q1344092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6165de75dc817d326e526c36455ebdf264d5c895","datavalue":{"value":{"amount":"+0.8815208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$D6CF9C3A-8229-46D6-983D-57CEFBC10246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2bbabe305cb6ec24926c331add147c4a8be8ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2366357,"id":"Q2366357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0d8cea34785c3335edcb482d703d4a9dc23323","datavalue":{"value":{"amount":"+0.8767786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$0194E13A-080F-4B9B-AA92-CB386FFB15D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07307f956bf12088b3c046d746f020d576a048d3","datavalue":{"value":{"entity-type":"item","numeric-id":1849979,"id":"Q1849979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3b49da098a7f7ca01fa14edeadcb647b725637","datavalue":{"value":{"amount":"+0.8763993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$6F24EBEA-2DD5-42C3-973D-747C585DDF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efa914b8ad434b4753c915a0bac78e3bca5a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4668106,"id":"Q4668106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45a8c2636e5ca66361cb6f832d078a750e898835","datavalue":{"value":{"amount":"+0.8762409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1317611$D1278017-6AF2-4FEF-862C-7640A6A8327C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of \\(Q\\)-congruences in positive algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_%5C(Q%5C)-congruences_in_positive_algebras"}}}}}