{"entities":{"Q5926510":{"pageid":8103312,"ns":120,"title":"Item:Q5926510","lastrevid":41520967,"modified":"2025-05-02T13:23:59Z","type":"item","id":"Q5926510","labels":{"en":{"language":"en","value":"The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1572844"}},"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":"Q5926510$A017AE7F-5D77-43D3-8233-AF2D1239822B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc00a9b7615e3a7a1030e5c1d853af122d8c21ba","datavalue":{"value":{"text":"The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5926510$76CA8018-F435-4749-B3C2-BB711F6FCCD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34cd200c5f5eb3e2549da3ba48f09f173408286c","datavalue":{"value":"0957.00046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926510$FAD0E736-C2B0-4CF4-8E44-EF66F5550C35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5926510$6B80A928-E546-411D-B806-54D069AEFAB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d44b740cc16a5c0503e68c41530b9daa0bc7ab3","datavalue":{"value":{"time":"+2001-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5926510$66B948CB-159E-46E0-AD4A-A98121D09702","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed6e75cffa55ac9aa193c06c5c1e37149daf32e7","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents","type":"string"},"datatype":"url"},"type":"statement","id":"Q5926510$DB63A7BD-B760-4C51-80CE-D5F4916B305A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926510$41E6A6F0-36CE-4CBF-87F5-7854EAC60B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926510$056F8B8D-EFF8-4BAC-8263-8361B9381D0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"080fcac2aaac6fb5fae1ff90188aa24bb8f45ad9","datavalue":{"value":"1572844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5926510$F5FF7029-2E65-41F0-8399-3A160D5B5808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad37d9ab656d130021b1d151510820403741ad0","datavalue":{"value":"Kanzawa (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926510$F33D9F99-36E7-4AB9-858B-23689782BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926510$A7BD1535-1F94-4AAC-9909-7CED11D59391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926510$8BF54AC7-99F2-4BE3-BDAA-5B8B0D9DF76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1b3115e4fc86356381e5c12a1c22353345b1e9","datavalue":{"value":"RWLW","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926510$B7FA37CB-BECE-46C8-99D3-5E10CDABB815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15bda0610ba1a460baddf4003de12ce3845ee80","datavalue":{"value":"Rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926510$A6246E5C-BAB2-4AAE-AA13-1283F12FC271","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":"Q5926510$C70390AD-92DE-4CDA-80C8-690CBD5653E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"717a9945dd866c0223d1eb463fdf00f7c4052404","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (2nd, 1998) has been reviewed (see Zbl 0903.00070).NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\\textit{Leucker, Martin; Noll, Thomas}, Rewriting logic as a framework for generic verification tools, 17 p., electronic only [Zbl 0962.68080]NEWLINENEWLINE\\textit{Kulas, M.; Beierle, C.}, Defining standard Prolog in rewriting logic, 17 p., electronic only [Zbl 0962.68079]NEWLINENEWLINE\\textit{Nakamura, Masaki; Ogata, Kazuhiro}, The evaluation strategy for head normal form with and without on-demand flags, 17 p., electronic only [Zbl 0962.68083]NEWLINENEWLINE\\textit{Rodriguez, Dilia E.}, Case studies in the specification and analysis of protocols in Maude, 17 p., electronic only [Zbl 0962.68105]NEWLINENEWLINE\\textit{Ringeissen, Christophe}, Handling relations over finite domains in the rule-based system ELAN, 18 p., electronic only [Zbl 0962.68099]NEWLINENEWLINE\\textit{Mason, Ian A.; Talcott, Carolyn L.}, Simple network protocol simulation within Maude, 18 p., electronic only [Zbl 0966.68514]NEWLINENEWLINE\\textit{Cirstea, Horatiu; Kirchner, Claude}, The simply typed rewriting calculus, 19 p., electronic only [Zbl 0962.68084]NEWLINENEWLINE\\textit{Pattinson, Dirk}, Modal logic for rewriting theories, 19 p., electronic only [Zbl 0965.03038]NEWLINENEWLINE\\textit{van den Brand, M. G. J.; Ringeissen, C.}, ASF+SDF parsing tools applied to ELAN, 20 p., electronic only [Zbl 0962.68032]NEWLINENEWLINE\\textit{Denker, G.; Meseguer, J.; Talcott, C.}, Rewriting semantics of meta-objects and composable distributed services, 21 p., electronic only [Zbl 0962.68081]NEWLINENEWLINE\\textit{Goguen, Joseph; Lin, Kai; Rosu, Grigore}, Behavioral and coinductive rewriting, 22 p., electronic only [Zbl 0962.68078]NEWLINENEWLINE\\textit{Basin, David; Denker, Grit}, Maude versus Haskell: An experimental comparison in security protocol analysis, 22 p., electronic only [Zbl 0962.68056]NEWLINENEWLINE\\textit{Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.}, Towards Maude 2. 0, 22 p., electronic only [Zbl 0962.68108]NEWLINENEWLINE\\textit{Clavel, M.; Duran, F.; Marti-Oliet, N.}, Polytypic programming in Maude, 22 p., electronic only [Zbl 0962.68030]NEWLINENEWLINE\\textit{Olveczky, Peter Csaba; Meseguer, Jose}, Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems, 22 p., electronic only [Zbl 0962.68109]NEWLINENEWLINE\\textit{Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso}, The leader election protocol of IEEE 1394 in Maude, 22 p., electronic only [Zbl 0962.68107]NEWLINENEWLINE\\textit{Stehr, Mark-Oliver}, CINNI -- a generic calculus of explicit substitutions and its application to \\(\\lambda\\)-, \\(\\sigma\\)- and \\(\\pi\\)-calculi, 23 p., electronic only [Zbl 0966.68147]NEWLINENEWLINE\\textit{Duran, Francisco; Meseguer, Jose}, Parameterized theories and views in full Maude 2. 0, 23 p., electronic only [Zbl 0962.68106]NEWLINENEWLINE\\textit{Hilberdink, Hendrik}, New foundations for rewriting logic, 27 p., electronic only [Zbl 0966.68088]NEWLINENEWLINE\\textit{Kirchner, Helene; Gnaedig, Isabelle}, Termination and normalisation under strategy proofs in ELAN, 28 p., electronic only [Zbl 0962.68082]NEWLINENEWLINE\\textit{Millen, J.}, Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk), 6 p., electronic only [Zbl 0962.68057]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5926510$00E2BA29-CF9F-4AC7-884C-E35F7D40B861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5926510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5926510"}}}}}