{"entities":{"Q1572699":{"pageid":1583439,"ns":120,"title":"Item:Q1572699","lastrevid":71326680,"modified":"2026-04-13T21:28:53Z","type":"item","id":"Q1572699","labels":{"en":{"language":"en","value":"Rewriting techniques and applications. 11th international conference, RTA 2000, Norwich, GB, July 10--12, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1481731"}},"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":"Q1572699$B109EFC3-0E22-4D79-BB7B-18607ADFC2D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57d8008fba0ef64517ee6e9a2090b7f8189058de","datavalue":{"value":{"text":"Rewriting techniques and applications. 11th international conference, RTA 2000, Norwich, GB, July 10--12, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1572699$DA5F31A4-CA02-4705-B977-D6245D293784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"519ce6409c65868ae07f975519e63cb2fea7a39f","datavalue":{"value":"0941.00035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572699$61BFA360-C150-4BA6-9AEA-25C8643234BB","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":"Q1572699$4C6F251A-F0A2-47DA-AD47-93D5EEF52F2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0f0b15b8a0904033f22f1a331255b6cd52c7483","datavalue":{"value":{"time":"+2000-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1572699$24EBA4B0-2ADF-4C54-ABDC-3B5B1C3DB042","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"755190a0c0c56656b3335c74a7d7757651d37073","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (10th, 1999) has been indicated (see Zbl 0916.00018).  Indexed articles:  \\textit{Meseguer, Jos\u00e9}, Rewriting logic and Maude: Concepts and applications, 1-26 [Zbl 0964.68069]  \\textit{Tison, Sophie}, Tree automata and term rewrite systems, 27-30 [Zbl 0964.68522]  \\textit{Bj\u00f8rner, Nikolaj; Mu\u00f1oz, C\u00e9sar}, Absolute explicit unification, 31-46 [Zbl 0964.03009]  \\textit{Blanqui, Fr\u00e9d\u00e9ric}, Termination and confluence of higher-order rewrite systems, 47-61 [Zbl 0964.68070]  \\textit{Bonelli, Eduardo; Kesner, Delia; R\u00edos, Alejandro}, A de Bruijn notation for higher-order rewriting. (Extended abstract), 62-79 [Zbl 0964.68520]  \\textit{Contejean, Evelyne; Coste, Antoine; Monate, Benjamin}, Rewriting techniques in theoretical physics, 80-94 [Zbl 0964.68149]  \\textit{Dougherty, Dan; Guti\u00e9rrez, Claudio}, Normal forms and reduction for theories of binary relations, 95-109 [Zbl 0964.03069]  \\textit{Erk, Katrin; Niehren, Joachim}, Parallelism constraints, 110-126 [Zbl 0964.68068]  \\textit{de Groote, Philippe}, Linear higher-order matching is NP-complete, 127-140 [Zbl 0964.68067]  \\textit{Joachimski, Felix; Matthes, Ralph}, Standardization and confluence for a lambda calculus with generalized applications, 141-155 [Zbl 0964.03014]  \\textit{Levy, Jordi; Villaret, Mateu}, Linear second-order unification and context unification with tree-regular constraints, 156-171 [Zbl 0964.68074]  \\textit{Lohrey, Markus}, Word problems and confluence problems for restricted semi-Thue systems, 172-186 [Zbl 0964.68072]  \\textit{Pichler, Reinhard}, The explicit representability of implicit generalizations, 187-202 [Zbl 0964.68071]  \\textit{Statman, Rick}, On the word problem for combinators, 203-213 [Zbl 0964.03013]  \\textit{Struth, Georg}, An algebra of resolution, 214-228 [Zbl 0964.03010]  \\textit{Stuber, J\u00fcrgen}, Deriving theory superposition calculi from convergent term rewriting systems, 229-245 [Zbl 0964.68521]  \\textit{Takai, Toshinori; Kaji, Yuichi; Seki, Hiroyuki}, Right-linear finite path overlapping term rewriting systems effectively preserve recognizability, 246-260 [Zbl 0964.68073]  \\textit{Arts, Thomas}, System description: The dependency pair method, 261-264 [Zbl 0964.68562]  \\textit{Moreau, Pierre-Etienne}, REM (Reduce Elan Machine): Core of the new ELAN compiler, 265-269 [Zbl 0964.68560]  \\textit{Ohlebusch, Enno; Claves, Claus; March\u00e9, Claude}, TALP: A tool for the termination analysis of logic programs, 270-273 [Zbl 0964.68563]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572699$F48937D6-D011-45A4-9692-697E9DE61D1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572699$B55DABA3-84BC-4057-8D58-9B32EBFD8C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572699$679FA521-0A8E-440C-AFDA-57DB3C23B57B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da66588dfcdf66f2024d6b311e301b91f8f8b2b","datavalue":{"value":"1481731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1572699$EAA99E91-B19E-4132-8B30-8FE391E30F9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7fe7c83b93da0c750af0e07dd679a144ba9ae3","datavalue":{"value":"Norwich (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572699$CBEC41EB-D949-438B-95EC-74A02B7EB09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572699$D43A4CF2-0B3C-480B-A143-156CE3617C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572699$A163A58D-EE3F-42CD-B797-3F269033407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d13179ffbb7da77e0f39c195a52e558b77937f4","datavalue":{"value":"RTA 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572699$18137D90-9B08-4018-A3D1-AA2E89698B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658446893a07d8e5c45adb211c84d96628b6f146","datavalue":{"value":"Rewriting techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1572699$5FF10339-294D-4B6F-99FF-1CF51D9279A5","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":"Q1572699$F6C6C482-B1F2-4A4E-BB10-AEA188ACE42F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting techniques and applications. 11th international conference, RTA 2000, Norwich, GB, July 10--12, 2000. Proceedings","badges":[]}}}}}