{"entities":{"Q1273563":{"pageid":1284313,"ns":120,"title":"Item:Q1273563","lastrevid":80273447,"modified":"2026-05-06T15:49:10Z","type":"item","id":"Q1273563","labels":{"en":{"language":"en","value":"IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Pr\u00e8montr\u00e8s at Pont-\u00e1-Mousson, France, September 1998"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231237"}},"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":"Q1273563$1D0F06CA-50A2-43C6-9F82-F95D8C9DC84F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87839d33c5ffc4e63c845c2ef9b4c834b4f32712","datavalue":{"value":{"text":"IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Pr\u00e8montr\u00e8s at Pont-\u00e1-Mousson, France, September 1998","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273563$A1D89627-4DF0-44B5-BEA6-554DC01D1FC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3654ada2a433d5a41fe0bc63aaaba94540aff70","datavalue":{"value":"0903.00070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273563$9BCD2746-6D69-4469-A441-3F7D583BDB40","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":"Q1273563$35267C63-64CB-4839-8BFB-C543953D06A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10db94ff6ed2fe3888b7e1d453ab09feaeaa4a9e","datavalue":{"value":{"time":"+1998-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273563$3D60B651-5C46-45FF-BA75-5202FFD1221F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ae2f7bbd633183c945be97fe5f8c942b88bba06","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (1st, 1996) has been reviewed in Zbl 0903.00068.  Indexed articles:  \\textit{Basin, David; Matthews, Se\u00e1n}, Scoped metatheorems, electronic paper No. 2 [Zbl 0917.68197]  \\textit{Clavel, M.; Dur\u00e1n, F.; Eker, S.; Lincoln, P.; Mart\u00ed-Oliet, N.; Meseguer, J.}, Metalevel computation in Maude, electronic paper No. 3 [Zbl 0917.68024]  \\textit{Visser, Eelco; Benaissa, Zine-el-Abidine}, A core language for rewriting, electronic paper No. 4 [Zbl 0917.68098]  \\textit{Eker, Steven}, Term rewriting with operator evaluation strategies, electronic paper No. 5 [Zbl 0917.68113]  \\textit{Borovansk\u00fd, Peter}, Controlling rewriting: Study and implementation of a strategy formalism, electronic paper No. 6 [Zbl 0917.68102]  \\textit{Diaconescu, Razvan; Futatsugi, Kokichi}, An overview of \\(CafeOBJ\\), electronic paper No. 7 [Zbl 0917.68101]  \\textit{Jouannaud, Jean-Pierre}, Membership equation logic, calculus of inductive instructions, and rewrite logic. (Extended abstract), electronic paper No. 8 [Zbl 0917.68118]  \\textit{Bruni, R.; Meseguer, J.; Montanari, U.}, Internal strategies in a rewriting implementation of tile systems, electronic paper No. 9 [Zbl 0917.68104]  \\textit{Matsumoto, Michihiro; Futatsugi, Kokichi}, Test set coinduction -- toward automated verification of behavioural properties, electronic paper No. 10 [Zbl 0917.68114]  \\textit{van den Brand, M. G. J.; Klint, P.; Verhoef, C.}, Term rewriting for sale, electronic paper No. 11 [Zbl 0917.68112]  \\textit{Schorlemmer, W. Marco}, Rewriting logic as a logic of special relations, electronic paper No. 12 [Zbl 0917.68109]  \\textit{Dur\u00e1n, Francisco; Meseguer, Jos\u00e9}, An extensible module algebra for Maude, electronic paper No. 13 [Zbl 0919.68076]  \\textit{Borovansk\u00fd, Peter; Jamoussi, Salma; Moreau, Pierre-Etienne; Ringeisen, Christophe}, Handling \\(ELAN\\) rewrite programs via an exchange format, electronic paper No. 14 [Zbl 0917.68023]  \\textit{Bruni, Roberto}, A logic modular descriptions of asynchronous and synchronized concurrent systems, electronic paper No. 15 [Zbl 0917.68099]  \\textit{Clavel, M.; Dur\u00e1n, F.; Eker, S.; Lincoln, P.; Mart\u00ed-Oliet, N.; Mesaguer, J.; Quesada, J. F.}, Maude as a metalanguage, electronic paper No. 16 [Zbl 0917.68106]  \\textit{Giunchiglia, Fausto; Bertoli, Piergiorgio; Coglio, Alessandro}, The OMRS project: State of the art, electronic paper No. 17 [Zbl 0917.68175]  \\textit{Carabetta, Georgia; Degano, Pierpaolo}, CCS semantics via proved transition systems and rewriting logic, electronic paper No. 18 [Zbl 0917.68126]  \\textit{Denker, Grit}, From rewrite theories to temporal logic theories, electronic paper No. 19 [Zbl 0917.68103]  \\textit{Steggles, L. J.; Kosiuczenko, Piotr}, A timed rewriting logic semantics for SDL: A case study of alternating bit protocol, electronic paper No. 20 [Zbl 0917.68116]  \\textit{Clavel, Manuel}, Reflection in general logics, rewriting logic, and Maude, electronic paper No. 21 [Zbl 0917.68108]  \\textit{Borovansk\u00fd, Peter; Kirchner, Claude; Kirchner, H\u00e9l\u00e8ne; Moreau, Pierre-Etienne; Ringeisen, Christophe}, An overview of ELAN, electronic paper No. 22 [Zbl 0917.68022]  \\textit{Meseguer, Jos\u00e9; Talcott, Carolyn}, Mapping OMRS to rewring logic, electronic paper No. 23 [Zbl 0917.68105]  \\textit{Viry, Patrick}, Adventures in sequent calculus modulo equations, electronic paper No. 24 [Zbl 0917.68100]  \\textit{Borovansk\u00fd, Peter; Castro, Carlos}, Cooperation of constraint solvers: Using the new process control facilities of ELAN, electronic paper No. 25 [Zbl 0917.68117]  \\textit{Mosses, Peter D.}, Semantics, modularity, and rewriting logic, electronic paper No. 26 [Zbl 0917.68110]  \\textit{Lechner, Ulrike}, Object-oriented specification of distributed systems, electronic paper No. 27 [Zbl 0917.68069]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273563$92F7D7A7-C5E0-47F1-93CB-82BF87AA8CCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273563$B7975E89-1068-4588-81E2-2C496E55032E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273563$3B6A99EB-8B71-4E2E-8839-489E57C3989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273563$B2B7DF1E-44E9-4F8A-8E3B-96FBF09AE8EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f036517c1e258e3e52e221bffb29f6d7f132c87","datavalue":{"value":"1231237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273563$A19CB93A-F472-475F-93F9-56034DAF80DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a2bf60ddd12e27ebfe2bd204bbf846480e9b079","datavalue":{"value":"Pont-\u00e1-Mousson (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273563$D70EDFCC-F132-4D32-99BE-CCE1E266A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273563$E4E602C7-259D-4DED-826A-918F0F8C2AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273563$803BCABB-8F48-40A6-B583-F267362A4147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15bda0610ba1a460baddf4003de12ce3845ee80","datavalue":{"value":"Rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273563$7B022326-8F49-4C2F-8D8F-0D351E519C2B","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":"Q1273563$C847A192-413D-48EC-90EE-FABEB7C55D5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eded313fbaedc1c7cf5d6b49c1cbc8c330208575","datavalue":{"value":{"entity-type":"item","numeric-id":1273555,"id":"Q1273555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a853c233577001199055f7e922f7acd67ed0530","datavalue":{"value":{"amount":"+0.89409804","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":"Q1273563$1E751C59-3042-4041-8CBC-C4A09EA257B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ca9a19dea3c48a059021750a6ae581384024a5","datavalue":{"value":{"entity-type":"item","numeric-id":371260,"id":"Q371260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f5d88e14997f81a40bf14435f07a6471fb20a2","datavalue":{"value":{"amount":"+0.88957816","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":"Q1273563$3DA2CE2B-EC66-4D70-B792-E1A90BE29258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231cd2ba4a4df1ea319c79dd10a27b98b950fdbd","datavalue":{"value":{"entity-type":"item","numeric-id":5926510,"id":"Q5926510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f017ba035e1b3eced9425e18e0025324b911f0d","datavalue":{"value":{"amount":"+0.8869946","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":"Q1273563$1E304565-F0B5-4D55-93B5-C85FAE41675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a68860c0b6c71bd4b11e19e570c7770c83b0c3c","datavalue":{"value":{"entity-type":"item","numeric-id":1615002,"id":"Q1615002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766626cc61cf3d58dc93ff45b435fbf197ab2fc4","datavalue":{"value":{"amount":"+0.87884825","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":"Q1273563$42CEE58E-3FC4-47BC-9DEA-94E743DEC18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2abed6f731e8e7c6dc8f3eb50a50c1bfce5f9f2","datavalue":{"value":{"entity-type":"item","numeric-id":492687,"id":"Q492687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c516d23ff18dbdac372f6ccdb7b4e25aa4b60d","datavalue":{"value":{"amount":"+0.87577176","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":"Q1273563$E1C43315-7E76-45BC-A5B8-EBC3A8D796BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a31abb8bd4a6ea845a03b74aa65dc0ee9cc4c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2165525,"id":"Q2165525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33556c8699295da547e668f53160e81c2c358b1c","datavalue":{"value":{"amount":"+0.8685273","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":"Q1273563$9B2B5D3E-86FA-415A-BAA9-7BEEE128065A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85789bbc9801ac9a4e6ad08137dd3e0f0daf5ffd","datavalue":{"value":{"entity-type":"item","numeric-id":360611,"id":"Q360611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1767dbbfe804bf4a81be5b9c58da06da7c2a9625","datavalue":{"value":{"amount":"+0.86189634","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":"Q1273563$DD88B133-8C05-4490-99A8-0060AD3563AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4ed9be3cb916aa96c3814ea915fe960245fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":1798028,"id":"Q1798028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d79f02bc8b88433ae4db0ae4da37e3833f16aa6","datavalue":{"value":{"amount":"+0.8615224","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":"Q1273563$AFAAE25A-F9FC-45F4-A3C9-8A85FD642C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa37a8e075719ff048003b94d6e739a6ceb460a","datavalue":{"value":{"entity-type":"item","numeric-id":392266,"id":"Q392266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1354e5174fe6f4f769a88443d5692628a814a91e","datavalue":{"value":{"amount":"+0.86049044","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":"Q1273563$FBAC8650-1717-466F-84CA-34D46920E5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590fde590497a22b56ec95a1612c02e09c28e548","datavalue":{"value":{"entity-type":"item","numeric-id":456741,"id":"Q456741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44588357f47107494d051ae173521a161e6dcb3","datavalue":{"value":{"amount":"+0.8594891","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":"Q1273563$671EE703-01CB-423A-A2BC-0DFF27549F56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Pr\u00e8montr\u00e8s at Pont-\u00e1-Mousson, France, September 1998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/IThe_2nd_international_workshop_on_rewriting_logic_and_its_applications,_RWLW.._Abbaye_des_Pr%C3%A8montr%C3%A8s_at_Pont-%C3%A1-Mousson,_France,_September_1998"}}}}}