{"entities":{"Q800486":{"pageid":802334,"ns":120,"title":"Item:Q800486","lastrevid":64467144,"modified":"2026-04-11T20:04:21Z","type":"item","id":"Q800486","labels":{"en":{"language":"en","value":"Semigroups with one defining relation whose elementary theories are solvable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875541"}},"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":"Q800486$EFE6120B-2689-4F2B-8515-62C49CA6486D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4038205ca8ffeee4cf1a75121a61ac437e947c38","datavalue":{"value":{"text":"Semigroups with one defining relation whose elementary theories are solvable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800486$4D0724B8-70CF-4AD0-AC8C-A8015177B4BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccb330c268a650bb62ea7a45f5e66305721af24e","datavalue":{"value":"0549.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800486$65103B21-6912-47C4-BCF0-A5B025CAECAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a6fe897ee06fcaf48cbcf80d24b06e725076d43","datavalue":{"value":"10.1007/BF00968793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800486$B2F57405-0390-4515-9C49-43989CD26724","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5d1d201926b61ef4bb727e216a275e3b26a0ea5","datavalue":{"value":{"entity-type":"item","numeric-id":800485,"id":"Q800485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800486$81DBC7CF-EA7F-46C1-BAB6-0F98ECD8D975","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":"Q800486$5B041422-FAC8-45A0-AB9A-A95A4B68678B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q800486$81038B23-EA2C-43D9-88E8-251E0582025C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4571e9a68515041270089de7b8edc458d53fd1c8","datavalue":{"value":"A semigroup with one defining relation has a decidable elementary theory iff it is either monogenic or generated by two elements a,b and defined by one of the following relations: (I) \\(ab=ba\\), (II) \\(ab=b^ k\\), \\(k=1,2,...\\), (III) \\(ba=b^ k\\), \\(k=1,2,...\\), (IV) \\(ab=aba\\), (V) \\(ba=aba\\), (VI) \\(ab=bab^ 2\\), (VII) \\(ba=b^ 2ab\\), (VIII) \\(a=bab\\), (IX) \\(a^ 2=b^ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q800486$A82A1F33-2E56-48A0-AE7F-838AE3063433","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800486$8BCEF992-CB87-4CAB-B137-D0F450F28585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800486$E3155167-FBCC-4A05-9303-B430419693DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c52aab92d4e7d10f610952bb6fb0c42ad619224","datavalue":{"value":"3875541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800486$3077EA66-AC80-4498-939C-F14328C32E8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q800486$3DE004A5-C28C-4233-A787-E6037CAF004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81014c67d2acd93176992c1d71081db7267a0071","datavalue":{"value":"defining relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q800486$566F2A22-961E-47A7-8359-51E680CFFBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76313d41bb6d6ecf1ec52f54897b05bbd4fb530c","datavalue":{"value":"decidable elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q800486$48B36422-78FD-4BA0-A3CA-D0CBFD7656CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q800486$4F657AAC-86F9-4759-88BD-D46420475D59","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800486$DA0560C2-5F79-44D9-B3E4-D7A256B117BF","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":"Q800486$655FA0BB-9A44-4596-98CB-4ABA4843513B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29145c26d0da07bcf38f30a9566dd2dc0d878fc","datavalue":{"value":{"entity-type":"item","numeric-id":4170913,"id":"Q4170913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800486$EB846B54-FD48-4B07-BD9B-4579E67764FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74daa40c028fa3eea431904b16cc03f7a60d204c","datavalue":{"value":{"entity-type":"item","numeric-id":1156785,"id":"Q1156785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800486$BB8D5B58-800B-4A87-BB5E-FE15D8F6B588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ebb814ccda0fa05a6876dcb57a0f635a01aad0","datavalue":{"value":{"entity-type":"item","numeric-id":5641547,"id":"Q5641547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800486$25A6B1C9-416C-459E-BE04-84BA11D4EC94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cba31850b75482dbcb4e36905f21b6d1a545286f","datavalue":{"value":"https://doi.org/10.1007/bf00968793","type":"string"},"datatype":"url"},"type":"statement","id":"Q800486$09E7E6E6-C217-483C-B0F6-583150335264","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ecc627cea4261556136dda6af82ea082f92dd38","datavalue":{"value":"W2039633928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800486$1504184C-727B-46F4-8916-4C24BCD3287C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f187de142b4a543c479195f3abb29b7184d6665e","datavalue":{"value":{"entity-type":"item","numeric-id":701375,"id":"Q701375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2513e2abfe40f9a867ddb48a00b71eb29ad09b61","datavalue":{"value":{"amount":"+0.8910414","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":"Q800486$EA3F9744-6B03-415A-A4B2-D62D5EFA3642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93bcbe7268ea700ad3b8582a7266959000afc16","datavalue":{"value":{"entity-type":"item","numeric-id":3735946,"id":"Q3735946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952894150b5fd33a01fc8039ed4505adfa6604ca","datavalue":{"value":{"amount":"+0.87522185","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":"Q800486$124C3A30-497E-46C2-A975-038C5A61A345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a4875d12044332c20c99c1958ab119ebfc7f78","datavalue":{"value":{"entity-type":"item","numeric-id":1274007,"id":"Q1274007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360bdf2194eeb788097f225e04de020e7091c79d","datavalue":{"value":{"amount":"+0.87151104","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":"Q800486$EB529DCB-3D65-45F1-8839-DCB16143EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ef427f65259fd7211024eaac004f1c4d72fb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3338805,"id":"Q3338805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c209c7506c16617ffea6caa413726b2c44cd05d5","datavalue":{"value":{"amount":"+0.8683952","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":"Q800486$B6A486FA-C74A-486E-923C-72E0CA5735F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13512772f2e063efeb8c9c6fe0435a3bfc18d83b","datavalue":{"value":{"entity-type":"item","numeric-id":4311865,"id":"Q4311865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105f54c75f6ef1949c45bbb2e65fc4b9b222d2aa","datavalue":{"value":{"amount":"+0.86701125","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":"Q800486$5582CF69-AD7D-487D-B628-F7545FC7C542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e68a31d9d6db70373f2b19faf143ca86b47b6ab","datavalue":{"value":{"entity-type":"item","numeric-id":3708984,"id":"Q3708984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa4fb0bdcc2bfa3ec8c2cee53c5cedaf5efeb77","datavalue":{"value":{"amount":"+0.8642109","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":"Q800486$04FD724B-ED8C-46DC-80D0-F6B36AD3AE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d51c05a3428e4d6137446ea8899576e31a984","datavalue":{"value":{"entity-type":"item","numeric-id":3818495,"id":"Q3818495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532c37b5c04eb38f34d1d3cc70b9f715dbb87d09","datavalue":{"value":{"amount":"+0.8629699","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":"Q800486$A97E138C-A28D-4067-9233-CCC27B1993C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb83e09b156f072f72c381786e3c078d1126cc43","datavalue":{"value":{"entity-type":"item","numeric-id":580506,"id":"Q580506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce01ac97cd1972955ad25dd02a3e2d5b6955b145","datavalue":{"value":{"amount":"+0.8620684","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":"Q800486$1DD28B28-4B73-4E17-9BF8-72403F1CF143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fab660550e3a5ecfd67a0d95b1e9fd7c164f06","datavalue":{"value":{"entity-type":"item","numeric-id":3717032,"id":"Q3717032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad7c023cea5b3db8df9bb5888696bbcef41b04b","datavalue":{"value":{"amount":"+0.86120737","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":"Q800486$78603AB5-751A-40D8-8149-19ABBDBE2F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ab36247a967f81d018098c8f2100e970c6b080","datavalue":{"value":{"entity-type":"item","numeric-id":375923,"id":"Q375923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf6527f119e13f2e9c673f34bacb4724b69c3dc","datavalue":{"value":{"amount":"+0.8611112","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":"Q800486$23F86C54-066F-4C8A-9DA7-6BE4E6010928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semigroups with one defining relation whose elementary theories are solvable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semigroups_with_one_defining_relation_whose_elementary_theories_are_solvable"}}}}}