{"entities":{"Q1905234":{"pageid":1915976,"ns":120,"title":"Item:Q1905234","lastrevid":69257379,"modified":"2026-04-13T05:48:16Z","type":"item","id":"Q1905234","labels":{"en":{"language":"en","value":"Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 830680"}},"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":"Q1905234$712B868F-E456-427E-9E61-1552E6E2B02B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3cb48563368a839d69e8ee9d6b3cd99c882672b","datavalue":{"value":{"text":"Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905234$9000B70E-2A5B-484B-85CE-A673AFF5D1AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f65e07b36c3fd06d7946b2870d0d8eefa86b6f0","datavalue":{"value":"0835.20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$17985796-783D-46B5-9891-1BA850C8B93E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9546782f3472d2c4dfdafe5a7fa8523b3e6024e","datavalue":{"value":"10.1007/BF02366453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$078D02C0-EEAC-47E1-8EF2-BC9E5FF6BC23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c275fc55dff7e2794b6bbca9032b74f9bbcfd75a","datavalue":{"value":{"entity-type":"item","numeric-id":1842441,"id":"Q1842441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905234$377359AC-C08C-4E15-B010-C1DD72C6F7D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905234$061998CB-EB9B-424D-B14B-45881C8F3555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47d6ab12c78e00de61a379bc2110f938e4be3823","datavalue":{"value":{"time":"+1996-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905234$58DD7E08-6437-4CDA-B380-1C1F956C7BFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a48ed0e2580b945ac19b21ec4f954e31db4d60c","datavalue":{"value":"We use the Nielsen algorithm as a base for the implementation of algorithms for some problems in the theory of free groups, semigroups, and finite algebras. The paper consists of three parts: the first part presents the necessary information from the theory of groups and finite automata; the second part sets out some problems of the theory of finitely generated free groups (semigroups) with the corresponding solution algorithms; and the third part considers the representation of finite algebras in the APS-1 system and algorithms to evaluate expressions in finite algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$4B2339FD-F474-4DE2-A410-ECFD8010ED3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$EB4D3709-CCDE-427C-8745-04944781A626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$C05498DE-F9CD-4C73-BD13-5E3B30F0DB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$7DA31E89-AAB5-4EA0-8982-BA056DE54760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$A576D254-2DB4-4F37-9C26-B75D7FFDDF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$2E4A68D8-9164-4585-962A-5E4C8E47B87C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df4067493094cc853e243721c2521c8d8f31e87e","datavalue":{"value":"830680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$2C015D88-E557-42A6-B1E0-65BF15A3EEEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$C80B2A9F-83E4-44B4-BBDF-FA26146250CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3a0c988f39e017b840d064372dc8ca3d9a9713","datavalue":{"value":"Nielsen algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$9E10F504-AA9A-401B-9809-DA336B5E8F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a1a84252f6c3543b96eb59a8c8b104f6d867cb","datavalue":{"value":"implementation of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$9263C453-D5C0-4E10-9A68-5A7802AA94E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5929c8a9e7fdd0d7009b64aed2f3b62e411259","datavalue":{"value":"finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$C228801A-3488-4AAC-A2A5-24B0DAE18673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$EC4DC604-F752-4C6A-AAB1-C006D8263260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"082af51aea3b2d810ab61117d73a2b95a417f187","datavalue":{"value":"finitely generated free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905234$2B750430-02E1-4BED-A656-810B016D04C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905234$83B03D4D-6E80-4426-B23A-991C4A000FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98cd83fd979958aaf8f55eedae733a1697011a8b","datavalue":{"value":{"entity-type":"item","numeric-id":20964,"id":"Q20964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905234$69E4A9CE-0513-4FFB-BEE0-31EE56D652E7","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":"Q1905234$A89B6D0F-0800-4D7E-98F7-CDAB1BA94395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905234$F5189FB8-6842-43EA-9D50-50F807490708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4d0e0c4a5fb8a4d7867de847e68930939ddc639","datavalue":{"value":"https://doi.org/10.1007/bf02366453","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905234$A8450150-7057-4400-8BFD-5DA1E4532B67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"091ae604fc2cbed93c2a464af12dbbb48343edf2","datavalue":{"value":"W1970756423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905234$B6A84893-31E2-468E-B38B-48B851389F94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf1a28ac533281bd0f867d24c9ae7b4ea9d8ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1905209,"id":"Q1905209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7899666d84ffb92652a96b5b5e82f15537bd60","datavalue":{"value":{"amount":"+0.8831729292869568","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":"Q1905234$3F87B3B2-7903-4E55-A9B4-E784A78BE76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58513931995d6600e6dfab8c79d65b2681ed0f58","datavalue":{"value":{"entity-type":"item","numeric-id":760500,"id":"Q760500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7899666d84ffb92652a96b5b5e82f15537bd60","datavalue":{"value":{"amount":"+0.8831729292869568","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":"Q1905234$C4A0965A-12D5-469C-BA8B-9C3B9845C229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118224084be1f0bf59bf6db8b6e68f1693cdb82e","datavalue":{"value":{"entity-type":"item","numeric-id":3791335,"id":"Q3791335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be6c646e1d6d6f6c87457f799debfa88d7dadfe","datavalue":{"value":{"amount":"+0.7938902974128723","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":"Q1905234$7252196C-8B25-4A79-A0BA-8F30EBA1B034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b190b94339dc4746f22a523e281065d7d5f7c6","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a01aae6b4ce678e2dec00364aad15a7f1844e3e","datavalue":{"value":{"amount":"+0.7546989917755127","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":"Q1905234$99A7BDAB-68D6-4606-9D6C-23F5AECF2A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a13a94100cc2f95b3531b9967c67f148d556fca","datavalue":{"value":{"entity-type":"item","numeric-id":3035355,"id":"Q3035355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8856db7018018792193abbcc67e37d21b21528e8","datavalue":{"value":{"amount":"+0.7504856586456299","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":"Q1905234$B617B336-7220-4455-9ED8-1E3D21D796AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementation_of_some_algorithms_of_combinatorial_group_theory_in_the_algebraic_programming_system_APS-1"}}}}}