{"entities":{"Q1177464":{"pageid":1188213,"ns":120,"title":"Item:Q1177464","lastrevid":69809013,"modified":"2026-04-13T09:32:20Z","type":"item","id":"Q1177464","labels":{"en":{"language":"en","value":"On decidability of theories of finitely generated quasigroups in \\(R\\)- varieties of groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20570"}},"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":"Q1177464$A411A666-A7AB-42C9-BF02-003D037B4F34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3d3ac371e9c655372aec5d56acda95c6f44eddb","datavalue":{"value":{"text":"On decidability of theories of finitely generated quasigroups in \\(R\\)- varieties of groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177464$CE9BDB07-008B-42B3-9FD1-35F3FCA200B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2559067affc5ab806ece6a591d4b4cf2306b918b","datavalue":{"value":"0744.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$DB2527D6-B637-4E0F-9AAF-A7A4F6DDA0ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e5213f8a46a748c71a4b44e49683f75edf2d3a","datavalue":{"value":"10.1007/BF00970492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$B0E416B4-FF82-441B-A0AD-C5833DFAA062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b389fd8de5ba234f58ba7aa906a0c43916893c20","datavalue":{"value":{"entity-type":"item","numeric-id":584244,"id":"Q584244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$206E0AEC-E35D-4440-AB8D-A162C5216E20","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":"Q1177464$85D5EDF3-25C4-42C7-9923-21613E8C1907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177464$A858FED6-B264-4BA9-9025-256AB4828206","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e90d05c86f2b6d66c007ac67d66ae0e952342fb","datavalue":{"value":"The author continues his work on the solvability of theories of finitely presented algebras [in 9th All-Union Conf. on Math. Logic (1988) p. 177] and proves the solvability of an elementary theory of an arbitrary finitely presented quasigroup \\(G\\) from any \\(R\\)-variety of quasigroups. The proof has two steps. In the first there is shown the following property: \\((M=N\\hbox{ in }G)\\Longleftrightarrow \\exists R(M\\buildrel * \\over\\rightarrow R\\wedge N\\buildrel *\\over\\rightarrow R)\\) and in the second, there is realized an imbedding of an elementary theory of a quasigroup \\(G\\) in a suitable theory of a free algebra of the same type as \\(G\\), but with supplementary restricted quantors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177464$D37C4F79-B47C-4BC4-9C98-0E824BCC173F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$1B35B8D0-89DD-4543-A7EC-65A832C05E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$7EBEF3CE-3B7C-4C77-8F2A-03BCE5649101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$95D4F44A-4A42-49FE-8B2F-FBE338320B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$41980BCC-4931-4BE7-A4DB-B4DDD764965C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6986ca40e51f67609cdfa04cdc0a29802c265c0e","datavalue":{"value":"20570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$C05E3928-907C-44E4-BD3B-7D291042AA7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e5e2b031712b727efc6be531654bc7a89574a7","datavalue":{"value":"finitely presented algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177464$F1610067-0C61-4A95-AB59-66365333FF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177464$559F96E3-63E0-4C15-AE51-5C1A65609F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177464$7854E225-1231-400C-B4F7-A433D881BBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bdb03ebe260ff429ce1fdeb9ac3d83ad54d6e12","datavalue":{"value":"finitely presented quasigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177464$9D846F49-881A-48D2-9672-AAA22DFB9DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628754154078a77cb86ae263e2c198033843d0a2","datavalue":{"value":"\\(R\\)-variety of quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177464$B2C2719A-9C9A-4920-9967-CEC343F67D6B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17db65d494add44a16912e342a084e6032a962b0","datavalue":{"value":{"entity-type":"item","numeric-id":588194,"id":"Q588194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$508AF159-2520-4EA2-9A4B-71FCD9CCF549","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":"Q1177464$80DB3292-32B4-4A0B-9F01-E8189F8AD954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc0d97cda021a47a36ad57afedcdda62e25f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5803323,"id":"Q5803323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$A3127C59-C833-4EFC-8089-7442BEBD5005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d43769941d07a62a29365f201e64dc2b50e565","datavalue":{"value":{"entity-type":"item","numeric-id":5805025,"id":"Q5805025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$668DC4A5-961E-4F2B-89DC-CFCF73756EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6478aa1b7eb3d424ad93f4c3d82f501fa89a04c","datavalue":{"value":{"entity-type":"item","numeric-id":5515383,"id":"Q5515383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$91A6F752-5B11-4754-9085-64272A09318D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b885ba919be86010d469d9bebe5444b8caa18b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5562015,"id":"Q5562015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$4ACB6F37-F13F-499A-8B88-0DD165F9D1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cb3e6e22ac3605ee8558deac396f83f12d4d95","datavalue":{"value":{"entity-type":"item","numeric-id":2538663,"id":"Q2538663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$3AFF7F51-A163-4778-BA20-A158AAFBA220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d966c2e7e35d6f4e31000f67c38b927a10611b0","datavalue":{"value":{"entity-type":"item","numeric-id":5623721,"id":"Q5623721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$E71D471F-0EB2-4E61-85E1-CD5607DA1098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef1c89bfc13347ee9b18f0fc975aca4f64d06e7","datavalue":{"value":{"entity-type":"item","numeric-id":5656808,"id":"Q5656808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$8BB8E6D5-7E3F-4534-8A43-98BB1026318A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$202C654E-1C10-4A70-A072-6A53700D253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465b372f87f76dcecf7f2ccef24d6aa39cc6f4ef","datavalue":{"value":{"entity-type":"item","numeric-id":4726238,"id":"Q4726238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177464$E4FDA86A-166B-415F-8EA4-B655CB652DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5f0d3d2bee09c44e3ede0239392d492c146bd5a","datavalue":{"value":"https://doi.org/10.1007/bf00970492","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177464$909E5AD3-CD37-4246-BC3B-658AD50158B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"153f44cbdfebea1375d8b3d498760a35c35301c2","datavalue":{"value":"W1985091791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177464$4EEFCB94-908E-4545-99F2-6F0168A73C04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e8d8782bea05fe7b5a5f520f92f946ffa126e","datavalue":{"value":{"entity-type":"item","numeric-id":1311200,"id":"Q1311200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510ee40a19d701683fa127947cad6e2f21e9ca04","datavalue":{"value":{"amount":"+0.8832628726959229","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":"Q1177464$8BB4AC09-926F-4A5F-B996-96A1A4105D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f06238a4962dc89cd0f60bd432c6b6c6545cc5","datavalue":{"value":{"entity-type":"item","numeric-id":4029634,"id":"Q4029634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6788e7df1ef883d79e1983e6ebaece79a914bdf8","datavalue":{"value":{"amount":"+0.8818498253822327","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":"Q1177464$092969D7-E86B-4ADB-B648-97544C8D3E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014841787e7aa8861766eba1a7b1edf8f0eacf65","datavalue":{"value":{"entity-type":"item","numeric-id":920205,"id":"Q920205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859c46faaf8d9970b7f463909f985cafcb860b06","datavalue":{"value":{"amount":"+0.8784790635108948","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":"Q1177464$924E9E99-6487-4BFE-B8ED-29DAA35F8F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3519551eacfed739bd9a6671d8be653a076fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4733855,"id":"Q4733855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d11bdbb702db331613caf957c5a546c0f115e6","datavalue":{"value":{"amount":"+0.8027294278144836","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":"Q1177464$4C6D861D-C429-4398-B402-26815C8758DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88f1469aa6461d0ea37c52aef4bf5c8b9eda648","datavalue":{"value":{"entity-type":"item","numeric-id":4761711,"id":"Q4761711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e68030ab08449e1b47cde69f2f4bea29a4d513","datavalue":{"value":{"amount":"+0.8015533685684204","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":"Q1177464$9129B08B-C535-4BCF-9527-DE60EE27C2DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On decidability of theories of finitely generated quasigroups in \\(R\\)- varieties of groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_decidability_of_theories_of_finitely_generated_quasigroups_in_%5C(R%5C)-_varieties_of_groups"}}}}}