{"entities":{"Q1189444":{"pageid":1200193,"ns":120,"title":"Item:Q1189444","lastrevid":67068480,"modified":"2026-04-12T14:48:23Z","type":"item","id":"Q1189444","labels":{"en":{"language":"en","value":"Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 52437"}},"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":"Q1189444$0F2F81DB-A8DB-4D2F-9F5F-AF5EB9F2D479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18bcfdad82c84f79d85687d59f9cac3ccfe908d1","datavalue":{"value":{"text":"Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189444$69C96CEA-F500-43EC-8B19-2041A6910A5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4253b3519ba219a2a2b6d6d6e2f94d15609b8249","datavalue":{"value":"0756.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$5F76AC9C-4DAD-4BEA-B89A-69534F198F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51bfdf4fbd51359e2f4b085de54dc5a6990e2fa7","datavalue":{"value":"10.1007/3-540-54317-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$CDA28242-C163-45C1-A0D1-557B6E8A14E0","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":"Q1189444$09120D03-91DF-4380-B357-D5965177C753","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189444$9AEACA13-8755-4029-A6C0-F5526090D69A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$53A110D6-53DD-4445-ADCB-0AE41ADD5CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$854258FE-75C9-449B-9E29-5BF892DFA835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$6E8ED042-1C97-4547-B385-D13DAD983C63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60ed426e415962a4482edada2b6d5dc05a427ab8","datavalue":{"value":"52437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$95F73807-A7D9-4D39-B9CE-4202F5CDD05D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad04f73ff0bb1043a0377c8934eb6b798ec14705","datavalue":{"value":"Montreal (Canada)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$36BF3117-9AF5-470C-A299-95400A21E09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$F7B626AC-B875-44E9-9072-32A3DAA557C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$4159F9D4-C88C-42ED-8323-D3C5B603B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50a359b352781965bb6ccb5b0eca18f8001f8d9","datavalue":{"value":"CTRS Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$AA6EDCDD-29FA-4BB8-B825-CDB1DCF7500F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1310ed209daed4d9d04f80c2037c77754b69e70","datavalue":{"value":"Rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$6B9B9635-22E6-494C-9415-9BF1B5127088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$2BA05A1E-6527-4CA4-B672-23F15F809370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$584B5FFF-CF47-4721-BCD3-A9A0F30EC816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$83B29806-E111-4EF8-8CF0-F91DCBB5D8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c32420b55550422a342b5bcbce3f4569e98de5","datavalue":{"value":"parallel computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$EF420C51-5B7B-4C1C-9B38-2CD67CEF564A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$DA0E31EB-AA9A-406B-97EB-3BE5A89919A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$6DD3ABA2-3EED-4963-B699-ED210D3B7514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10aada1bcebcea30af443e4c20bac92e26c0b2a7","datavalue":{"value":"graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$99318020-7606-4239-BF28-ACCCD5DC892F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5f2983d8d42e610cab2d2933496d54126225a0","datavalue":{"value":"Horn clause systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$60C40B1A-B98E-4A8F-90C4-2799066DE750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$99792D79-E60B-4C58-81BD-3059F1027F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$841E2C31-9D31-4EFA-9965-935D35F5D47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189444$654BC288-2D6B-4ACE-8D0D-EA3F79E6F788","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"881d9c3efde9f07a84f335726144b96183f719c7","datavalue":{"value":{"entity-type":"item","numeric-id":13472,"id":"Q13472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189444$6C3846BA-96A7-4393-A3DA-920D64F14E4A","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":"Q1189444$820C3148-7E3A-4A07-8CA4-FB3566BC865A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88c6281c24593230413fbc09626b4355ad86d133","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1189444$FAC6160D-78EE-4341-BAA7-8651BB1D74F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5802819fc70eddf449e4001dbd828ae933d6eaa5","datavalue":{"value":"W2478297683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189444$20817FB4-303F-4B4C-9FD8-D1876E7EC033","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e109b9f11344699638ca9094255f165a26ccefe1","datavalue":{"value":{"entity-type":"item","numeric-id":1187660,"id":"Q1187660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb093177960e89a31dddcbac9ee9429638d315a0","datavalue":{"value":{"amount":"+0.8636552691459656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189444$E2E608F9-02BA-43BE-8B04-AC2CF9FB53BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd7de7cb0c5deffe8e0980fa46fbc8a99e0162d","datavalue":{"value":{"entity-type":"item","numeric-id":4702971,"id":"Q4702971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cc4057073ae4ba5fe5a9602fc3e867cf13e078","datavalue":{"value":{"amount":"+0.8487754464149475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189444$913B8CBF-6BBE-43C2-8B00-A00672AB4841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a13f71fe71fba92be42f2c6230aa618eec2301","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63f4d399525d8ca0a30fbbc3792bce64d5a8368","datavalue":{"value":{"amount":"+0.8469631671905518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189444$38198819-8F3E-4F69-B123-EB0C7B6C5B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed3d929932d4cb3f6f8dd6634f49575d73da94e","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a223a964e199a228117a90ca9c28935e5dfc4c","datavalue":{"value":{"amount":"+0.8419446349143982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189444$D5FECE26-313D-42C0-B377-377498277BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66d8d56472749cb9bdd54ea62c7c6f3ad94441","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79af4aa9c3bd3603c3f00d6f1ae888373160eb60","datavalue":{"value":{"amount":"+0.8368629217147827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1189444$1F163235-5994-48BA-B9BA-D3741F438EC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_and_typed_rewriting_systems._2nd_international_CTRS_workshop,_Montreal,_Canada,_June_11--14,_1990._Proceedings"}}}}}