{"entities":{"Q1928481":{"pageid":1939223,"ns":120,"title":"Item:Q1928481","lastrevid":51624542,"modified":"2026-01-19T03:16:56Z","type":"item","id":"Q1928481","labels":{"en":{"language":"en","value":"Universal theories for free solvable groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121538"}},"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":"Q1928481$A36569AD-4A48-4FCB-8EC6-D7E01A07F1C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9017c3bfcba6e08fa96096be285ed89f0e1d3530","datavalue":{"value":{"text":"Universal theories for free solvable groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928481$B9341FE9-79F4-4DF0-8391-475F83AD8200","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3e6fd2250137434cf96b5afd30815c2e7b02aa3","datavalue":{"value":"1267.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$436E2340-5C51-40D0-971A-5814715CC4F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7156f27626a15f59b0f2ecde40e7ebe410b0694a","datavalue":{"value":{"entity-type":"item","numeric-id":282118,"id":"Q282118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$F744C261-726A-4483-893D-BCDB768240E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$A4AC5644-3B79-4105-8183-ADFA157C6633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54c3aea5017a2b930b738e94f94c92304e5e4ff2","datavalue":{"value":{"time":"+2013-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928481$BA6054C1-A262-43BA-8CBF-66DC77AA2667","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d999b0e6c275df5f507a63e62d555158171931d","datavalue":{"value":"A group \\(G\\) has a decidable universal theory if there is an algorithm which decides whether or not a universal sentence is true in \\(G\\). \\textit{O. Chapuis} proved [in J. Algebra 176, No. 2, 368-391 (1995; Zbl 0860.20024)] that free metabelian groups, as well as groups close to these, have decidable universal theories. It is proved in the paper under review that a free solvable group of rank \\(\\geq 2\\) of derived length at least 4 has undecidable universal theory. A similar question about a free solvable group of derived length 3 is still open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928481$761B5999-F8FA-4A2F-A6B7-DC2C08090CC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$48E8FB24-C4CA-4162-9A91-2D649C6ABD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$A3B93D4B-5B25-4054-B5C3-22E947C2FFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$00230692-08EE-4AB3-8CB4-60FF63EB44EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$B4963519-D52F-449F-BBB5-B654D9FFBF49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac95b51e66c858f3e608a24a8f473015dd1d6a81","datavalue":{"value":"6121538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$5D72DA3F-95FE-4DB8-BA75-8A4F4A122CE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b47609299fed974b8e12ada106d10fc5e4de74","datavalue":{"value":"universal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928481$A5830D12-3568-4F33-9C84-53248782A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928481$A79C9647-BBF0-41FC-BCB8-E55EA1D95247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfa2bcab929787481ea5da4c8e02afe70cb9ff7","datavalue":{"value":"free solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928481$3DB0644B-BC70-483A-A917-C220D002D439","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c75e46d52756574cc2c3b6666627a330102767ca","datavalue":{"value":{"entity-type":"item","numeric-id":338846,"id":"Q338846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$2135CD4A-3A9F-4CB0-83A4-4D603F3847AC","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":"Q1928481$0D2D2CD3-5CC7-4133-8A19-9096C48C1E31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5720243dd116c1e72c12c0a7f987e34efeb6581","datavalue":{"value":"https://doi.org/10.1007/s10469-012-9188-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928481$F4553878-49C1-4F77-B475-31FDA251D62D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d65039922fbd4233221de024b3d8b8f41cec7f01","datavalue":{"value":"W2048068031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$C5124234-C2E9-48FE-900D-4264853D2871","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"146b3cb2f612da34a2d6927fbab4d3351eaf8ddf","datavalue":{"value":{"entity-type":"item","numeric-id":1902131,"id":"Q1902131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$E6CE92B1-1FA2-4754-AB21-1393431B5722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99255f18f9cbae828e168e9dafe123254668b971","datavalue":{"value":{"entity-type":"item","numeric-id":4338320,"id":"Q4338320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$A27A36E8-F800-42BD-BA28-A280A2CB168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75ca591ee8a8d1eed1f04d3be3f49bf7e8d2c94","datavalue":{"value":{"entity-type":"item","numeric-id":4819916,"id":"Q4819916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$4FB71464-7174-471B-AD1E-C7A52D8194E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c5711e2dfacda12334ec5dac30228f04ad117a","datavalue":{"value":{"entity-type":"item","numeric-id":1295586,"id":"Q1295586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$C63827F2-059A-4D34-B6C6-65DB40366A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f422ecd0aa0d2f116c1c2b180409667a390ee061","datavalue":{"value":{"entity-type":"item","numeric-id":4951274,"id":"Q4951274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928481$1967CD71-9F24-4CF7-8F44-821C46660384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74a56b60dc25cf1dac39e56e71d22c4fd5dbd1ec","datavalue":{"value":"10.1007/S10469-012-9188-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928481$CC5B6F13-048D-4C4B-A88A-63ED330FFA08","rank":"normal"}],"P1643":[{"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":"9456d09d5566ec3fbdf1cdc51a124a2c3fab516d","datavalue":{"value":{"amount":"+0.8650966286659241","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":"Q1928481$508C6870-ABCB-496B-A830-F5CC33384F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292984429c6c32fa0a5fd5d98a015bf888227e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1295586,"id":"Q1295586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68a7e5031d768a92e11ae2f7029f5328601322e","datavalue":{"value":{"amount":"+0.8604853749275208","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":"Q1928481$84C609A8-874D-4CE2-A932-7D362172F401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192a298c910d413035348a5b7ea104ae878cd93c","datavalue":{"value":{"entity-type":"item","numeric-id":1902131,"id":"Q1902131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62adbaebfd1fc47730731f5b43427594abd6077d","datavalue":{"value":{"amount":"+0.8604852557182312","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":"Q1928481$F49EB935-4C4D-49ED-BC67-E628806B85A3","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":"0b70d68ec13173f0589fc6f745aac0ccb7d64dfa","datavalue":{"value":{"amount":"+0.8439192175865173","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":"Q1928481$154674AF-7861-4826-BEAD-D2E85691539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9792514e9751f492c7a53c7e34454fdcc855dc83","datavalue":{"value":{"entity-type":"item","numeric-id":695805,"id":"Q695805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321e720499f4a356064f2a63d17c872b6ddd88ea","datavalue":{"value":{"amount":"+0.8431995511054993","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":"Q1928481$4F69AB38-5486-49E6-9869-00191619AED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1928481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1928481"}}}}}