{"entities":{"Q5179129":{"pageid":7208701,"ns":120,"title":"Item:Q5179129","lastrevid":100409276,"modified":"2026-06-05T22:03:48Z","type":"item","id":"Q5179129","labels":{"en":{"language":"en","value":"Hierarchical design rewriting with Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416974"}},"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":"Q5179129$35B01144-BEF7-46FF-AC55-D39F2876914E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69351fd65444e74a901ff000bcf86d05b3e46f70","datavalue":{"value":{"text":"Hierarchical Design Rewriting with Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179129$EF139571-C8F3-4F40-9896-8C225F72FCA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"646f9379c87f157b9c275b67ebd8b1dd2dc50320","datavalue":{"value":"1347.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$C70B9232-B0F8-47E5-A2C6-71691ED9D948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$8AE39261-18D6-4EB2-92CF-51AB092BC53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$B410FDCB-F7DB-45DA-8817-E6C887BC6CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$3DCF2D27-D39C-4D8F-A1D2-9E3794931A28","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":"Q5179129$7FE2A66E-6701-4AAC-BCA2-7C261BD251FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179129$84A5F77B-BA77-4CCF-9379-6E6F236E7D77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$1200FF3F-27B1-44BA-8416-8FD1787CDF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$45291A3B-B34A-4C4C-BF4A-D001A4C9D0F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3db9c6126c59bec3d6005f801bdb654fbb1e3cc","datavalue":{"value":"6416974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$97C5A3F9-7F6B-4EEF-9304-D059AF9E8287","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179129$A33F201B-26BD-4B2F-8416-16368B250F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179129$7150427F-80BA-442F-8DEB-FFA047E8205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179129$4635221F-09E0-4DCF-99E4-62F8938E8075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179129$0754472B-F593-4A89-8FD5-BE03C4D7FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da23d21baf504a05c3b4734b9f0ebf0568d8fb36","datavalue":{"value":"software architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179129$F4F381A6-AA7D-4498-BFD1-0C7E536721F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f391b61ccb46df41380fffd6521728e5e639223","datavalue":{"value":"Q56501701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$27CE0BFB-9E52-4C73-9A37-979BA5B2BA67","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68f8d3be1d025407f474636af5eab8e94b896d49","datavalue":{"value":{"entity-type":"item","numeric-id":16593,"id":"Q16593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$36CB7F66-B464-4192-8100-CED415E55B29","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":"Q5179129$8A051A13-AF36-43B8-B18F-68B6B6E7D35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$DE7BC774-71C9-4E41-92D1-E4E6A5C1B322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68786a9005bd4d5c5d661614375431e2c4ef34af","datavalue":{"value":{"entity-type":"item","numeric-id":19547,"id":"Q19547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$2B6F947F-59B3-400D-9A45-A95BECC9F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7b978208e1cbd14fc8065ebef8d698f5964cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":22006,"id":"Q22006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$76457708-FFD0-4229-8D63-F968A38B61AE","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":"Q5179129$D4C34B12-58D9-413A-9800-5B0B1FFD1F3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ed159293dd5bca34ef0f39960844b78732be9eb","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179129$664C710D-375D-4E25-AE9C-BD09AEFEFF67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8697d44f5a43b50357e8b5f7fb7417dc2ec9cc23","datavalue":{"value":"W2118878059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$3F73E01B-BF55-4B4F-932F-C35AF9B7AD65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eeaa59c8af22732fae68cd0cd920d85beff0be","datavalue":{"value":{"entity-type":"item","numeric-id":3043791,"id":"Q3043791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$4EE30FF6-F1E5-48CA-9A56-939851280BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848770421424f59b7889fb7b584b539aab93b512","datavalue":{"value":{"entity-type":"item","numeric-id":3396631,"id":"Q3396631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$EB26DEA5-354B-41D2-A98B-F57A48C6978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$3CE46127-2BFB-410D-90C2-012E42ADAEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$392165DE-4F92-4500-82D4-012F54B44CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$865C45B0-3E57-43F4-BB99-26AC269F5C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9438d4814a1e2c0b45a353440aa67e1c89ec2e93","datavalue":{"value":{"entity-type":"item","numeric-id":3591394,"id":"Q3591394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$5A327F46-55EF-4935-A632-EC958A0E1E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a8ab0bcf71eb2d777c01d7b194ee5f97a12222","datavalue":{"value":{"entity-type":"item","numeric-id":4789075,"id":"Q4789075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$5A984FB1-F9E2-4DDD-85EE-736C7001AA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f9918dd24d68d6a8b0715c23196dc11eb6c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":684560,"id":"Q684560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$EF970352-6387-4D07-8125-6F9539960E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec57bf706df9522ae3810334688ebcbc63f6eb","datavalue":{"value":{"entity-type":"item","numeric-id":2847852,"id":"Q2847852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$F52DF764-38AF-4454-AC04-3B5D11E1A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bd840aa47f08fba46c2247463f7f9361081896","datavalue":{"value":{"entity-type":"item","numeric-id":2942911,"id":"Q2942911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$7E46EB06-CF07-488C-8E52-0DB71D968224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51749fe5c36444cc029f961d82ed2a1430f4616","datavalue":{"value":{"entity-type":"item","numeric-id":5900706,"id":"Q5900706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$F4F0C55C-E788-4A49-A210-6864D146059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$D708B191-AB87-419D-885C-72BAD360F9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$C9D0C54D-1FD8-4151-A680-BE7D21FC1191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd0d482aa1f455a414fbf7a19931add09bdd883","datavalue":{"value":{"entity-type":"item","numeric-id":2848459,"id":"Q2848459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$1FE97311-12B1-45F2-9020-29B3BF1A84EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e5a7c348b78c650fc9974609d5be6a4e069ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4331846,"id":"Q4331846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$F841F289-E14C-4273-859F-FAD6754D9ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6162c349ebc1556b23372601241db714d15b970a","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179129$9836CE92-8ABB-4BB0-8DEE-E8C707931841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c47290e6901fe840689d24d8c3b6880502d480d","datavalue":{"value":"10.1016/J.ENTCS.2009.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$743DD863-0B58-462B-814A-778C1BF57E34","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"30c8a0798bc886f5757dc0a4df74430f0597c1ac","datavalue":{"value":"journals/entcs/BruniLM09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179129$73133E61-2760-4A6D-AAEB-0F3E6DCDB316","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360100d992fa22889b7dea313a764a7fb5162c4","datavalue":{"value":{"entity-type":"item","numeric-id":5208776,"id":"Q5208776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c26859f463222eaf949f0a09a2a23d5916d5fb","datavalue":{"value":{"amount":"+0.8120875954627991","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":"Q5179129$B673576E-D4E9-4908-996D-15C5E4341FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a85e7c78e09d542424ccaa26b2b5e0489ae9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3507356,"id":"Q3507356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b1cab96d739d522bf9aac20f9c0f3a8d5fc492","datavalue":{"value":{"amount":"+0.7264805436134338","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":"Q5179129$5B53C2F4-1592-4CC8-B197-895242C97494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5181189ab63ff6c2170335a221bdcb0ec3efeb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4994124,"id":"Q4994124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1769d186a31f16787945d7a2e631f746d6a60eae","datavalue":{"value":{"amount":"+0.715768039226532","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":"Q5179129$F7500766-2D62-47C9-9AE3-9480F50679DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189f2015be10d4584cdcbaf2030e2b670563a893","datavalue":{"value":{"entity-type":"item","numeric-id":2847852,"id":"Q2847852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dab109bebcd56ef74794e68cfaf3e3382bcc34","datavalue":{"value":{"amount":"+0.7055981755256653","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":"Q5179129$385C8900-B51B-4E92-BB00-E0CDC4E26CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a57f2641f35a0a720e7db0b83d73bf291fd31c","datavalue":{"value":{"entity-type":"item","numeric-id":5956850,"id":"Q5956850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207fd0c3526dba8502fe6aac345b5aee94781c8f","datavalue":{"value":{"amount":"+0.705456018447876","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":"Q5179129$0DAF0FCC-EF2E-47FB-B0F1-60567C71E563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchical design rewriting with Maude","badges":[]}}}}}