{"entities":{"Q4933279":{"pageid":6962861,"ns":120,"title":"Item:Q4933279","lastrevid":51101702,"modified":"2026-01-16T16:30:47Z","type":"item","id":"Q4933279","labels":{"en":{"language":"en","value":"A Church-Rosser checker tool for conditional order-sorted equational Maude specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798872"}},"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":"Q4933279$993CFEA2-7DE8-48EA-923D-19C0AADE931C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f0f0da07112f5d626700b9691819a5fe4971d0b","datavalue":{"value":{"text":"A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933279$120F3684-1186-4C41-8AE8-AE995AB6B9DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cda7f28a349f6a1f25a84981bf2951d797076348","datavalue":{"value":"1306.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933279$F9F23CA7-F30F-44B0-B46D-3A234280951F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f6279862f47f8a7d0d058ef0aaaecde77ab1eac","datavalue":{"value":"10.1007/978-3-642-16310-4_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933279$2CD45A58-D6B6-4C10-82E2-A336308B3A68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$45E7181D-8774-447A-B159-AD0A56CD60FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$A5F731A2-DF0C-42CF-9645-37F13ED01BEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$35C986C2-B771-47CE-937B-61ACC6523F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933279$2CE541F7-275A-47FF-A4FB-39C95BC88B0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933279$B9C0D4BF-0A9A-43A6-9D50-1EDADFB87C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933279$81566209-D6D4-4589-A188-3739AFD2DBE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a742d8b2de076c648d070e0a6c05e690bcaf7b02","datavalue":{"value":"5798872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933279$5B1E0807-0447-4556-A465-42181B38393B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a28d96c60ccb1156ef0d94d14c5814678632b54","datavalue":{"value":{"entity-type":"item","numeric-id":21761,"id":"Q21761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$FAF7848C-D3C7-42FD-A1DE-6ECF50018507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$57000F08-5B2B-496C-BFF4-A10E14AF68A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$4C5E2F90-117D-47B0-8816-1C561F76D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$EEB1B1DF-3F11-41AB-A5CC-CDC2EDD88DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c46d5a399090ba32f5e0f0288380e87e058a780","datavalue":{"value":{"entity-type":"item","numeric-id":21760,"id":"Q21760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933279$4192F5D7-79AD-4999-A24F-F4927357B3A3","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":"Q4933279$1A8C8473-C575-4B81-B60D-2977A1CB95AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ed47382d850e6b4b49c8abd0a7d9c54cb352a79","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16310-4_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933279$4EC44FC6-4885-44E4-8D96-B502193039B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e76591ba6d230cac16a750a028d577ebf4d580","datavalue":{"value":"W193668645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933279$8532462C-A767-4555-B371-EB391F6F5435","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27559d9a2dfe724957077ab9753ebed2bf70cb01","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3468cf420e0a19baee832add4eec32d26bb6da1","datavalue":{"value":{"amount":"+0.870568573474884","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":"Q4933279$9BD3CC03-9911-4F12-BAE1-7BC5ACD0D7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6570793b067c995215e8ef3e36ad7fa21a1f7cf","datavalue":{"value":{"entity-type":"item","numeric-id":4933280,"id":"Q4933280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6026e257a343b35f57739e4708f5cf782e0eae6","datavalue":{"value":{"amount":"+0.7631279826164246","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":"Q4933279$CB9FD467-8831-48E7-8007-1B30C97BA8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee768f64fa9c3ae09f1f99206e7b8e02161aa13c","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b38461c9eb062edbc5d2ee1dde2b6b773a9df0b","datavalue":{"value":{"amount":"+0.7133044004440308","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":"Q4933279$B5B6C8FE-13A5-4AA0-B3E7-BED6BC4F16B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6574306d2419827858f10ebf8d18454bcc32293","datavalue":{"value":{"entity-type":"item","numeric-id":3706484,"id":"Q3706484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f691f890f2520c9efe4c07b87ed9c113ecc4e6d3","datavalue":{"value":{"amount":"+0.7049547433853149","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":"Q4933279$B4711B1E-BF76-449B-BD37-9F6BF2D3DBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993d637a754732a387d0cc84a2ad3fa0628279b6","datavalue":{"value":{"entity-type":"item","numeric-id":3675515,"id":"Q3675515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7d9d37b0fb5178bcb595fcfa450eafd138c711","datavalue":{"value":{"amount":"+0.7034100294113159","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":"Q4933279$3AB704D6-BE71-40BA-8A8D-B161D8D75117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933279"}}}}}