{"entities":{"Q4933281":{"pageid":6962863,"ns":120,"title":"Item:Q4933281","lastrevid":51101708,"modified":"2026-01-16T16:30:48Z","type":"item","id":"Q4933281","labels":{"en":{"language":"en","value":"K-Maude: a rewriting based tool for semantics of programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798874"}},"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":"Q4933281$F39EAE58-727B-49ED-850F-80F1036A1B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90104cfed99ee07844cf21f5bcb901c507a5c0c0","datavalue":{"value":{"text":"K-Maude: A Rewriting Based Tool for Semantics of Programming Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933281$2F8F2534-A39F-4964-959E-C614EEEA04E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5714b773d48ff33cd1407aac21f519aa92c435c4","datavalue":{"value":"1306.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$5CEF1568-EB8A-4ABB-AC71-1BDB3414BAFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c7f31a6b2cccc59d44250c7131ff828b632b1cc","datavalue":{"value":"10.1007/978-3-642-16310-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$A6448021-BADD-427F-8E06-3E4F23664E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89168b02a11c30611a0ae0bcdc8b7918c6099a68","datavalue":{"value":{"entity-type":"item","numeric-id":730474,"id":"Q730474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933281$0CB541FA-A32B-45EA-86CA-68E0F0E89809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933281$E1AA7A82-9BBF-4486-81F9-2EB29F988714","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":"Q4933281$EB3556F2-B7BB-4F5A-974A-86C47D203C0A","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":"Q4933281$A3C059C3-1660-4290-849C-8BC8E2A101B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$0947069A-858A-45FA-815C-0EAC5C39729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$63FA20C2-1E60-48DD-8D3E-5618BCD23106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$70CBE739-25A2-46BA-9D42-3B3277F61C29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2e69faccadf2a480acb2a8ad96f5d75b062cc5b","datavalue":{"value":"5798874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$2F326A30-C721-4AC2-9338-696C21677C90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933281$1D1EE38D-8BFE-45C1-9410-753884FA5874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"211c43a5b835fe620b561d29820fa20ae55def41","datavalue":{"value":{"entity-type":"item","numeric-id":45361,"id":"Q45361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933281$EE1018D8-CC74-4A70-A414-0B0EB2EDDD1B","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":"Q4933281$0D85A1C4-E2EF-4666-9ABF-165C6BE3E938","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":"Q4933281$0E11698C-656B-4A5A-A1D4-75046C6390CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23ad0a6ec09b85c7fe98851490d43b873b78de28","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16310-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933281$BC90760B-C0BB-427D-8529-FF4F02AC99E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fad8c59adefad31a013460ee5b4462ea2a90c05f","datavalue":{"value":"W1606736461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933281$D4F834E2-80A6-4D94-82B6-174B3B491D74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24858133df88a9502fb1cbc488209969083fa073","datavalue":{"value":{"entity-type":"item","numeric-id":2945132,"id":"Q2945132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f61b0878f5d87b548b12685a1eaac2290f50564","datavalue":{"value":{"amount":"+0.8591319918632507","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":"Q4933281$71A46991-4BCC-45DF-B7E0-E4FE2FBAFF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a015096e0f39b676cbd7ffb85502b41262412e76","datavalue":{"value":{"entity-type":"item","numeric-id":730476,"id":"Q730476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14a7e9d94031ea96f7e81a4cb23d7f6919e8d2f","datavalue":{"value":{"amount":"+0.8304859399795532","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":"Q4933281$DE2E2338-1F7B-4A14-91ED-6B09CF576621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e8f71785be68a99e4a5db766e58240334a1a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2873785,"id":"Q2873785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356e87becc506adaed57d25ce8d0c4e45211f810","datavalue":{"value":{"amount":"+0.7850979566574097","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":"Q4933281$9E072A3C-DF48-4280-90A9-65D8F70AA82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74d452fe7c9fd79e43a9eb5a5723eae128b6f6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4222994,"id":"Q4222994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1288041322f03d7c130433ec1b6e90f3053efd98","datavalue":{"value":{"amount":"+0.7695243954658508","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":"Q4933281$836DD1DB-D571-4620-B5AC-CDAC742D1B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4da6bcbfb5a50a2f25462886b9fec720305ec2f","datavalue":{"value":{"entity-type":"item","numeric-id":5191176,"id":"Q5191176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c717a75365694dff2b2eb23aeaa3edc5b8f0c52","datavalue":{"value":{"amount":"+0.7615163326263428","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":"Q4933281$417797AA-5EFA-4CCE-ACC5-C1FD9F7F340A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933281"}}}}}