{"entities":{"Q1065790":{"pageid":1076542,"ns":120,"title":"Item:Q1065790","lastrevid":48861400,"modified":"2026-01-06T00:55:13Z","type":"item","id":"Q1065790","labels":{"en":{"language":"en","value":"Conditional rewrite rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922627"}},"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":"Q1065790$C1020995-332D-4E15-82D5-FFB6750DC0A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34f7d3c793a4705206f85866b03f697bc3174157","datavalue":{"value":{"text":"Conditional rewrite rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065790$E43EC3C0-FD3B-4AFA-B9BB-1ECA684F3A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"792ce73755f7978c4785fbedd692075eb9560f7b","datavalue":{"value":"0577.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065790$109CB586-83E5-4A79-A876-C49086F8DE5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef0444c42f8efa202ee5edc0d5eba1ce332de610","datavalue":{"value":"10.1016/0304-3975(84)90087-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065790$1DA19DE7-C665-4FB5-9168-A24A0D613955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e1957d20bd80c77cf6d1a55847688227d4cf6ab","datavalue":{"value":{"entity-type":"item","numeric-id":914404,"id":"Q914404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$BB9828B3-8BE9-4A7A-953C-B8490B08E3B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$71E65BF7-A680-40F3-B660-88DF47D74DEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1065790$067D6C2F-B67D-419F-8EA4-258A896A7BBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a68b65493358dc5a35412813f7e07f63b1a5c252","datavalue":{"value":"The purpose of this paper is to develop a general study of conditional equational theories. A system of conditional equations is defined simply as a finite set of equational Horn clauses. It is shown that from an algebraic point of view these systems give rise to results analogous to those for classical equational theories. Unfortunately, for the related conditional rewriting systems the rewriting problem is unsolvable and the normal form function is uncomputable. Besides its intrinsic beauty such a general model may become a valuable tool for a ''top down'' search of decidability thresholds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065790$42C01D4A-0075-4E2E-A838-03EC3F06D666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065790$4B58B43C-0870-4E6A-97CA-DF84DB370C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065790$47C6AE6B-36B4-4416-8814-C555F390E0DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48c453d665ea232782ee59a013c7681d61ac2f1c","datavalue":{"value":"3922627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065790$F07C1497-A518-4404-BAAE-AB4AC68B10E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee751356c00b49367787432da3a4f7119e58c24","datavalue":{"value":"conditional equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065790$DAF99C03-89A5-4FE6-A276-74342632F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e972ff2173c0deffa6eebf1618724b2f35848ea9","datavalue":{"value":"conditional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065790$F32809D8-C058-446C-8D4D-C2FBC2EFED15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b528855d4f6ad095173ac55b7552f2e5af3ab969","datavalue":{"value":"equational Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065790$25513D9B-9F9B-4A8D-A031-8FEB240E6E36","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$56A6A4A9-91A1-43C7-B55B-04461C6D90FD","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":"Q1065790$656B4B58-87BC-44E0-8057-D1E64EDBBB81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582da124fdd3dfca92e8b397e6e1ff00e7e975dc","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90087-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065790$C8593477-B8CA-4E2F-BF3A-F982EAFB75F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36ff319bc108b92668f29aa205f5dc1eb0068d1e","datavalue":{"value":"W2018227989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065790$FAC07D66-8264-40AD-90CA-C55424262ED5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$BC8C4EB8-095C-4162-86C8-7220CCE8A2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f8d0ddc20429cb5ddeb8d2aa2be986bead10cd","datavalue":{"value":{"entity-type":"item","numeric-id":3347272,"id":"Q3347272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$438F7E14-4616-46EC-A0F7-19375940A707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$AA1FB1F3-2857-4C73-92C9-11CFF35B486C","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":"Q1065790$E0C26915-64D7-4C62-A5AB-817CA4F7443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$1E2D207E-A69E-4512-9406-BF97F1732617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a597fd22037151e0c8055849861a47db3ea8e851","datavalue":{"value":{"entity-type":"item","numeric-id":3341872,"id":"Q3341872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$9D34523B-7583-4A2E-B913-66A08F22B442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348c3cca13d6350ca59547312259f123bcbd1b05","datavalue":{"value":{"entity-type":"item","numeric-id":2556880,"id":"Q2556880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065790$F7D37BCE-4345-4CC8-96C1-A069A0646E82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e25c0dc71325e23a4e3ab92f687918a8041e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e759f312dd0e1046e09ceb186e705a3d7d13f63","datavalue":{"value":{"amount":"+0.8370724320411682","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":"Q1065790$9076C285-4DE4-4B8A-8C5F-F750E71ECD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab3785e2d14300d5c465b6e6f4cb461ad309a28","datavalue":{"value":{"amount":"+0.8323045969009399","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":"Q1065790$7AD1CDEB-E95F-4E69-95DB-BA3C0857472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11657cab5da6ccda3d74863e31abdc7ede599c07","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48787be28e3b336113c6f8a9aa516f4b398a22e7","datavalue":{"value":{"amount":"+0.8310424089431763","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":"Q1065790$495041A7-F3F6-435C-AF1F-22AF6CA7F9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f627305a197d6a6b0d2e561f92b12be539a8e0d1","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322896b2287d9cad436865a443163af5e1843f53","datavalue":{"value":{"amount":"+0.8197762370109558","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":"Q1065790$9DC66DD3-C4EA-4A0C-A06E-38E0761F2F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d03574835f8ed7c41930da9abcbddca8bc2a6c","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86fc2193f9d7eeaac1e9980440045c7a424da44","datavalue":{"value":{"amount":"+0.8168471455574036","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":"Q1065790$70C50EB6-6276-43B0-A41F-0E1BD9B8E599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1065790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1065790"}}}}}