{"entities":{"Q844197":{"pageid":846045,"ns":120,"title":"Item:Q844197","lastrevid":64766433,"modified":"2026-04-11T22:04:59Z","type":"item","id":"Q844197","labels":{"en":{"language":"en","value":"Knuth-Bendix completion of theories of commuting group endomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659928"}},"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":"Q844197$76E0B5D1-71E5-4F0F-B0A1-316BB019595F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c78c8317031b66943916b4c4c15a9f6cb6beea20","datavalue":{"value":{"text":"Knuth-Bendix completion of theories of commuting group endomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844197$7654DD0F-B3A2-4B84-A4DA-72ADC3C7E18F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1d74ec6638ca0c802bb5d8736e6644ebcd7deb","datavalue":{"value":"1187.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844197$672A1F54-968F-4ABC-B499-11A1368092FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$0610541E-DAF9-4794-8F0B-BFA133265961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07161db1e8f2e19f8cd9751578ad00734a1fc394","datavalue":{"value":{"entity-type":"item","numeric-id":844196,"id":"Q844196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$55045D97-0F1B-43A5-BEC5-C6C78C0DF6AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$318A40D9-646C-4913-B138-CE3385A580F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844197$AA377BA0-2F66-44F1-AF40-840781D4B34E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844197$5175EBBF-3A20-49B6-BBB1-A4B9BCC9053A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93a7f6cdddd4279665c3e30627564762ca730da1","datavalue":{"value":"5659928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844197$C3683BA0-4822-469C-AEE3-B86497C90FC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q844197$5ABCE14E-874F-450E-9FFC-615FD1D80AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0da8957c07ac379951ae65565347b907ce3617","datavalue":{"value":"group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q844197$03FE41FE-0FD2-4F73-BCBB-4CDE54D1E27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q844197$77BD547D-C7AD-498F-9585-9206D1DBFA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q844197$7187FAD8-C7C6-4FD0-9EAB-CB71CF3B89A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$2CE730CB-3A82-4C8E-B66F-7023D8CBA24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$2535309C-B048-4EC6-80B1-55C01BA1A9E8","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":"Q844197$87CFF95D-D61D-4A51-9672-C8B4EAF93FE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ba8a8c79a371403247ebdb039d7ba300ec0e64","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.01.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q844197$739CC843-C38F-455E-A5A2-8B52C9810A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0a16a71ee53d91c79d5ce24661585ed76cc2ad5","datavalue":{"value":"W1986426227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844197$97D42F15-8BA0-4C4B-9704-D23F031D1B79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$2D8CB6E6-828B-4473-A6D0-2E17FB5D0FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea96e16b6c447e5438826c7902ec9745c5df66e9","datavalue":{"value":{"entity-type":"item","numeric-id":2848059,"id":"Q2848059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$BFBED6A7-BFA5-4D70-92B0-E412E85A6601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$0CC4F9BC-502C-48E1-8FA2-03CBF61FAC44","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":"Q844197$2598BA95-A928-4174-A730-74BD40C14DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c749cacf7214e709d79a5dc896004d1ffa511b","datavalue":{"value":{"entity-type":"item","numeric-id":3150302,"id":"Q3150302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$4D1349A5-73D5-46CF-A67D-73B629AA28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5791c716254aa1932faf4df96272562ac819ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5703869,"id":"Q5703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$5D07203B-A651-4158-9E39-5765D650858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3a61541eb0517ac7b63f9f303756a5a6805bca","datavalue":{"value":{"entity-type":"item","numeric-id":5703870,"id":"Q5703870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844197$36002237-9350-4029-A112-65EA362BB26A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"386c6a68e80fc84a98bc2c5485b65e07d8c8f487","datavalue":{"value":"10.1016/J.IPL.2006.01.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844197$896B03AA-C452-49A9-8CAA-02C15CB67140","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7189f157a04bb5e7957056854f237d40ee786fee","datavalue":{"value":{"entity-type":"item","numeric-id":5332231,"id":"Q5332231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e07f242dc33ebf15bc2dd7c0a515f6825f3eb9b","datavalue":{"value":{"amount":"+0.8975971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$617CF8A1-D297-4D01-8149-5FABE68028BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b374e83e16fc957cf61acad9dacc86a06941bfc","datavalue":{"value":{"entity-type":"item","numeric-id":4905960,"id":"Q4905960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57228777ef021fd0341be0f266e865cbdd93089d","datavalue":{"value":{"amount":"+0.8947678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$75663A7A-C375-44F1-9A11-AD2E4A47F984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcc033421f6949a60c646f42149ef97a36e01da","datavalue":{"value":{"entity-type":"item","numeric-id":4432911,"id":"Q4432911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e72c49bd8c87effc126f224718b6d7f7c93d19","datavalue":{"value":{"amount":"+0.87965566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$DE4F2133-168C-40E7-B483-9CF92CDB33EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdb895cad15fb40ea3bdefe3803005ead227667","datavalue":{"value":{"entity-type":"item","numeric-id":5939202,"id":"Q5939202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430316c482ba7d55442fa6d1d4e616ba4f47c0a8","datavalue":{"value":{"amount":"+0.8793983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$D159C083-3B18-49CD-9275-B0C163D334EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56eae03c33c737a1a2bc5ce1154aab7a45e29c5","datavalue":{"value":{"entity-type":"item","numeric-id":5378537,"id":"Q5378537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c5af123108c9020e2ff8639737694c5ce6d9d6","datavalue":{"value":{"amount":"+0.8783168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$DDEAB166-A397-40E7-9957-AE561D0623D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdb4d95a20f16a42e0052d531a959dacee17d1d","datavalue":{"value":{"entity-type":"item","numeric-id":3466443,"id":"Q3466443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730e3ba9c9d08ee1bdb73710c777264818fcd2ee","datavalue":{"value":{"amount":"+0.87707484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$45CC9B55-42F9-4C35-9623-F3F5560EE2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912417c699f98777eaae91c0ff2556a6e547ee0e","datavalue":{"value":{"entity-type":"item","numeric-id":1357110,"id":"Q1357110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f170c9c1483aeb2e7d7c1fafafca30f90e9963","datavalue":{"value":{"amount":"+0.87671614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$A1FA4151-B844-4EF8-AD69-0DF0489E61A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec892557bb2e9dc72403bb05a510bcc831ec6995","datavalue":{"value":{"entity-type":"item","numeric-id":1381285,"id":"Q1381285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f937a78ab82accd1024d759b0622a21924204aa","datavalue":{"value":{"amount":"+0.87414944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q844197$B150BAA8-4D6F-450E-B02F-2C9F47C8E0C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Knuth-Bendix completion of theories of commuting group endomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Knuth-Bendix_completion_of_theories_of_commuting_group_endomorphisms"}}}}}