{"entities":{"Q3908463":{"pageid":5938368,"ns":120,"title":"Item:Q3908463","lastrevid":54941722,"modified":"2026-01-30T21:53:31Z","type":"item","id":"Q3908463","labels":{"en":{"language":"en","value":"Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3718540"}},"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":"Q3908463$46762EA1-C55B-4CFB-A203-51417EE7CEF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6426f648264e0212b7b0f93bdac9be766d2019c","datavalue":{"value":{"text":"Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3908463$F0A0A149-CBFC-4888-88A7-2891F8A4C18E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"380236d4849f875839b72b602d2c6e805f6a0fc1","datavalue":{"value":"0458.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908463$6878A1BD-2439-4BC6-B7D1-D8AF5841B831","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9912e62584fb0184f7d18e7cb1b7e317ad8b1375","datavalue":{"value":"10.1145/322217.322230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908463$5F155E39-5131-4845-BA63-41CE1B350945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3908463$B7DA59BB-2823-4BDD-9AE4-9909A3BC04E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3908463$3A4B2D23-B2F7-4235-A093-287E811C37BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3908463$C680E25F-7B16-4C43-8B2D-77B307A24999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908463$1F4FAB73-0E75-4221-BAA0-59B1FBB204B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908463$F008E959-D024-4187-AA35-431784364149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f29ff1363b4cda5091cdbff03b6b035f182c6e16","datavalue":{"value":"3718540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908463$4A52612F-E8FE-46D5-97AB-4C1BF074D906","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908463$83984AE6-8D6D-4AA5-851C-4A42F84D8C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908463$9EC37187-977B-4044-8B60-22F6482EB5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76463178c09eb2b52bce02315a0037755348ebab","datavalue":{"value":"combinatorial theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908463$B02B95E7-23DB-4295-9481-0186512EE451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908463$E71EEFC8-B9EC-463A-BA64-1D0CBCD80910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908463$0FE66DBB-57FA-4581-BFC6-571344C88A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9bfc2f54b52d2757230523c041c9c6fb8dca557","datavalue":{"value":"equality theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908463$4AFF7225-1149-4605-946F-0C8094F0BAA8","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":"Q3908463$4961CCD8-7460-41BA-B3BF-B8E2673A202C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f672e742685103cfc826bc1bafb32fc45c5585","datavalue":{"value":"https://doi.org/10.1145/322217.322230","type":"string"},"datatype":"url"},"type":"statement","id":"Q3908463$E108D6DD-7D07-49E9-863D-3095645665EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e1ce804fd932f7a9a8504975c5e330da9ddab98","datavalue":{"value":"W1979101142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908463$FF76E3DB-0B9F-48C2-B4AD-9FC97BEB2834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3908463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3908463"}}}}}