{"entities":{"Q6194082":{"pageid":13328970,"ns":120,"title":"Item:Q6194082","lastrevid":99021668,"modified":"2026-06-05T19:02:48Z","type":"item","id":"Q6194082","labels":{"en":{"language":"en","value":"The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7804914"}},"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":"Q6194082$5309244E-F545-4402-AD33-4665E922EB4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d054a3b002365b1039ae814462bf29982b81e2","datavalue":{"value":{"text":"The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6194082$902256D2-4FFB-4243-A60C-7B95E9969B87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1e6d03b20653cf24882bcaab784fed6a1140046","datavalue":{"value":"10.22405/2226-8383-2023-24-1-40-49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194082$CD731F4C-967A-4BDD-971C-1D870F06E6D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b896a40141fe66fa661f90e065f3259a9b6780b","datavalue":{"value":{"entity-type":"item","numeric-id":827045,"id":"Q827045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$7B907348-1990-4861-9094-70A1249EBC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a40cb41d11caa86adf429dc57e1a1a9844c59ee0","datavalue":{"value":{"entity-type":"item","numeric-id":827047,"id":"Q827047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$BC2845B0-AFB2-4BCF-805C-F2D9EAD31670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"749f7dc4505ab7598f63dc39e6a52996cfa01334","datavalue":{"value":{"time":"+2024-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6194082$9A78B90A-D477-4B38-B769-5B9C55B9171A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"632ef0c9d2526ddd35ab3dc0b91ae8ef8a1174cf","datavalue":{"value":"http://mathnet.ru/eng/cheb1281","type":"string"},"datatype":"url"},"type":"statement","id":"Q6194082$C9A13300-05E2-4A82-9E09-EABE462ED778","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194082$EBF95B4D-BD6F-4BE4-9A20-C35B9BEEA847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194082$1B3E998C-872E-448D-97D4-8DFA0EA756A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dadd51659d8d294e9e1e99537b3396608097a4f0","datavalue":{"value":"7804914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6194082$09FF915A-991A-47AC-8917-9B6DFECADDE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb13343dc33c5509354f6670aae57476fdbd868","datavalue":{"value":"positive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6194082$46A84CE3-DB4F-4E4F-AC63-E1A24C8C9037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b58607a23002f1ed7236d38d508c9214da49f7f","datavalue":{"value":"positive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6194082$7F4FCB7F-CCD7-4841-B31F-0EF8407899A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6194082$B384C99E-AB13-429B-A3BA-A808A944BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13593700fffa1c58f604f3551cadf2cbb14aa2e","datavalue":{"value":"algorithmic solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6194082$53C5572A-77C5-4C12-BD66-C8570A15176A","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":"Q6194082$93E8E3C6-722D-45ED-92B4-4C8400B8D7FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d13d8a01f8b4de37cf82c0da98cbcf3f1f4283","datavalue":{"value":{"entity-type":"item","numeric-id":3248009,"id":"Q3248009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$F877C69C-38DE-41D5-AFAD-98C0F3A15EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$44038035-4E4F-43A8-948E-65D66DD3C97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a813e598e70d081d33b4f49bd269326e59f0c89","datavalue":{"value":{"entity-type":"item","numeric-id":2535693,"id":"Q2535693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$9EA58826-8F77-4D95-8AF1-CF75B93CEDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffab9107d6323d7b497634ac7635a953e1d2932","datavalue":{"value":{"entity-type":"item","numeric-id":4012134,"id":"Q4012134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$7F96B3E5-B2F7-4F1B-842C-66367A7244AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be374a41eb05a4c91c69f91d9ea90172a2d2a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2545565,"id":"Q2545565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$8A77C664-BF9A-4EE2-98FA-46294A0855F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06892d9afac8457952e8a74a5f0f830fd2554225","datavalue":{"value":{"entity-type":"item","numeric-id":1844664,"id":"Q1844664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$7E21ED4A-B2F3-46D7-950B-11D30B13A04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37f085b7a9beafb4a4c46af1ed41888dc503dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5848908,"id":"Q5848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$DD089EBF-1A72-41A5-8A8C-919E92282A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5809f64501d69d2d9aed9b5fe4890c9ae3b07bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5619830,"id":"Q5619830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$DC807F2D-D6EC-4E7B-B6CE-C6757C71AC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c254b7d1d7d473eec36ef3c1a27a9588eec5ff","datavalue":{"value":{"entity-type":"item","numeric-id":1821093,"id":"Q1821093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$1CE9191C-0D23-4AB2-A956-01CBF85F895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f48ccca6b56a6c0f435e5d8ffb6dbd1c3adf23","datavalue":{"value":{"entity-type":"item","numeric-id":1320694,"id":"Q1320694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$EC6AC300-908D-4965-8104-3206CBDCFF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fdf2fa8becc48352c1d9682fa634239c88698f","datavalue":{"value":{"entity-type":"item","numeric-id":2644767,"id":"Q2644767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$EB92F0F6-F1CA-4478-A9B2-EF66542CF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cfb0c2bb353bc6ad3fa12a6e07cf52c24010a2","datavalue":{"value":{"entity-type":"item","numeric-id":3281068,"id":"Q3281068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$02C38E8F-7B1B-4861-BD1D-E116E3FD1CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e5821c08813eb03f132f6865ff998b2124c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":5612535,"id":"Q5612535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$593345F9-1E97-409A-B1FC-F38BEF20B951","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cd52f3e145da86b363f5b3483445fcf4da7e83e","datavalue":{"value":{"entity-type":"item","numeric-id":5066265,"id":"Q5066265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6194082$1BD0FDA9-342D-4E8F-9ECB-D251D480B9BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005246f17d473ba4e0aaf869e8606bc2f0466506","datavalue":{"value":{"entity-type":"item","numeric-id":3824583,"id":"Q3824583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a52f975140a8dc6f4d64ea8091e519d3e04f7d","datavalue":{"value":{"amount":"+0.8199076056480408","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":"Q6194082$5E968D57-E3B0-40C0-8EE4-B95225CBAAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21d870b14978fadeda6ad960c453c2c1f6c91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1065930,"id":"Q1065930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d77bdee97f439b71dd1f913424e945cd9c0dad4","datavalue":{"value":{"amount":"+0.7987229228019714","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":"Q6194082$B59E629D-CE0B-40C5-B034-6AA759C1BB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c36c39750fe90a6488dd0a0bfe61201b65730a","datavalue":{"value":{"entity-type":"item","numeric-id":3342745,"id":"Q3342745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee86bcee0917d75ce869e9ea476e97f95bb2faa6","datavalue":{"value":{"amount":"+0.7950202226638794","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":"Q6194082$9292F68A-FBEA-48BC-BDC8-D9AA3CF7D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8172efd510bd64db35f9665b0b966ea1d0d492c7","datavalue":{"value":{"entity-type":"item","numeric-id":3769082,"id":"Q3769082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd3f46fad25192ef4eb93ee349546e28f5f2b30","datavalue":{"value":{"amount":"+0.7863036394119263","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":"Q6194082$283427B5-5F6B-45F2-BD3B-DB6D1B24C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7219d242b8b016815aed1469e295dcd8c8bd747a","datavalue":{"value":{"entity-type":"item","numeric-id":4309578,"id":"Q4309578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f680b2f84c60a2d02ae74226751080602c36f0","datavalue":{"value":{"amount":"+0.7838149666786194","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":"Q6194082$8655764C-74E3-4B67-B962-D90E3145EECB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of solvability of a positive theory of an arbitrary group is algorithmically unsolvable","badges":[]}}}}}