{"entities":{"Q920205":{"pageid":922053,"ns":120,"title":"Item:Q920205","lastrevid":65355309,"modified":"2026-04-12T02:00:40Z","type":"item","id":"Q920205","labels":{"en":{"language":"en","value":"Decidability of the elementary theory of a finitely defined quasigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4163160"}},"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":"Q920205$291BFA11-2B34-439B-A695-E2E633C57E1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef3df1228a5f762605908842bd1c13bd173ecab7","datavalue":{"value":{"text":"Decidability of the elementary theory of a finitely defined quasigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920205$76983902-6828-477C-880C-B8EE14EB34EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71651c7427bfca99a3f404740438b5cf1e5459eb","datavalue":{"value":"0708.20022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$943C67AE-F9CD-41C8-B369-0F2FEF0DF9F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8724f12272b3d33881a23cc3688c1b460c15af70","datavalue":{"value":"10.1007/BF01163826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$6F697C9B-B99D-47E6-A92E-8211A19DAF4D","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":"Q920205$2813FB13-B3F2-4FC6-95F5-49CAD51D52F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920205$2B60CAD9-AA57-43CF-BC16-DF784045BA79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q920205$DCD82C1E-52CE-4C59-A938-6EF2791CC436","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d40531f3fb8e6010f5b2c32cfa99d30ddf3479c","datavalue":{"value":"Let G be a finitely presented quasigroup given as \\(<A;S>\\) where A is a set of generators, S is a set of defining relations. The quasigroup G is considered as \\(\\Omega\\)-algebra of type \\(<2,2,2>\\) with the signature \\(\\Omega =\\{\\cdot,/,\\setminus \\}\\). Let L be a language of first order (with an equality) having the signature \\(\\Omega\\cup A\\). The set of all closed formulae of the language L which are true in G is called the elementary theory Th(G) of the quasigroup G. The elementary theory Th(G) is always decidable for finite quasigroups as follows from a paper by \\textit{T. Evans} [J. Lond. Math. Soc. 26, 64-71 (1951; Zbl 0042.033)]. In the work under review its decidability for infinite finitely presented quasigroups is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920205$B18B06C0-F2D4-4D3B-82AB-03B47A43928F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$6447D16C-FBD8-4C04-B58C-3C791C5668BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$EC775957-F66F-4B5C-B722-F8D7E550372B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$D3F1BAF2-8774-40AD-AF7A-926F5F4BD31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$BE92AAD2-0190-4814-95AA-AC31E4040629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$8F02E4A2-ED46-4A28-B33B-199AEAF15382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00ebbca2e0b45ff6d3df779ff973e9784ca901c2","datavalue":{"value":"4163160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920205$336D01BC-0E1D-40EE-8610-D4A8B225FAEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q920205$D027C5E5-D16F-4660-9FDC-E5A804BC6679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b95c7182255c8e0e8ecfdca7f5a7528a1c597e","datavalue":{"value":"defining relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q920205$BD5494E3-ABB1-43FD-A937-51FA62CC8FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q920205$D0BE535C-6795-4561-805E-6A14628C6529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q920205$13F9AEBE-0AFB-449F-BF6D-459645ABD1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48b5f3e844a50612e0201185289ffbae262286fa","datavalue":{"value":"infinite finitely presented quasigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q920205$6AC99A8F-0C3C-49B5-B2C8-87D9F091BE7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e9d3cf9bc0d7d321cd1d95c5621cab25d9087525","datavalue":{"value":{"entity-type":"item","numeric-id":214362,"id":"Q214362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920205$821C3926-BE18-4BB1-8E96-CEBF2BDE9E36","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":"Q920205$5F30F542-F507-4913-8F05-4A57782612C5","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":"Q920205$4D11E7D0-5AAD-4FF5-B77D-FFEBC09067D0","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":"Q920205$1E9D4B5B-79F6-4693-BBD9-64800DECF3B5","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":"893abbe601599dab91467e30f33d4a7b8afc4f31","datavalue":{"value":{"amount":"+0.9513502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$14EC63C9-6EAB-42B4-973F-9879BA3E6EE3","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":"16123481d21641a84906b1abb31142838c4e4d3e","datavalue":{"value":{"amount":"+0.9372371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$00A96A1C-4A1C-46AC-B6FF-C640AF7E99DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ba3c6e93294bdc004f3d4266d37a1d809ce698","datavalue":{"value":{"entity-type":"item","numeric-id":1803020,"id":"Q1803020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8197334115aaf3950cbf0964c296de7b305e09d8","datavalue":{"value":{"amount":"+0.9243275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$F90B4115-8E77-4C63-AE1B-6399007B6D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c266ebf301c12ca12ea76598e3bc2e61a0baa41","datavalue":{"value":{"entity-type":"item","numeric-id":920966,"id":"Q920966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ce3d328d94d40c95e9f98706c85c442b77cd11","datavalue":{"value":{"amount":"+0.9060445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$2D9EEBF9-82DC-456E-852A-240245D8DF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bbe97fa5702a42cfc7799c77f3df76dd059709","datavalue":{"value":{"entity-type":"item","numeric-id":1771861,"id":"Q1771861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80770ffdf22ee1791584a036ee21f80414465390","datavalue":{"value":{"amount":"+0.9010776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$7E14B80A-59FA-4036-BE13-9F9C6B5302EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75edb5f037176b3fa178cda260d51a764370a782","datavalue":{"value":{"entity-type":"item","numeric-id":3693683,"id":"Q3693683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61c6d0573824a6e1c8ee301afeb45b266402d2a","datavalue":{"value":{"amount":"+0.8947557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$E25E1590-F7ED-497D-9D65-1E2F6C0ECB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60512bd7c445418079532b0d380cc580f71ea612","datavalue":{"value":{"entity-type":"item","numeric-id":3203010,"id":"Q3203010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c943c6707bb2fc0ccafebe6364ece18c13a1b57","datavalue":{"value":{"amount":"+0.89375985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$4FDD6E52-156E-4C33-B06B-39BBB3C8C0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf247b5f5a20c12b88b56185f3709faac669f12","datavalue":{"value":{"entity-type":"item","numeric-id":3816046,"id":"Q3816046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5110d212f46695ab0f265b71e4f7e7a9e437f23","datavalue":{"value":{"amount":"+0.89067453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$D7363D57-10F9-4E67-8AE0-C0077612B542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8145dd1f3e7b01557556b79659284a3621cbc79a","datavalue":{"value":{"entity-type":"item","numeric-id":3699893,"id":"Q3699893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee2d7352db0108ff760cbff6d5f084fcc5e6e51","datavalue":{"value":{"amount":"+0.8895613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$14EE80DE-1102-4F06-A2EF-2A7F7A01D6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66436124c7c0d6b3ff253c6c927974b4fb5eed48","datavalue":{"value":{"entity-type":"item","numeric-id":4254681,"id":"Q4254681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0017879b5b7042a44735e409dfb7b89af41021b2","datavalue":{"value":{"amount":"+0.8881855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920205$7D48C8E0-9DED-481F-8BD5-A6896423B1CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the elementary theory of a finitely defined quasigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_the_elementary_theory_of_a_finitely_defined_quasigroup"}}}}}