{"entities":{"Q2786124":{"pageid":2796862,"ns":120,"title":"Item:Q2786124","lastrevid":79385828,"modified":"2026-05-06T13:47:10Z","type":"item","id":"Q2786124","labels":{"en":{"language":"en","value":"Termination of rewriting with right-flat rules modulo permutative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789395"}},"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":"Q2786124$E6C07710-67AC-464D-B8B2-E0AC1FDB2CA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76d66ef57f5d0c82c0aabfbe65b2d2ff699d8898","datavalue":{"value":"1214.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786124$7282AB23-610B-4659-BD85-F6A6AE07E22C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32bdfd4094c32a044c4acfd6e508fecdf9011522","datavalue":{"value":"10.2168/LMCS-6(3:8)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786124$D66E9A35-B49D-4F13-B870-2C12249ACF24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa8ca9c0f6e7646b33f5ca56323269661955cdda","datavalue":{"value":{"entity-type":"item","numeric-id":2786122,"id":"Q2786122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786124$26806F53-B878-4EE1-B02E-9E05EBC84B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786124$66B2965F-DF13-4E06-A1C0-9DA953DA9075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b36ac5837f173f23b45ef027bda6c9ec1c084a1","datavalue":{"value":{"entity-type":"item","numeric-id":2786123,"id":"Q2786123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786124$CC80817E-519C-42B0-BA75-F477EE5A9B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786124$02896EAE-4A90-40D3-92EB-0A9A78ABB463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786124$2448E98E-C5FB-475B-A626-94FCE6D228AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786124$42E15566-C5CC-4545-A6BC-7491AF0162E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786124$721C68B3-6EE4-4DAD-9E02-682D1D837EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786124$E8F7E582-A3C4-4F1F-9743-729FB1DC79B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23e9303b30f4da430fdb77a525697c592d269e11","datavalue":{"value":"5789395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786124$673B581E-C9DF-4CE3-8C88-C3F15EAE78B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786124$99DC1FAA-4DA0-4325-A921-07FF3A6F3978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786124$A19A31EF-75FB-4C58-BE8E-44F4A0A2EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786124$D9479E46-05AD-44A6-B49D-A3C56D5BCBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786124$ECB3616A-8007-4690-9194-CF241181762E","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":"Q2786124$CB9AE597-45C6-4170-83D7-B12456FE69D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e071ff5a3b4a4a90dd8da9eaa89b32f6eec59d","datavalue":{"value":"https://doi.org/10.2168/lmcs-6(3:8)2010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786124$D3B4AED3-6D62-4CAB-813C-8D60F72CE969","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc0f912f3ec55226cfc5cd9e0a7ffc1bc13f027b","datavalue":{"value":"W2128802602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786124$314FB01C-F0C1-478D-B544-B9D494F8A2A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f51ec5c25d1f1ed245c193a8a7f535047caae794","datavalue":{"value":{"text":"Termination of rewriting with right-flat rules modulo permutative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786124$85F2C0DC-49A7-4E8E-BE82-B97AB05A6756","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42315fbf5ca9c988037b846db27992e8a7c983f5","datavalue":{"value":{"entity-type":"item","numeric-id":5432342,"id":"Q5432342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaba09cfa942436d441450c8e1d31bfab51c4cef","datavalue":{"value":{"amount":"+0.8973639607429504","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":"Q2786124$EA6EB8CA-B556-454C-A0C7-760DDB0D2927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8b1e4af45c6abca0f8445efcd001520a6103c9","datavalue":{"value":{"entity-type":"item","numeric-id":5394612,"id":"Q5394612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e106b368e61aac6b24e5e382c82a158ba6cae48","datavalue":{"value":{"amount":"+0.8396166563034058","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":"Q2786124$087DC3A3-A8CA-4BD9-950E-B35080AF759D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e196a5284b7fcedd79723d41857118e389d43a","datavalue":{"value":{"entity-type":"item","numeric-id":3527306,"id":"Q3527306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c3750613f7984532d22db442f77d3f036130ea","datavalue":{"value":{"amount":"+0.8044435977935791","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":"Q2786124$42C9F3C3-697D-4DAD-8E38-EB35AF1A4396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df8c04f0397d2ca963f36631bc44f9f45d42c81","datavalue":{"value":{"entity-type":"item","numeric-id":4035223,"id":"Q4035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb722d93d050bcb3dc66eeca670f28c1e3d96a5e","datavalue":{"value":{"amount":"+0.7897559404373169","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":"Q2786124$00164AA8-06AD-4F95-BDC7-8686458AA8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f8f4ec66eccd7dc7e8be168a2f0425bdd313b","datavalue":{"value":{"entity-type":"item","numeric-id":3125168,"id":"Q3125168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb722d93d050bcb3dc66eeca670f28c1e3d96a5e","datavalue":{"value":{"amount":"+0.7897559404373169","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":"Q2786124$D7B34B12-C84C-4970-B55B-BE2C5272A5DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of rewriting with right-flat rules modulo permutative theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_of_rewriting_with_right-flat_rules_modulo_permutative_theories"}}}}}