{"entities":{"Q704166":{"pageid":706015,"ns":120,"title":"Item:Q704166","lastrevid":63654846,"modified":"2026-04-11T14:38:22Z","type":"item","id":"Q704166","labels":{"en":{"language":"en","value":"Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2127078"}},"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":"Q704166$52DF9BFB-E843-4122-A7DE-E78982430429","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f08ba71ce9016ab968f3b7ca1fac6f6cf7fc0c6","datavalue":{"value":{"text":"Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704166$73ADD685-D7C8-4F47-8386-1F589A0FC513","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20682f1b41633e0041f869b168805505ffd4fbab","datavalue":{"value":"1052.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$B8176696-4031-4850-B539-8D107BE18D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704166$41981521-27B0-4FB2-BABD-35A45852FFA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"915677ea13ebe6cf8033f41f837baa84af2ec8a3","datavalue":{"value":{"time":"+2005-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704166$611DBCAA-6CBB-4832-B1EF-338BC4039350","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"770a1a4924199ad3bc0fcd536665997ad037a629","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1029.00060).  Indexed articles:  \\textit{Jones, Neil D.; Bohr, Nina}, Termination analysis of the untyped \\(\\lambda \\)-calculus, 1-23 [Zbl 1187.68127]  \\textit{Blanqui, Fr\u00e9d\u00e9ric}, A type-based termination criterion for dependently-typed higher-order rewrite systems, 24-39 [Zbl 1187.68273]  \\textit{Toyama, Yoshihito}, Termination of S-expression rewriting systems: Lexicographic path ordering for higher-order terms, 40-54 [Zbl 1187.68284]  \\textit{Levy, Jordi; Schmidt-Schau\u00df, Manfred; Villaret, Mateu}, Monadic second-order unification is NP-complete, 55-69 [Zbl 1187.68278]  \\textit{Contejean, Evelyne}, A certified AC matching algorithm, 70-84 [Zbl 1187.68524]  \\textit{Carme, Julien; Niehren, Joachim; Tommasi, Marc}, Querying unranked trees with stepwise tree automata, 105-118 [Zbl 1187.68188]  \\textit{Takai, Toshinori}, A verification technique using term rewriting systems and abstract interpretation, 119-133 [Zbl 1187.68319]  \\textit{Geuvers, Herman; Nederpelt, Rob}, Rewriting for Fitch style natural deductions, 134-154 [Zbl 1187.03045]  \\textit{Mackie, Ian}, Efficient \\(\\lambda \\)-evaluation with interaction nets, 155-169 [Zbl 1187.68280]  \\textit{Limet, S\u00e9bastien; Salzer, Gernot}, Proving properties of term rewrite systems via logic programs, 170-184 [Zbl 1187.68279]  \\textit{Simonsen, Jakob Grue}, On the modularity of confluence in infinitary term rewriting, 185-199 [Zbl 1187.68283]  \\textit{Blom, Stefan}, An approximation based approach to infinitary lambda calculi, 221-232 [Zbl 1187.03013]  \\textit{Ketema, Jeroen}, B\u00f6hm-like trees for term rewriting systems, 233-248 [Zbl 1187.68276]  \\textit{Hirokawa, Nao; Middeldorp, Aart}, Dependency pairs revisited, 249-268 [Zbl 1187.68275]  \\textit{Aoto, Takahito; Yamada, Toshiyuki; Toyama, Yoshihito}, Inductive theorems for higher-order rewriting, 269-284 [Zbl 1187.68272]  \\textit{Mitsuhashi, Ichiro; Oyamaguchi, Michio; Ohta, Yoshikatsu; Yamada, Toshiyuki}, The joinability and unification problems for confluent semi-constructor TRSs, 285-300 [Zbl 1187.68281]","type":"string"},"datatype":"string"},"type":"statement","id":"Q704166$6DBBEED6-82E4-459A-BC90-354345EE692F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$9BFFB7EE-525F-431A-94A6-4E5A9978108A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$0B0E9558-CB09-4851-B21A-1A30B331E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$01858E7A-23A0-4B65-B8FF-900C3539A58C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ce6c3f3f994c1f94b3c5057c12213dad8f70a29","datavalue":{"value":"2127078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$C085136E-8BF2-4842-B62F-BE04EC310EF1","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":"Q704166$DF93E90E-4CDB-47C7-9025-3223BB03D579","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3587120ecb98f6806836e6a2f00ec2ce2f49ecad","datavalue":{"value":"https://doi.org/10.1007/b98160","type":"string"},"datatype":"url"},"type":"statement","id":"Q704166$66C720F7-A60E-4E3F-B316-428E26DAB681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12406c670cc3068f44cc5b1d10243516ca2506d4","datavalue":{"value":"W2661706449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$233D49DA-72A8-4BC9-8BF2-6A2FF5D5DD9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cd5cc3a2c192dc8cfdb410bb139319dda8cda59","datavalue":{"value":"10.1007/B98160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704166$BFFFB173-6958-4B27-AA57-234C3208C947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f1bd6ea583a6018c25f8ce082c80073e675ff2c","datavalue":{"value":{"entity-type":"item","numeric-id":1805032,"id":"Q1805032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69ef84050ed4f2931063a26fafb7faca1263a2a","datavalue":{"value":{"amount":"+0.9402817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$6B5212B7-2171-4D91-89EA-04F1E372A991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37ffb04ba7f5c9bd8354de14a1ee113d9c4a641","datavalue":{"value":{"entity-type":"item","numeric-id":932523,"id":"Q932523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2495b50e15bab26dbd1579d09df34bdaa800bc2","datavalue":{"value":{"amount":"+0.92329913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$77093F6E-5225-413C-9DE2-D5A97634DC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c26f3b28ce6b67e80b79b816015ec12bf31f7d","datavalue":{"value":{"entity-type":"item","numeric-id":1418343,"id":"Q1418343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd92a29955991fc561ff8763bc30b692a7206e42","datavalue":{"value":{"amount":"+0.919992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$9D23A104-5E2A-437C-BDED-3391FC296D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35070fef10b9e98a761e17e3cd8f0f9ec39840d","datavalue":{"value":{"entity-type":"item","numeric-id":5941714,"id":"Q5941714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2725db0d1242a33c16561930f98b36f1563ae76","datavalue":{"value":{"amount":"+0.91287637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$407CE32F-7BCD-4713-9E00-8E1B7309DB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08843b537d655a310677d08fa98dba021b6f4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1572699,"id":"Q1572699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05df2b03278a833972ea1dea7a37147f75464c1c","datavalue":{"value":{"amount":"+0.9074647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$50AC129E-D65B-4E48-9166-B1381CC805CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390df5a862991e3f9e4f19eff6aa9481a7137f12","datavalue":{"value":{"entity-type":"item","numeric-id":1611726,"id":"Q1611726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c621fe1100212293f9406fa33c6e0c7e15c2b3","datavalue":{"value":{"amount":"+0.9023694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$C3C47881-F60F-4952-8306-4D330E1DA51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1907dfc7959e1789562d3f5d8506cc91d02e7bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1294616,"id":"Q1294616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916eb769cbd2e6e9c71af0218f2adc65080fd0fb","datavalue":{"value":{"amount":"+0.90075696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$20265777-9E9A-4F85-9EEE-31E112CF867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195c4ed7f75a867857b01f7ff687e57a1043a2bc","datavalue":{"value":{"entity-type":"item","numeric-id":1202087,"id":"Q1202087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c176e970d8bb7b7e12fbd3ed317ef75666ca4eee","datavalue":{"value":{"amount":"+0.9001751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$ED0178A5-4795-4005-B115-AE8C5B913B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435cdad56e3515552701f456f6e43f51575473fd","datavalue":{"value":{"entity-type":"item","numeric-id":1356229,"id":"Q1356229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a171610c657aecede0d5da1affcfbba75c4a67c","datavalue":{"value":{"amount":"+0.89834464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$E0C0E331-B39B-4351-B571-04E5A3091E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4f5c4bf0ad396c3295374867d073116e5dc0b","datavalue":{"value":{"entity-type":"item","numeric-id":1309366,"id":"Q1309366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094cc2287792be515c81f60de7d615c4bdf3b669","datavalue":{"value":{"amount":"+0.89346784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q704166$BCD73DF6-7AC4-4BFB-ADAC-6A0CB5820443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_techniques_and_applications._15th_international_conference,_RTA_2004,_Aachen,_Germany,_June_3--5,_2004._Proceedings."}}}}}