{"entities":{"Q2866804":{"pageid":2877524,"ns":120,"title":"Item:Q2866804","lastrevid":51886448,"modified":"2026-01-20T11:42:31Z","type":"item","id":"Q2866804","labels":{"en":{"language":"en","value":"Using Maude and its strategies for defining a framework for analyzing Eden semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236530"}},"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":"Q2866804$0DB6D8A0-8C33-4C1A-B831-48252AF112C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08480d30ee10ae44e2840e3251b6b88a0d62b603","datavalue":{"value":"1277.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$2DAA6DF6-53B8-4C1D-9F3A-9605A0D56A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2032103717cbf2021d3708fe44e074f8682155a1","datavalue":{"value":{"entity-type":"item","numeric-id":2850666,"id":"Q2850666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$690A40F3-01EA-49AA-B0B9-D5F4F15FB250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d22396de3566f8539794488d7dec5aa12d5cd7","datavalue":{"value":{"entity-type":"item","numeric-id":816214,"id":"Q816214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$A6296762-1FE3-4621-B22E-7CCDAE2A6D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2d297affa64fbc90a1b9457e40afa82a74d61c3","datavalue":{"value":{"entity-type":"item","numeric-id":2736354,"id":"Q2736354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$CC90C9BC-F9F5-457E-84AB-EC3F5FC25453","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":"Q2866804$234FCDAD-D737-4044-BCC9-EB081A94C08C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866804$A5780FF0-6B4A-487F-B5CF-6EC698CB97A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$C2F2FDF2-32E8-4EDA-A7EC-44C1839190A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$3A0B8533-0C72-4F9F-9712-02DB2C307743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$E8032AF0-17E0-42DA-8F44-0978EB12B591","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5879b48ab6dcc04ecd88dc0f0013ec0afc502a7","datavalue":{"value":"6236530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$E4DAE4DC-B3B6-4DE5-ABEE-799D2C7EE6E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866804$312BDDF1-6B98-4D6C-8A6F-A4A8D462D2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfe2edfca0a93092fc19459b0a870a9b6c0daf8","datavalue":{"value":"parallel functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866804$06B5F81B-CB5E-40E0-A884-832738FDBC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42564df4d1af10154cbe2aa08c08221e488a8cf8","datavalue":{"value":"Eden","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866804$82317B0F-A460-496C-9A8B-F73808835FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866804$7C91D240-BA7A-44E0-AA51-729F9064D23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866804$95492855-3B96-412D-A157-434ACF59DA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da28e175365cef49a62aa4ef9ac7508725a18b7","datavalue":{"value":"rewrite strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866804$F931E7C0-AF00-4DD0-BEEA-615033E9A270","rank":"normal"}],"P1463":[{"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":"Q2866804$F6B943C9-5199-4005-993E-D9AF5ACFF20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$538B152E-E83D-4698-AE47-7FCA010D0A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$A6D6D78C-47EF-41A0-BC93-674E48FD93C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3893e0ce793c9528ea5b2aaf59f97586c50e6414","datavalue":{"value":{"entity-type":"item","numeric-id":33981,"id":"Q33981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$F69AD95F-A6BF-4B3E-99D0-7131821E9289","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":"Q2866804$0151CD7A-5047-4F26-9574-5D74DCA7AADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc87963f874fb1b8c7e9fd7e3ebfa45e48545c7b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.051","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866804$E0F65378-8A09-488C-A331-24BAC4E19571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff1fac8957dc76e7b1f875cb10de6f8f3b737755","datavalue":{"value":"W2130086153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$915F4B25-5C6C-424C-9D59-F3195035575E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ccc72b985f5b63d7bda2fc930c55fc8251f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":2943366,"id":"Q2943366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$582F8015-181F-4285-A5F0-A9A5D38EA3B1","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":"Q2866804$F4F20C88-B408-41FB-9664-EEFF55199A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ee5cb80a765312522522c59f4c0f9417fcecf3","datavalue":{"value":{"entity-type":"item","numeric-id":3149007,"id":"Q3149007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$B47B3C2D-7D06-4620-B903-654D6E986E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03a63073ad44e20e7020f9cef8a1b72893d1f65","datavalue":{"value":{"entity-type":"item","numeric-id":4936328,"id":"Q4936328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$FFAD7372-78C2-402D-9C8B-8AC51265CF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6aadb5eb31f3508560e7dbcb9dbf1cd6a14982","datavalue":{"value":{"entity-type":"item","numeric-id":5706726,"id":"Q5706726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$77C94256-2A5B-4D9D-BAFF-3E4FF15E11CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5dcdc7d400199d9211a9d57cf38dac80d205ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1887352,"id":"Q1887352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$0990FA7E-C94B-4FA5-8274-67D2F3459548","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":"Q2866804$186DD177-F6C8-4E1B-9BF8-0C836491CAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$697D7C5F-5599-4F88-A6DA-150DD8492AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4446c1984946834f0f409db34ae5e3406f01a37","datavalue":{"value":{"entity-type":"item","numeric-id":2863877,"id":"Q2863877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866804$0BD16CCB-68C8-4706-8311-A683BD55719D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdf885b62e596358c722c7c14b73f3266f8a25af","datavalue":{"value":"10.1016/J.ENTCS.2007.02.051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866804$5D59BA88-C771-4D9E-BB86-5698FDF380A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bc83190253f2e0e0f916442d82bf35ca99a1205","datavalue":{"value":{"text":"Using Maude and its strategies for defining a framework for analyzing Eden semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866804$F722E4D8-55E7-4DD9-AD7F-CCC04077DB0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce5c5882b6ee8d8146a1dd768cf1f6640e9b263","datavalue":{"value":{"entity-type":"item","numeric-id":5706726,"id":"Q5706726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f44b00f2b596e78d722b9a4e2736832dfe2de5b","datavalue":{"value":{"amount":"+0.7571176290512085","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":"Q2866804$A5D76396-5959-4D57-9F82-AB53F11418FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fc17adbd43b0e8eb3e7efdf6e88c43eb83f7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5429558,"id":"Q5429558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769b083c6e6276b47547b4aa420a9281dabb2bb6","datavalue":{"value":{"amount":"+0.7466070652008057","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":"Q2866804$772726C0-0387-4D75-8F55-C7540CA1432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7acd815f648189c2e0e881e551e56ed9067da1e1","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c880ce480525094e97eb9d3a1380dd3ce05f719","datavalue":{"value":{"amount":"+0.7015596032142639","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":"Q2866804$CD618115-EBE5-4872-80ED-21AD098B227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfc610824d725f5afb6fe3bf0e76142cdb4a6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4460216,"id":"Q4460216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e50469dc2ebd9af4c6dd16331d22bd4e06079f4","datavalue":{"value":{"amount":"+0.7003491520881653","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":"Q2866804$4387C26D-98CE-4D12-BE38-93F11407491E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f1d19eeaba7690e11aa21cdbf8c6d39f05e4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4664063,"id":"Q4664063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7c433dfbafcee2fda2df7ef7afea25723fc0f4","datavalue":{"value":{"amount":"+0.6973433494567871","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":"Q2866804$0BC21FC8-15AE-4D5F-BFE1-522F7BA6327F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866804"}}}}}