{"entities":{"Q1294616":{"pageid":1305366,"ns":120,"title":"Item:Q1294616","lastrevid":67286433,"modified":"2026-04-12T16:36:30Z","type":"item","id":"Q1294616","labels":{"en":{"language":"en","value":"Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1312930"}},"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":"Q1294616$EDF8A14F-8CB0-4AF4-8D3B-53F82B5A44AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b27f6d55c8e385262619df11d97921188061fe7f","datavalue":{"value":{"text":"Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1294616$0FE32E29-1CBC-4CB4-B57F-ACF667485A1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11398e47c01e6f51f7ac1b7e49eebb749da48099","datavalue":{"value":"0916.00018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294616$52A259AD-31C1-4BC2-A316-F6A4B4BC6CD3","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":"Q1294616$3ABC650E-F3F5-43B1-9278-1AA7A2B0BC9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d38e53adff89f3b423353584daf8950b172977c","datavalue":{"value":{"time":"+1999-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1294616$A6BA98BB-8ACD-40AE-9686-2371E9E0F205","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"904d9978a6d0711e4846819bbb6cf44b96831d31","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (9th, 1998) has been announced (see Zbl 0888.00017).  Indexed articles:  \\textit{Nieuwenhuis, Robert; Rivero, Jos\u00e9 Miguel}, Solved forms for path ordering constraints, 1-15 [Zbl 0943.68087]  \\textit{de Groote, Philippe}, On the strong normalisation of natural deduction with permutation-conversions, 45-59 [Zbl 0939.03061]  \\textit{Di Cosmo, Roberto; Guerrini, Stefano}, Strong normalization of proof nets modulo structural congruences, 75-89 [Zbl 0939.03068]  \\textit{Marcinkowski, Jerzy}, Undecidability of the \\(\\exists^*\\forall^*\\) part of the theory of ground term algebra modulo an AC symbol, 92-102 [Zbl 0939.03013]  \\textit{Caron, Anne-C\u00e9cile; Seynhaeve, Franck; Tison, Sophie; Tommasi, Marc}, Deciding the satisfiability of quantifier free formulae on one-step rewriting, 103-117 [Zbl 0939.03011]  \\textit{Limet, S\u00e9bastien; R\u00e9ty, Pierre}, A new result about the decidability of the existential one-step rewriting theory, 118-132 [Zbl 0939.03012]  \\textit{Rubio, Albert}, A fully syntactic AC-RPO, 133-147 [Zbl 0943.68088]  \\textit{Stuber, J\u00fcrgen}, Theory path orderings, 148-162 [Zbl 0943.68089]  \\textit{Touzet, H\u00e9l\u00e8ne}, A characterization of multiply recursive functions with Higman's lemma, 163-174 [Zbl 0939.03043]  \\textit{Baader, Franz; Tinelli, Cesare}, Deciding the word problem in the union of equational theories sharing constructors, 175-189 [Zbl 0976.03051]  \\textit{Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A.}, Normalization via rewrite closures, 190-204 [Zbl 0943.68090]  \\textit{Hofbauer, Dieter; Huber, Maria}, Test sets for the universal and existential closure of regular tree languages, 205-219 [Zbl 0943.68100]  \\textit{van Raamsdonk, Femke}, Higher-order rewriting, 220-239 [Zbl 0939.68063]  \\textit{Nagaya, Takashi; Toyama, Yoshihito}, Decidability for left-linear growing term rewriting systems, 256-270 [Zbl 0943.68091]  \\textit{Ferreira, M. C. F.; Ribeiro, A. L.}, Context-sensitive AC-rewriting, 286-300 [Zbl 0946.68068]  \\textit{Blanqui, Fr\u00e9d\u00e9ric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro}, The calculus of algebraic constructions, 301-316 [Zbl 0943.68153]  \\textit{Dowek, Gilles; Hardin, Th\u00e9r\u00e8se; Kirchner, Claude}, HOL-\\(\\lambda\\sigma\\): An intentional first-order expression of higher-order logic, 317-331 [Zbl 0944.03007]  \\textit{Otto, Friedrich}, On the connections between rewriting and formal language theory,, 332-355 [Zbl 0943.68101]  \\textit{Frougny, Christiane; Sakarovitch, Jacques}, A rewrite system associated with quadratic Pisot units, 356-370 [Zbl 0939.68064]  \\textit{Saubion, Fr\u00e9d\u00e9ric; St\u00e9phan, Igor}, On implementation of tree synchronized languages, 382-396 [Zbl 0943.68102]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294616$1E3A6589-C628-41B1-9724-6A573F7F01C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294616$29EAE257-C177-4225-90C1-5F55E07A8057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294616$7906C442-3AE6-45DF-9CF5-F69428C1C2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294616$BBA73F0A-2EAB-4266-9B98-02EF06A7B28E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18d961ec59987d7a66fb15220ced052228a769b8","datavalue":{"value":"1312930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294616$4276F6C5-73C6-44E3-8A8F-A593219B0578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976db3ede86419f801052df2563dbb408e45e313","datavalue":{"value":"Trento (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294616$FF48E556-B95E-47FB-8F4E-900D557FDD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294616$FDCDA298-977C-4F99-8846-9B54FB08E5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294616$D211305B-2B19-4513-AC87-25F8EC21540F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8abf6a87009b6ee17e2e81ca7a3a2751ce905d0","datavalue":{"value":"RTA-99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294616$2D302F10-AEAB-4B26-AA25-3EBA6F002830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658446893a07d8e5c45adb211c84d96628b6f146","datavalue":{"value":"Rewriting techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1294616$ACDD061B-4483-434A-AFFF-74BFFF1602C1","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":"Q1294616$0D87EA0D-2B6F-425F-93AF-91C4052192DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_techniques_and_applications._10th_international_conference,_RTA-99._Trento,_Italy,_July_2--4,_1999._Proceedings"}}}}}