{"entities":{"Q580975":{"pageid":582742,"ns":120,"title":"Item:Q580975","lastrevid":49095922,"modified":"2026-01-06T14:24:29Z","type":"item","id":"Q580975","labels":{"en":{"language":"en","value":"Verifying nilpotence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018382"}},"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":"Q580975$B7CD4DCC-DBD1-45BF-9DC9-846B34C5696B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f966f07f8d39bd6253645a232be52ebfe3764f02","datavalue":{"value":{"text":"Verifying nilpotence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580975$CFC7E0C1-FC79-4D3B-B8E0-2F8705ED9AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1560094fcda7ef6b1d3e26a878c35c47e2c70705","datavalue":{"value":"0626.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$CAC8A04D-78CC-4EB3-8ACB-72821145E12A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"757f3c4dbdac3c014f2150a76831959d8794534f","datavalue":{"value":"10.1016/S0747-7171(87)80002-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$29BE3290-E267-45FF-BB79-319A9F8F68AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a6e178b96572a2ec5a52b18b2a46d6700ed4e2","datavalue":{"value":{"entity-type":"item","numeric-id":580974,"id":"Q580974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$1ADBFB94-45E1-4385-8D7D-9318420DE666","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$FA4E1A4A-4FDE-43A4-9887-CF188401B115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q580975$CF760332-A3FF-4348-B5D4-F91DAB275F24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40c9c5c2500586f85fc126612c997930812e4fff","datavalue":{"value":"This paper describes a new procedure, based on string rewriting rules, for verifying that a finitely presented group G is nilpotent. If G is not nilpotent, the procedure may not terminate. A preliminary computer implementation of the procedure has been used to prove a theorem about minimal presentations of free nilpotent groups of class 3. Finally, it is shown that the ideas presented here may be combined with work of \\textit{G. Baumslag}, \\textit{F. B. Cannonito}, and \\textit{C. F. Miller III} [Math. Z. 178, 289-295 (1981; Zbl 0455.20027)] to prove that the polycyclicity of a finitely presented group can be verified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580975$17B3F3A2-2847-4473-8DA9-FB56269AFCB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$4875B846-84CE-43C1-B05E-A40D7C7F2589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$A9E49259-F65A-47A1-86C6-82C053BB62E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$2D77E9F9-887B-4EC9-B3AC-2EE9D69A7C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$290282CF-C6B3-4332-BB46-FB034C62C918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$483BF25F-C60F-499E-8B8D-AB979407CA58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69edccf0a7870cf75665b2383bb56d431168f4bb","datavalue":{"value":"4018382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$83CDE7C2-140D-47EE-A5BA-C50F0557722B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f3ba3060cfa91023cf347d516152884b8309a5","datavalue":{"value":"string rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q580975$47FBF024-454A-4F40-BEB2-B13696D99960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q580975$6991CF04-838C-4F63-B345-E243F8F7D075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00014d858fe8fad835a3889a4c3638b41b6204ba","datavalue":{"value":"minimal presentations of free nilpotent groups of class 3","type":"string"},"datatype":"string"},"type":"statement","id":"Q580975$B22FA61B-90C9-4BA6-A88F-8D96B4160C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e59e07bd5f53f33ef5bfb59a070a847e397c3dc","datavalue":{"value":"polycyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q580975$47E4C335-3E34-478B-ACAC-8593981001D7","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":"Q580975$CD38BE22-316E-4A6B-868F-3654696CA8DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"074c43fe6e6e0117176dd2bafc710e208f7f3b65","datavalue":{"value":{"entity-type":"item","numeric-id":1150042,"id":"Q1150042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$48AAC7E2-A282-4F84-80F6-C78CAC68A271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8f9a5fdefa013473dcce95b54e08993e3c091","datavalue":{"value":{"entity-type":"item","numeric-id":4073550,"id":"Q4073550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$1E6C72C3-E268-4884-9535-AB7BFA9E3E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7270e81e9d40062b04e29b8020c1a02f9c10feba","datavalue":{"value":{"entity-type":"item","numeric-id":5920757,"id":"Q5920757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$3974BC0F-810C-4689-A436-2646655122F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$AEAA549B-7D56-4D81-A785-FC8969F1ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5989e7b642a281e076cb0a5451b4d9c25f50f39c","datavalue":{"value":{"entity-type":"item","numeric-id":3253828,"id":"Q3253828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$7751138A-1C46-486A-B53F-43D9BCCD3DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98260cf69be1b523909fa7a03c37d3647201d5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3869534,"id":"Q3869534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$C6BBA70B-8ACC-423F-875C-42A61D44FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d30c1907ed9b1e8ca420574ad5e0a34d0ec612a","datavalue":{"value":{"entity-type":"item","numeric-id":3903161,"id":"Q3903161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$FD8F2E61-FA32-4588-9A33-DE7DA729A160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5916a396dbb64ad7202ce9420229c5737f445b4","datavalue":{"value":{"entity-type":"item","numeric-id":3967701,"id":"Q3967701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$321042F4-9AC3-4407-AE8F-3EEE6EC835B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$ABC29EC5-DED0-4ADC-8737-90CCBAB44539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f0648df3e013415550bbff913328f9ac928874","datavalue":{"value":{"entity-type":"item","numeric-id":3338229,"id":"Q3338229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$8BEB41E5-ABCB-4CB7-9E52-EBCA89E3BD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e3673a62dd9ec15581453c3622d7508f55638f","datavalue":{"value":{"entity-type":"item","numeric-id":3950713,"id":"Q3950713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$9D5D931A-963E-4DE2-A52A-D0DC2A984AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde024d9cb9ebe21eddf5e0db6874dffd85f83cb","datavalue":{"value":{"entity-type":"item","numeric-id":3834223,"id":"Q3834223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$9A798FE3-C34C-4C1C-A224-FB42314A55B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c4c04b23141bb9e4351e937073e19065031d19","datavalue":{"value":{"entity-type":"item","numeric-id":3256242,"id":"Q3256242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580975$F3D6AC6D-BF54-41D5-86A3-0D210851A284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e910d8728d7c70cf1cef17b4f358184addc767d","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(87)80002-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q580975$C56501AA-732A-4220-A6CD-C8246FA0E5FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e9c06202f7ed5f18c6b988aaf8446528c9d2d2f","datavalue":{"value":"W2913322469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580975$0B49F94C-B5AD-4C7B-BA72-DD2D5BEF008F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18761d692cc4e7da534915e2b3ec14ec3f8201d3","datavalue":{"value":{"entity-type":"item","numeric-id":4867140,"id":"Q4867140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbf99ba226d91a88924326e6831fe4998c55e7b","datavalue":{"value":{"amount":"+0.7735807299613953","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":"Q580975$850E73C8-0247-4AEF-9DE5-9DA451AACF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd873e1e992e71e5138359ae009a49bd49b2aa0","datavalue":{"value":{"entity-type":"item","numeric-id":5452622,"id":"Q5452622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbf99ba226d91a88924326e6831fe4998c55e7b","datavalue":{"value":{"amount":"+0.7735807299613953","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":"Q580975$93A2CDEA-B165-4E24-830F-3666BF54F780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82e212eee9fe71faed4afe4e14d1a3ce205a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3679379,"id":"Q3679379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6dbd77cb77329989340ac12ac942988cdb02818","datavalue":{"value":{"amount":"+0.7556042671203613","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":"Q580975$A6920873-4E91-441D-8E4B-4BC933D57EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5850d5f49049d97724269865006081400a9da8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3430822,"id":"Q3430822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0340f3b52efaa4b3d2b545754fca0007ceda51ce","datavalue":{"value":{"amount":"+0.7520459294319153","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":"Q580975$7EB5E298-DBA8-4C5C-8AF7-4E644F70145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605ae4a5141b4af036c355f50991dacb96825ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1382041,"id":"Q1382041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec325aaae065cabc2fa9a971006f07492d7c5dc","datavalue":{"value":{"amount":"+0.7512439489364624","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":"Q580975$83EC6E2D-BA22-4429-9527-4CAE99C0B61A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:580975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:580975"}}}}}