{"entities":{"Q1386229":{"pageid":1396969,"ns":120,"title":"Item:Q1386229","lastrevid":67453362,"modified":"2026-04-12T17:59:41Z","type":"item","id":"Q1386229","labels":{"en":{"language":"en","value":"Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1153129"}},"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":"Q1386229$751AF7C0-9A3B-4F97-BD73-CF6011789F74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cd86433c5020c6744d192cd830439c2100a4a05","datavalue":{"value":{"text":"Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386229$B32E4578-F782-4967-94DA-40FF0234AD74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6f071d789d599429a7c0044b665bac95f8487d9","datavalue":{"value":"0888.00017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386229$597F0A61-F20F-4689-807E-D7530D1D56C3","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":"Q1386229$538336AB-C82F-4917-B163-A23D4A5F5368","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0afe826686de317a8c1133a29ab7c690e68321c2","datavalue":{"value":{"time":"+1998-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386229$5BA69E34-4A74-4D79-914B-618FB0F2F205","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c037ba272f4d03f71a04ab7314dd31e646776aac","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1360.68009].  Indexed articles:  \\textit{Otto, Friedrich; Sattler-Klein, Andrea; Madlener, Klaus}, Automatic monoids versus monoids with finite convergent presentations, 32-46 [Zbl 0914.20052]  \\textit{Levy, Jordi}, Decidable and undecidable second-order unification problems, 47-60 [Zbl 0901.03013]  \\textit{Schmidt-Schau\u00df, Manfred; Schulz, Klaus U.}, On the exponent of periodicity of minimal solutions of context equations, 61-75 [Zbl 0901.03034]  \\textit{Jacquemard, Florent; Meyer, Christoph; Weidenbach, Christoph}, Unification in extensions of shallow equational theories, 76-90 [Zbl 0903.03008]  \\textit{Guo, Qing; Narendran, Paliath; Shukla, Sandeep K.}, Unification and matching in process algebras, 91-105 [Zbl 0905.68091]  \\textit{Schmidt, Renate A.}, \\(E\\)-unification for subsystems of \\(S4\\), 106-120 [Zbl 0903.03013]  \\textit{Limet, S\u00e9bastien; R\u00e9ty, Pierre}, Solving disequations modulo some class of rewrite systems, 121-135 [Zbl 0906.03008]  \\textit{Waldmann, Johannes}, Normalization of S-terms is decidable, 138-150 [Zbl 0903.03019]  \\textit{Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei}, The decidability of simultaneous rigid \\(E\\)-unification with one variable, 181-195 [Zbl 0903.03007]  \\textit{M\u00fcller, Martin; Niehren, Joachim}, Ordering constraints over feature trees expressed in second-order monadic logic, 196-210 [Zbl 0903.03006]  \\textit{Akama, Yohji}, SN combinators and partial combinatory algebras, 302-316 [Zbl 0903.03018]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386229$9A46C8DE-2FB0-4CCE-8C30-3B47BDF8B39A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386229$D3A966AF-AEEA-4F61-8239-DCE86D25C9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386229$5DFCED36-EA52-4444-8027-5C617A5B1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386229$EFC7F9B6-B3AA-498B-944C-490024138C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386229$4A2325E5-394C-4152-A705-9748C5FECFC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6930385d5695af87e8cb9cc04c7da8efa7c8da1d","datavalue":{"value":"1153129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386229$4D1A1FFB-561D-4714-B558-D832811FFE15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ed2bf729a4f5421f24e50972eba1cebc1516915","datavalue":{"value":"Tsukuba (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386229$14409953-5730-4A9E-9C3A-A1C8755DF450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386229$E3A492EA-AE96-49BD-B12C-435F1169C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386229$6B4AAE35-4054-4F18-96CF-E40172209524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c890991562250456f3584cf6788319821234270","datavalue":{"value":"RTA-98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386229$432434E1-1178-4B5A-A91C-0C3B057F58D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658446893a07d8e5c45adb211c84d96628b6f146","datavalue":{"value":"Rewriting techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386229$22024013-D986-4680-9AAE-1699EFC919BC","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":"Q1386229$8CE8896A-CE23-4FAE-AEB3-F98D5DA9B37E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting_techniques_and_applications._9th_international_conference,_RTA-98,_Tsukuba,_Japan,_March_30_-_April_1,_1998._Proceedings"}}}}}