{"entities":{"Q3040518":{"pageid":3051234,"ns":120,"title":"Item:Q3040518","lastrevid":45319018,"modified":"2025-12-05T10:38:36Z","type":"item","id":"Q3040518","labels":{"en":{"language":"en","value":"On Proving Uniform Termination and Restricted Termination of Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3835346"}},"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":"Q3040518$30434F40-B825-4962-B755-4EE550B7EBD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e97f9ca5222b38dddfb43d861b9bead0948a85ec","datavalue":{"value":{"text":"On Proving Uniform Termination and Restricted Termination of Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3040518$B54FB856-014E-4873-9A02-5609EA505F35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c5860e7b8aa5411e40557d1d11ff251cea036af","datavalue":{"value":"0526.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3040518$686BB88F-A441-4999-A8C5-4A09A32DE9AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f5ae6e74cebe071ad219804921357048c6415b6","datavalue":{"value":"10.1137/0212012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3040518$C3CE68A3-274E-4BD7-968B-F56EB15E9528","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":"Q3040518$FE3BCE8E-B4D1-4E97-BC4D-49CBA34C6250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a7b8e979b680be8a0b6a23b0c48083fa2eb8bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1067765,"id":"Q1067765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3040518$4FF798BC-6CFE-4FCC-90D0-B62837ED87D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da69afe2eb2727aeaa0fc395e387736bed2482e8","datavalue":{"value":{"entity-type":"item","numeric-id":1094887,"id":"Q1094887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3040518$91BF3021-1432-45F3-A52B-FF01EC696E02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3040518$1056C1D1-EF87-442F-A009-BE1FCF216414","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3040518$FEF2FEBF-1519-413E-9E0B-94175D04FE04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3040518$525245AA-7F05-4E23-872D-1355D37680D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3040518$400B1EAA-26C7-4FBC-B759-EE05DA03A7EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"510763c33a669f4674a65b299277d1f36909b72b","datavalue":{"value":"3835346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3040518$0EB4E7F4-7E25-4022-9F7E-19A62A610181","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a9ff57eecadf0f70f431683e6aed2bc4fd66cb","datavalue":{"value":"uniform termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$DD455BA7-FB95-485E-89AD-6D5E63AF20A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56635a51e337c1895380c0fef2ee6db2ee9ec774","datavalue":{"value":"restricted termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$40FB3487-80D2-4DE9-B7CB-7F080E1CE5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe56a7304374a56c5efbbeaa9bb6284b12aad920","datavalue":{"value":"global finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$758EAEA4-450B-4E87-8E14-4119BF37DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$005FF59F-3D8B-4C33-A177-750D7172F3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$4E51CF73-D350-4047-9171-2D0EBFC80E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab1893e1116844067419d466ded01050a1d2510","datavalue":{"value":"Knuth-Bendix algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$15A4495E-7F45-4ACA-83B8-E06118FA02FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b745d377d95fce4ad014195d57172de3e6a5d3e6","datavalue":{"value":"overlap closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$3203BCCC-DB9A-4479-A465-7FC7CAD14707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e8aea1e2797dc9410a92c5e94a327b49cebce61","datavalue":{"value":"canonical","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$AAF7A64E-834A-447E-9481-48AB604405A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ab680a25a1def2ca736521b3166fb720c410e3","datavalue":{"value":"rewrite dominoes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$6D8447D3-F9CA-40C2-9BE1-BB79C5ECD2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193d29f08e212b1e3cb5c9869fa7daabc2d13569","datavalue":{"value":"equational axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$2CE52F85-85C5-4F41-A307-22A92C4A5499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3040518$FD238DF7-3BC7-47BD-8F01-7882E0DBF8FA","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":"Q3040518$2E4F5A1C-3372-4C8A-9D5F-869A2D1BC183","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd83de4a7eea73490c409a354b737ce2038a8675","datavalue":{"value":"https://doi.org/10.1137/0212012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3040518$E9A92F29-F638-4E3D-857B-084CB6968B43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e988d8c2ecc51392344d3df7959f930d6f630148","datavalue":{"value":"W2090626768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3040518$7B14F888-CBB0-4EEA-8EED-5D7DAC594ABC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3040518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3040518"}}}}}