{"entities":{"Q3067467":{"pageid":3078183,"ns":120,"title":"Item:Q3067467","lastrevid":51169775,"modified":"2026-01-17T01:34:12Z","type":"item","id":"Q3067467","labels":{"en":{"language":"en","value":"Integrating Maude into Hets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839821"}},"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":"Q3067467$09D302D2-C27F-4D21-B96F-274B0609E78A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff9236f9fb1491d0154e7d1ec18609720b887768","datavalue":{"value":{"text":"Integrating Maude into Hets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067467$BD844EA0-513B-428D-8179-D1CAB49EAAAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"581eea1b5b42992607f62752899fa6b5acc280ff","datavalue":{"value":"1308.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$8F1107D3-DEEE-4A30-B49E-574151E3A31E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29079dfd134b563de4248a3baa3a38fd382643dd","datavalue":{"value":"10.1007/978-3-642-17796-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$C9BD2124-3F1B-4C19-BA8D-DBA24915CC59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"615809cfd2759bd3cccdf2e2434073b70fb30a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1001373,"id":"Q1001373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$71D29C5D-F44F-4D55-A887-E47939B3162A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$516EB767-F978-4364-A73F-494316FA181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$C8464B6A-8CB0-4C11-AC4D-857FB900D43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0216d7328b0fb91ef3c5c42a0e67a839da3df7a3","datavalue":{"value":{"entity-type":"item","numeric-id":3067466,"id":"Q3067466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$75F6107B-902A-4B92-9EEA-9FA9B184CA68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$E23B8845-CE34-4AAF-ADA8-316A0D504644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067467$50C217DC-BFB6-4AFB-B54D-F2DC5A0E0685","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$36A467F7-B523-44BE-ADE0-D4E173A737DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$96113587-3A1A-401D-81ED-B598B057FFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$F1958C95-F182-4B52-8153-F5F1084BC2BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b79c91ac284ca3204bd55356b70dc2b460838272","datavalue":{"value":"5839821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$D5240CA8-6A03-4625-8BB6-412185FAAC3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9910113d0cfc133ff21d143ce6cc49bc672d7e","datavalue":{"value":"heterogeneous specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067467$5322D47C-7814-4CE4-BDA6-66B2492EE836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067467$96CA7B26-430D-450F-BF55-874570E9CE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067467$8C6FE866-B570-4449-9B1A-A2D30D18D698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067467$B5BC5AE8-F264-4717-9F95-676D0A402AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa26151fa3ecf38aac5df67c7cebe0e2b3bf032b","datavalue":{"value":"Casl","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067467$16BE33DD-7189-489F-8E3F-A7CD0C8E478C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$AB40D086-CB1D-4959-BE03-4F629D6A5A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$2F9EA28B-746F-4472-9F71-02BF02A0127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$1CCC559B-E8FC-4579-82F6-EECECCDE70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$46C993BF-A48D-42EC-8EC9-C76AA8BD8F10","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":"Q3067467$A02996C7-AF0F-41C8-8BA1-4E195760139E","rank":"normal"},{"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":"Q3067467$22039542-B1CB-4EAA-9497-62ACADEA8AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$3AABD079-7BF6-483B-86BE-CCBB5316F38A","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":"Q3067467$67658B2A-7ECF-4A8B-969B-524BA95A829E","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":"Q3067467$109CEAA4-1D5C-4C2F-90FA-DDA837831E70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9092cc4de219bafb93c19edbd1389c30d169cdf8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17796-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067467$B9E9162B-01E9-441E-936F-FF541F2FC8FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b9a2856b8428a6f43848e3b3cb646cd0a152278","datavalue":{"value":"W1552648346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067467$E6CBF632-AF95-4F9A-8D40-32964C6BA56A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$C69AF6CF-946A-4BBE-8503-020FFDBE7AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$C2D78D6E-CF01-4914-906D-8EA0949F412C","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":"Q3067467$B6FE90B5-415A-441A-AE8F-1FDDF043DC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$99474E7D-EA24-4A4B-A944-D1F08B1331C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$F9FAAA3B-EA3A-4B7D-8376-31B42C32762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c165ac017b0fdebcae7fb80e24faa99c5a2d3","datavalue":{"value":{"entity-type":"item","numeric-id":5464664,"id":"Q5464664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$74441220-EDDA-40C9-A142-9BC94045C6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$131058E1-0DF5-4FCA-9EED-565410DC1992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78051514151aca4804c29b73bf87a3e4855334e9","datavalue":{"value":{"entity-type":"item","numeric-id":4933279,"id":"Q4933279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$40B79B97-F3A5-4D97-93EA-4AD1A8A05EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$5852C9CC-94F9-4679-992C-F77469259F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$7E3D2ADB-181E-4087-A915-82816A72C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$F0C107F8-02FC-4764-9628-46146402CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$A229F766-6CF1-4B2C-852E-41CA2D5640A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$400783CC-3ED7-4FED-A208-D445B3A74B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69480a26ba7a893907d8ac83ed6b8d19b3925f3","datavalue":{"value":{"entity-type":"item","numeric-id":2369033,"id":"Q2369033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$56C43DF8-7118-4827-862D-4EB9C3851DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067467$9E12F76D-A825-4E2B-973B-CD53CAE1571C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1e9b7c7aacaa5cf0edd580a687d0ea3524e99","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71400ddc34a7d317aa3c603b9755b6fabddd4772","datavalue":{"value":{"amount":"+0.7385038137435913","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":"Q3067467$43477438-04F8-49CD-8DBE-E2BFB5FAB605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f37c214d33771b4d13118e37e4fcb354416bc31","datavalue":{"value":{"entity-type":"item","numeric-id":2797864,"id":"Q2797864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db4ed9b71e979ef25487b7711afd02f07893db8","datavalue":{"value":{"amount":"+0.7334950566291809","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":"Q3067467$42E21558-14FD-4A6E-A6EF-40665C2E7212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ac23b50beee944199310bafd054874db9d2091","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c31f95a9facbbe0e1d4ede2cafda1ac18364a5","datavalue":{"value":{"amount":"+0.7210301756858826","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":"Q3067467$14B10ED2-4258-4F54-975D-47E2EA260F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129a43401201cfaf319ef5153f9f5fa883b748a6","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfb6ff1556c87f8cae3b1ece15d8f04ed95e70d","datavalue":{"value":{"amount":"+0.7178150415420532","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":"Q3067467$D510E03C-B321-4724-ACF9-150C09B55BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce798849b319bd842b6aed35c3b4c86af0e5d6f","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bda0630b85f72045e802d25b69944e28b323f54","datavalue":{"value":{"amount":"+0.7139589190483093","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":"Q3067467$C68CDD4F-182D-4F7C-A693-89E1C7960D30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067467"}}}}}