{"entities":{"Q1586995":{"pageid":1597735,"ns":120,"title":"Item:Q1586995","lastrevid":70911891,"modified":"2026-04-13T18:11:57Z","type":"item","id":"Q1586995","labels":{"en":{"language":"en","value":"Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1534493"}},"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":"Q1586995$C908B63C-7E3E-4E06-9A6F-00AD8591DEFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e16056bd59b4757bf3ed5c6bac627654e13aa9eb","datavalue":{"value":{"text":"Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1586995$9AA7DE03-347B-4CA7-ABE1-ECA7442DE5AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ae3eb7cf059bc3be58ed18a2ba5bbc262bd73ac","datavalue":{"value":"0953.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$1E814387-3B51-47C1-87BE-093FEB56B85F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8954208166b714bf5cd7ff8611f80a035efde385","datavalue":{"value":"10.1007/BF02674114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$6FDD76B3-C5BE-4E3A-B349-AEEB1B6E7CA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6a6b157f87d24505c3a6cb2741717ad89828c3","datavalue":{"value":{"entity-type":"item","numeric-id":694200,"id":"Q694200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$3E448561-9C5D-43ED-88F9-E9809F575CFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$EC38AF62-B5B0-4E31-B1F6-3A33D567BB81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6246d2b0758e40e13ebf36e49fe4eeee1d8a2e43","datavalue":{"value":{"time":"+2000-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1586995$2F78A843-D14E-4772-8C63-3C22CB9EE71B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a17bde9f1bb04b733411ef749f00b58559f13d7","datavalue":{"value":"https://eudml.org/doc/120719","type":"string"},"datatype":"url"},"type":"statement","id":"Q1586995$73243F00-78E4-452D-9A7A-580B7E81E6F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"febd714cf39d68ec7450bf2e864f04944fcf5f38","datavalue":{"value":"The author establishes a correspondence between ternary rings with unit and 2-nilpotent commutative loops in some finitely axiomatizable class. This correspondence makes it possible to obtain the following main results:   1. The sets of identically true and finitary refutable formulas on every nonassociative variety of commutative Moufang loops are recursively inseparable.   2. The theory of a variety of commutative Moufang loops is decidable if and only if the variety is a variety of Abelian groups.   3. The sets of identically true and finitary refutable formulas on the class of all medially 2-nilpotent Steiner distributive quasigroups as well as on every nonmedial variety of distributive quasigroups (CH-quasigroups) are recursively inseparable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586995$F28DD9C1-747B-4FC0-B961-D93283A6D6DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$8C032F75-7C3A-4C7D-8E4B-5EDF4DE0A9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$3584A5F5-9165-47BC-AD51-601E1F521AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$E098504B-F8C0-48D4-A346-5CC635817FBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c591b6c75b59f60da6321e639f3a6722b7152096","datavalue":{"value":"1534493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$A498A442-188F-43A2-8F63-48E03CFC1E0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd8781bddd936e216e70a0c72370f70ec6e4fe3","datavalue":{"value":"recursive inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586995$DB615C2E-135A-4133-A73C-728FFCE5F151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586995$AB7DE711-8126-4E93-93E1-10304B63C45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999f4fadf635f0d276619be8a504062a0c039abd","datavalue":{"value":"ternary rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586995$6F1047B6-94A7-4EB0-BB46-DDD41B428EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f413979e4b4e87057ed020b9518a6f7909f534","datavalue":{"value":"finitely axiomatizable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586995$2961241D-B9AD-4BDF-AA3C-A1A37C485300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d9ae30f439ef505a52f54cc1dfaa91a75f906c","datavalue":{"value":"quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586995$206B289A-5512-4E4D-89DA-66617A30BCD1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$AF2AAA45-AF3A-4DA9-B680-663067F31446","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":"Q1586995$C3C1CCE9-FFBA-45DB-8DFE-7E4BA1D5A1D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afe3b28e7f8cc914259f78acb9942131a17cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1136747,"id":"Q1136747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$22F6720D-2328-42AE-962F-69941506DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b8f60e0cd3c4365199ff7a30d1592857f4449e","datavalue":{"value":{"entity-type":"item","numeric-id":3248988,"id":"Q3248988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$2822A81E-F247-413A-9197-C652B7A62E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$C75968CD-A908-42F3-9377-3E3F0BCCABF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$E647131B-6DA8-43F8-9F1C-7228F3CBC045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca476cde60c22a2bc3f464f3bc4495d1821beb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2556948,"id":"Q2556948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$129823E2-B811-405F-8C42-A104BF947EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84584f98050387c52b50d31b104fb342b1d98e6","datavalue":{"value":{"entity-type":"item","numeric-id":5669427,"id":"Q5669427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586995$53CC4474-3D3D-4B52-BFF4-0D36D7CA2A17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c27a066d02637d17203c5f4e2402e2da3e557751","datavalue":{"value":"W2083806371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586995$631A5BB9-2F2E-4808-AE26-488F63EF5BD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47919850ec43df44ef20c7555a1031f5fdfdd2bf","datavalue":{"value":{"entity-type":"item","numeric-id":784468,"id":"Q784468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d577a5a42a5262ee3ca5dfa3647987213cfb3a","datavalue":{"value":{"amount":"+0.8012071251869202","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":"Q1586995$F5302ABC-2D33-47F3-8739-227F3B462E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7f486b61c12ad8ec2a0ad16173d68a3302c910","datavalue":{"value":{"entity-type":"item","numeric-id":4723973,"id":"Q4723973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c7ed930e94c4733dd93558a33886d5de70b1cb","datavalue":{"value":{"amount":"+0.7840896844863892","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":"Q1586995$8289C34E-B90E-4960-8EB3-9AE383A3E040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d663e55c240fa26b6b3198d55c50b40bdea04ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3720829,"id":"Q3720829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cf53a81dd9da6bc019aedba2149cda45d4a770","datavalue":{"value":{"amount":"+0.7542456388473511","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":"Q1586995$92CE7626-6BB1-40ED-84A8-E021A91E3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9ae27f845850e28aca9867ff63d53de5cb5dad","datavalue":{"value":{"entity-type":"item","numeric-id":1177464,"id":"Q1177464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc5abae2b19a9a9150b291a175987dbc51dfbeb","datavalue":{"value":{"amount":"+0.7474852204322815","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":"Q1586995$BF85E14C-9276-4EF2-9A26-5E2D2BC2D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246374ff702bd0993a4f4104d0013bde1759044f","datavalue":{"value":{"entity-type":"item","numeric-id":4425207,"id":"Q4425207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc5abae2b19a9a9150b291a175987dbc51dfbeb","datavalue":{"value":{"amount":"+0.7474852204322815","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":"Q1586995$27517B94-334F-43BF-8886-3742E6482445","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursive_inseparability_of_the_sets_of_identically_valid_and_finitely_refutable_formulas_of_some_elementary_theories_of_varieties"}}}}}