{"entities":{"Q1770617":{"pageid":1781359,"ns":120,"title":"Item:Q1770617","lastrevid":48453304,"modified":"2026-01-04T20:51:43Z","type":"item","id":"Q1770617","labels":{"en":{"language":"en","value":"Finite quasivarieties and self-referential conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153449"}},"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":"Q1770617$CFFA24DC-0255-414E-BC37-101A54A092D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5d7862935e7f4647c6ff61c559966e6b21a2f13","datavalue":{"value":{"text":"Finite quasivarieties and self-referential conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770617$7DE80D6D-B3F1-4EFC-88D0-9A47C373EC8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"003934648d400cfd8e6f79d02d60e0d72691ed37","datavalue":{"value":"1105.08009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770617$F58B6400-4C4A-4C63-8D3B-ABF8C84267A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6b8f421ff10d9195ff8a26ef6bde6b145c1923","datavalue":{"value":{"entity-type":"item","numeric-id":323014,"id":"Q323014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$34470509-24B9-4815-BE0E-51EB70BEF3E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$D2222121-5088-48EE-B69A-63481C7A3C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770617$3F4A20E7-DC31-4023-8CB7-82858A16456E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80403e87fdb64ec58a11b7b9d1d687ff60669697","datavalue":{"value":"The author considers classes of finite (universal) algebras defined by a system of quasi-identities, calling them `finite quasivarieties' or even `farieties'. He introduces a new type of formula, called `recursive quasi-identities', which are implications of the form \\(\\bigwedge_{1\\leq i\\leq n}\\mathbf e_i\\to\\mathbf e\\) where \\(\\mathbf e\\) is a term equation and the \\(\\mathbf e_i\\) are either term equations or so-called `positive recursive conditions'. The latter allow to express a certain degree of self-reference with the goal of simulating recursive definitions. The main result of the paper is that a class of finite algebras is a fariety if it can be defined by a system of recursive quasi-identities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770617$1091B6D6-7DB9-47F2-9578-37AFDE2D5D07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770617$BE12377D-8206-4BC8-8650-621664FB7EA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b54af00bd16b0d5b1935883ba99a326acde240d","datavalue":{"value":"2153449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770617$6B0120C9-3CBB-4E7C-BEFA-45FEC952A129","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770617$6CD7AE4E-7D4F-4473-90FB-AB084830ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5d66a98bb18fa91e609345e2fd2a3070761a9f","datavalue":{"value":"quasi-identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770617$58DDA2B6-FFAD-40DC-93DB-7186B4591970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770617$068E1225-7788-4BF8-8557-A81FA36350BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770617$A99EDF46-C1BC-4527-850E-A15A8EAD1C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc7da8e83c0ea7b7f0772c6f176e4d27f20b9f1","datavalue":{"value":"self-referential condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770617$C89F3735-78D9-4359-9896-013BD0C72443","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":"Q1770617$4A04A665-45B0-41F7-AEE3-4F5121278217","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c933b3a455ea776f848f015090f166a1742a5624","datavalue":{"value":"https://doi.org/10.1007/s11225-005-7348-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770617$5922090E-AA80-44D6-8003-22FF557C9E55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c46135ef5fa5ad08614cc819acd188a6641626f2","datavalue":{"value":"W1963885651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770617$AE875E11-95A2-46F2-BA94-71A169EFFA6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$3515223F-8ED5-4FC9-B9FE-AC21BB3C36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0046987273399a21be5b1236b1636d7e1932402","datavalue":{"value":{"entity-type":"item","numeric-id":804712,"id":"Q804712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$AFD1773A-C766-4894-8E3A-97C2ACD4FE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eff65327e75c44d90f5456356b926e13f3a1fc5","datavalue":{"value":{"entity-type":"item","numeric-id":799720,"id":"Q799720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$1A0A4376-4ED4-44C0-99BE-82F577DC7380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$E07AFA7A-019A-407B-9C40-19B8D998FC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$C9AC51CE-E07B-42C8-8516-78F47CE2E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$10899703-B5F4-4390-9339-A28738CD3A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e8968473feb80edf8f4af1d4668436359e684","datavalue":{"value":{"entity-type":"item","numeric-id":1908454,"id":"Q1908454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$E6409396-E9F7-41F6-A48A-694BB95FF44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$B8A2554F-9C45-4F16-A0E5-5E312009FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23918b77ccb5f7ebeeef1229d02f08d910458f9","datavalue":{"value":{"entity-type":"item","numeric-id":1358940,"id":"Q1358940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$E7E8E414-61B6-406C-835D-BE98C3B0982B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b741c07a242bb409b9dec7585f23ff38e8f6b3","datavalue":{"value":{"entity-type":"item","numeric-id":4500813,"id":"Q4500813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$3FF1289B-8D02-48EE-BDC1-85B9514565B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d81f027cefd5138d91f995f96c77e38c050dd6","datavalue":{"value":{"entity-type":"item","numeric-id":4548273,"id":"Q4548273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$BF2594E0-C81A-472B-B9FC-F6C183C6B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537bbdc7aa371e34f0d13e03a4b5ad8f6b3b0aae","datavalue":{"value":{"entity-type":"item","numeric-id":2704720,"id":"Q2704720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$DCC3A5C1-46CB-4656-83E4-42150FE3FD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e67792e9aad78f51d34fff44e75d6b22a33df3b","datavalue":{"value":{"entity-type":"item","numeric-id":5952240,"id":"Q5952240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$BDBC511A-B9EA-455A-8F8F-2F9B14DA7DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e092800f149505c155183c5e6374f3c092e48f","datavalue":{"value":{"entity-type":"item","numeric-id":4852667,"id":"Q4852667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770617$E45B9633-C28F-445B-8879-68ECC8452D80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b183994d0cb89cc7eceb2c9bbd1d64cd28c6c40e","datavalue":{"value":"10.1007/S11225-005-7348-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770617$F5D69673-FC80-4709-B0ED-5E662955C254","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1dde9af3cbcb25bea6dabeec9eb055e2c4c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3600925,"id":"Q3600925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd9c33ca93d6cce9cceca7f6eaf48e5a04d64ae","datavalue":{"value":{"amount":"+0.7955257296562195","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":"Q1770617$C76E84AC-6DAC-4D33-95B9-89F308E638B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7607108b046ae63932fa8144df69fbf00bf5a8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4459090,"id":"Q4459090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f7028416a3d7ffc2f89f93bb87c9a80302ca5e","datavalue":{"value":{"amount":"+0.7703924179077148","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":"Q1770617$EC212365-861B-4AD0-B12C-69B1DEE6ED02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d746f885fe5ed629f950859dc165aec4b5f1f85","datavalue":{"value":{"entity-type":"item","numeric-id":3351421,"id":"Q3351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842885f7a89ef536404ca74585662220870bf494","datavalue":{"value":{"amount":"+0.758693516254425","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":"Q1770617$C518FA01-1526-41E7-8970-8DFC19B855CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfbcda192862fc7bcdef429d227ab17e9366809","datavalue":{"value":{"entity-type":"item","numeric-id":4668869,"id":"Q4668869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc540bc620ee6a4e6f40c303e1f5e6694bd2968","datavalue":{"value":{"amount":"+0.7546288967132568","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":"Q1770617$A0D42FD8-DB5A-4167-B5B3-CF69D4795A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27960a121ca04b6de8b19b36dd4f8112642a3d43","datavalue":{"value":{"entity-type":"item","numeric-id":1771875,"id":"Q1771875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd4b3b55f93b33c4d239cba4b226c9f0f97caa1","datavalue":{"value":{"amount":"+0.7541171908378601","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":"Q1770617$E6D751AB-8B93-4856-84F1-4647FEAFC593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770617"}}}}}