{"entities":{"Q688804":{"pageid":690653,"ns":120,"title":"Item:Q688804","lastrevid":47201023,"modified":"2025-12-31T23:58:11Z","type":"item","id":"Q688804","labels":{"en":{"language":"en","value":"On the undecidability of some classes of abelian-by-finite groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438521"}},"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":"Q688804$BCEAE543-1DD1-41F1-92B0-C0F2700437CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9db1721ee6f7c0d179b364a53eec4e8f4b517fcf","datavalue":{"value":{"text":"On the undecidability of some classes of abelian-by-finite groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688804$5B1F7816-6947-48A8-9120-15910108D3FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb04dee570c01586ff42da657dbe173d8ae3518d","datavalue":{"value":"0784.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$A372595D-3B89-4470-9D06-CEF944F1C33D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"792cc6253117c76aed5089afc5cef7fbafe172d1","datavalue":{"value":"10.1016/0168-0072(93)90172-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$689601E9-405D-4A92-BB42-FD92AF24915F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a67cee50c2a1adc4251afff0c48a557c5b16dce8","datavalue":{"value":{"entity-type":"item","numeric-id":688803,"id":"Q688803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$076840D5-8FCA-409C-982E-65392A9DB258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cf22f9c82d126ffa66163bab62d95a5907e7af","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$5676964C-08E0-405A-89C8-2BC6019809DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14fedca958e8ef890f548ac7b2e1bd5e4ab62e64","datavalue":{"value":{"entity-type":"item","numeric-id":1254307,"id":"Q1254307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$BEBCE23B-2E30-4451-ADD1-6797AE805FAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$F9B61E59-DC41-48E6-B575-C063A6D64656","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c97e9fe3e19d1cf4106667cd4308fcb719b9e55","datavalue":{"value":{"time":"+1993-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688804$C5A5268D-6A1B-4A85-A11E-BDCD9302B190","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcc5e56640621cd4c155713f4a2f811406bf0637","datavalue":{"value":"For any group \\(G\\) and every formula \\(\\varphi(v)\\) in the first-order language of groups, \\(K(G,\\varphi)\\) denote the class of groups \\(H\\) such that \\(\\varphi(H)\\) is a normal Abelian subgroup of \\(H\\) and \\(H/\\varphi(H)\\cong G\\). The main result is the following theorem: Let \\(G\\) be a finite nilpotent group whose order is not square-free. Then there is a formula \\(\\varphi(v)\\) such that the theory of \\(K(G,\\varphi)\\) is undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688804$84C0A26F-DEC0-499F-BF1D-544E2ED634B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$64C5B3A0-B49C-405E-81DE-3AA3C25F8B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$8A1CD9F1-CE99-4F83-825C-21A2C573A693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$0B3D3C50-4399-4611-8D8D-64918DEC42AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95208516e528d5ff6f414678c4f4c74cc8d89469","datavalue":{"value":"438521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$CD586C68-26D4-4D41-B5FC-CB03F1A4A5EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c237c9c71e15b2d2e366c2feeda043dcd4cd924","datavalue":{"value":"Abelian-by-finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q688804$C615536B-B0E7-4E45-A1FB-FFF1AC2BD78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q688804$8EC44000-BC36-4D8A-8080-16717B670F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c52561b67122a0c64cf015305f0e054658f3f87","datavalue":{"value":"finite nilpotent group","type":"string"},"datatype":"string"},"type":"statement","id":"Q688804$3C3C5067-CE94-49B4-9EA5-DDAADD51F163","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":"Q688804$3125E340-9FC4-4670-A2F5-1B91A6F20FCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d769a1ab8802e4b6b38d66f6a0f9a5c62377274","datavalue":{"value":{"entity-type":"item","numeric-id":1254992,"id":"Q1254992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$40E4ED65-E7C6-4B19-B906-B8EA45609A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ffb0398e2e34bc5bfc26469e1290ee29b75024","datavalue":{"value":{"entity-type":"item","numeric-id":5340151,"id":"Q5340151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$0F52234E-6F66-4D09-AC11-FFF40981964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd51cbfd126e5ce8b424152bc94e2831fb35716","datavalue":{"value":{"entity-type":"item","numeric-id":3922829,"id":"Q3922829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$16FA1278-3A90-48A7-954D-0F5475A6334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f67ff1a3446f77b9d8b6dc4a0218f5f9658449","datavalue":{"value":{"entity-type":"item","numeric-id":3877660,"id":"Q3877660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$5BDF6CAB-5BED-49ED-9BA5-C0345AF5F544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0403af2273261a6c328e19e97a1677dfdac0ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":1057943,"id":"Q1057943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$C0EDF3D5-119C-45C2-9932-33F166141652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ad1b4f4c3651e6fea77d5ad583da71a8c1e297","datavalue":{"value":{"entity-type":"item","numeric-id":1078254,"id":"Q1078254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$805C2C70-A95F-4E39-828F-ACD3422432FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71774b604f81d388adeb4fc87b9e69891ab13384","datavalue":{"value":{"entity-type":"item","numeric-id":4289363,"id":"Q4289363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$598B964F-469E-4C95-8976-FCCBD5884A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263f64602866f60a5d78f5ef24aefd9414295584","datavalue":{"value":{"entity-type":"item","numeric-id":5287568,"id":"Q5287568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688804$7D703DB5-459B-4D68-B23A-FAF87120820A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7ec584fee84aef4ae04acb008490cc0adfcc309","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90172-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q688804$FBCDA989-A7CD-4BC9-B3A3-D10DB7E36B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdd6f6b875e63a0788a4786254503724f197ea22","datavalue":{"value":"W1976123297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$D7880D5E-BE8B-45B1-9743-25AF5FCAB8C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46f18f2887e47211ae4671de33f299bca47886f6","datavalue":{"value":"Q127176516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688804$96CAD910-9D38-4C91-9F6E-69F2AD7D717F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d84381c181ffdd9dbda88f9522ff2b12c285c4","datavalue":{"value":{"entity-type":"item","numeric-id":4952569,"id":"Q4952569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5355846d94f34c719415fc73f9a2b936fbf4658d","datavalue":{"value":{"amount":"+0.8390433192253113","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":"Q688804$7BA8A1E0-A05D-4519-9234-0139CF811950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a17fb5a2975cb56a8c3da194918a09caccaf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4304158,"id":"Q4304158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b896fd1f197d26e77129d798ec3c4a4f4cbe149","datavalue":{"value":{"amount":"+0.8200848698616028","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":"Q688804$39C4461D-9864-4295-95D8-3E80096B26E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6c96c0d1da52febe844be88648b55606bb13cd","datavalue":{"value":{"entity-type":"item","numeric-id":4315729,"id":"Q4315729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df35b842b5af7e34c9623f54f4bd2693417fedf","datavalue":{"value":{"amount":"+0.8188484907150269","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":"Q688804$41EA8F59-CB59-4A98-9F17-6B2548C6D720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b702492c0e39ea081db7f9fcce98e7b356df3980","datavalue":{"value":{"entity-type":"item","numeric-id":5287568,"id":"Q5287568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564134c854836fe023573e741a00baca9eb425c1","datavalue":{"value":{"amount":"+0.8130671381950378","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":"Q688804$8EDFA53B-4770-472F-9932-4028B2192FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b10090239a941c6fb16d947d50e0b51dff7c3e2","datavalue":{"value":{"entity-type":"item","numeric-id":4952570,"id":"Q4952570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19164bcf8608724ff79004468cbc2a28d1451099","datavalue":{"value":{"amount":"+0.8096072673797607","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":"Q688804$9F65F5F6-6865-484B-B07A-778C7857BAB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688804"}}}}}