{"entities":{"Q4594224":{"pageid":6623809,"ns":120,"title":"Item:Q4594224","lastrevid":89761991,"modified":"2026-06-04T18:12:07Z","type":"item","id":"Q4594224","labels":{"en":{"language":"en","value":"A total, ground path ordering for proving termination of AC-rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808100"}},"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":"Q4594224$BB5BABEB-12A7-4BA1-ACE3-5D141AA53443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54745c2a6fb803b90164ba177f14c31c3919ba0","datavalue":{"value":{"text":"A total, ground path ordering for proving termination of AC-rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594224$3024408A-0616-4276-95F9-4AB8A19B1F48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"831890e482e209346918dc990f796b5823ef0021","datavalue":{"value":"1379.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594224$7E3C3C48-E101-41C9-B3CD-CE7EDEE2BCF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53324335ea127bd21fde83e9419893af43ad6ead","datavalue":{"value":"10.1007/3-540-62950-5_67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594224$9405229E-A389-44EC-98F2-ECFC5EA4536C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594224$695304FE-6584-49BD-B6A7-C1F20E33A99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e412b60099030bec149af0bbf292de85d8b4b10d","datavalue":{"value":{"entity-type":"item","numeric-id":1891258,"id":"Q1891258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594224$D27C1E1D-6DB5-4FD1-AB67-C2E70C34407F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594224$2A00AB5C-6211-4C51-9D54-E222CB753940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594224$4B265AF8-62B4-48D4-860F-4FEEF262FDE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594224$CB66E671-C7D3-4269-959E-F28BE2A06008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"508b98d8983716a85e48b39aa0c043b3f2875497","datavalue":{"value":"6808100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594224$A71DADD3-4C48-43E1-8BCA-81AC3C2763AF","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":"Q4594224$7BC6C2E2-ADA0-46C6-B518-996BF17B92A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"473d3bf90cfacafa4e8bbcfc7b58d5fc4832ada0","datavalue":{"value":"https://doi.org/10.1007/3-540-62950-5_67","type":"string"},"datatype":"url"},"type":"statement","id":"Q4594224$6DFAA4B3-B75A-4470-9DFE-071ACACC1E73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e51d959545b91a3be3688b8525353b8227f4ea6d","datavalue":{"value":"W1569570379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594224$26EE7524-EE73-4238-AD9E-54FF285651DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efd2ff449c1538b2d30dc35291a38be2bdffe3e","datavalue":{"value":{"entity-type":"item","numeric-id":1891259,"id":"Q1891259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccdb0a0d70bcb4fd853d46ffffaa1363276e46b8","datavalue":{"value":{"amount":"+0.9039736390113832","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":"Q4594224$F8E204D5-9B16-491D-9F2A-C772E9E84692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d1d5a2af84794d914b0b8ca278ebf0f662da24","datavalue":{"value":{"entity-type":"item","numeric-id":3976057,"id":"Q3976057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e72061a4a9cdb43685d02161877ebb9e8565c67","datavalue":{"value":{"amount":"+0.8740193247795105","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":"Q4594224$418F7159-72A7-4841-9A0E-04B3BD759E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36a77a16bb4983305f55d40baf3b118cab46fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4503901,"id":"Q4503901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e72061a4a9cdb43685d02161877ebb9e8565c67","datavalue":{"value":{"amount":"+0.8740193247795105","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":"Q4594224$C25B6418-57F7-46F5-8B6F-65B8ABF836C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c687c178f8c90b86c24d225446376d80d53768c1","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5fc3001ee0e4ac25c566a3d2d7d3c55f247ae5","datavalue":{"value":{"amount":"+0.8681977987289429","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":"Q4594224$29E3830B-BD2F-48B6-A6B4-DBFCE3A8571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90eba00a0e38e067627c942fd82a2ce1e15148f","datavalue":{"value":{"entity-type":"item","numeric-id":5096208,"id":"Q5096208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18ae643acd3d1abecd69689b89b368fd05c91ce","datavalue":{"value":{"amount":"+0.8588557243347168","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":"Q4594224$3CF1A845-76ED-4C3F-B506-20FAC5BD13DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A total, ground path ordering for proving termination of AC-rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_total,_ground_path_ordering_for_proving_termination_of_AC-rewrite_systems"}}}}}