{"entities":{"Q2369036":{"pageid":2379779,"ns":120,"title":"Item:Q2369036","lastrevid":72620817,"modified":"2026-04-14T06:07:52Z","type":"item","id":"Q2369036","labels":{"en":{"language":"en","value":"Executable structural operational semantics in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020445"}},"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":"Q2369036$5EBFDA63-30BF-4BBE-AB54-9583FA2AAF95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"699b0339e56a2ffe2d4cb67e4ace4f0eb66e7731","datavalue":{"value":{"text":"Executable structural operational semantics in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369036$CB522D1E-9B3D-4B59-90A4-C91088100242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9244e247ee73beac76374a4c07eabfbbfa93eeed","datavalue":{"value":"1088.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$A884D21F-558F-4E1B-BC3F-2D7FDEB773AB","rank":"normal"}],"P16":[{"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":"Q2369036$EECCBA45-7886-4AA4-ABD7-BB9266401131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$2F760D38-90BF-49D4-9D6B-9C6E4C1805CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$595C0EA5-F709-42AE-9533-C2254C211030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369036$965FAE28-3169-476A-A8BD-BD2C665D8953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3df48d55ba1b4b739b1a75e24876ea624f6a24f","datavalue":{"value":"http://eprints.ucm.es/4888/1/08-TR-134-03-esim.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369036$DA0E7CA4-5332-46E6-A402-F244E6D70938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$FCAA4834-6A3E-44BA-9C6A-36DE50E2D6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$E4F9229E-F703-4B93-B6DB-E3891E2E0E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$C4AF81E9-3DA9-4D5B-8B65-15AAA248CF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$5C0DEDC2-81FE-4E92-9DDF-82A555642171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$D37CBA67-7A3D-441C-B114-0FFA9B6307AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a33af01cc332c950873c09366db5c572962e17f","datavalue":{"value":"5020445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$226900F7-AA36-4AE6-B9F1-42D162C017BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15bda0610ba1a460baddf4003de12ce3845ee80","datavalue":{"value":"Rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$40D77118-6D27-43BC-9CF5-2DD226D0CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b375d1e6f98c781e8d8f3864538e2bae5f6f3eb8","datavalue":{"value":"Maude 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$1DC77DFF-5C70-441A-B198-D93EB44448C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4a4dc3c696c8008ab4d97d72b0ad0a805b6a3a","datavalue":{"value":"Executability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$91E900D6-3E93-451B-9475-08FA84A92DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd1d7c27caebd626f4b5f7a94e339fb08919aa8","datavalue":{"value":"Structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$FF01677C-660D-4CE8-8A3A-8254B6E50EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dde41f4d669c848e6df71833386f87d68d535dd","datavalue":{"value":"Metalanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$213A1F8F-2745-4760-84D7-5F9DDA90B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$3D0E2DE4-EB56-4641-A557-9E96CB991219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34acac5e43166785d6ab1b2c0843eca0935956f","datavalue":{"value":"LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$30052AFC-EC96-4D75-9928-6C83A6F5CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e0e99785c094ca64b990dd971b0b480aad4010","datavalue":{"value":"ACT ONE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369036$08D47DFD-B453-4D58-BEDD-EC723CE74A79","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":"Q2369036$378C5C0E-7FE7-4721-A8A4-F3D37F9C406A","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":"Q2369036$3EC21C2C-F7B0-4668-B297-876283B39085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$44F64F0C-4912-4E44-8C95-E420F6EF7984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$091F244E-99B8-4366-BA1E-452E96B863BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$9A65D662-7CEB-405B-B30D-E35167FC0974","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":"Q2369036$7920D6DE-699F-4830-8007-4F916BE4E23C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc88bc698aa474656739d7a072afcf16f21b7955","datavalue":{"value":"W1981466053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$774CBA11-F276-49C5-942D-260430DDC885","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"457a0518125db07887ea3bff69cbc96a0023fd38","datavalue":{"value":"Q123905888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$A519E972-9FA5-46FE-A39F-0C281E36F55A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"998f905fe33a3a6def4e4e03b2af66662d095983","datavalue":{"value":{"entity-type":"item","numeric-id":4536762,"id":"Q4536762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$B43060CE-0D9E-4E35-BF1C-3ACBDB485A91","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":"Q2369036$40CF0177-A7BA-4003-994A-88D438EA9258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ea7a0ae92cf2dd34bc2e47acea6a8076d2c33d","datavalue":{"value":{"entity-type":"item","numeric-id":2767190,"id":"Q2767190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$0A3D9623-2165-4275-9887-422BF8D1C105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab0340c0005c68f498e3451d1ec6cf3d32bacd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312993,"id":"Q5312993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$7932F4D3-C59E-41D3-ADDC-3A35C2404F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c9b211e75ff587c0578ca54c4b6922fa8629f","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$C4774598-32BF-4996-8E4B-434B23F206D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b719f6e7af3195d0264fc4daa35d3715250c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4328968,"id":"Q4328968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$D7A87CC4-8808-4837-8B79-11BAAFAC48CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb15b34fad4df617452e7eb5dbe6cf4cfb132c1","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$0A4D6EB5-A21E-4DE5-9292-40DADE1C48CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e72e86189ac2504861784ad173ee9db28a12b4","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$EE5DCD63-9E43-49B1-9F27-7D3FABDC7F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7299fb12554856240cfe1bf7024c433584ec98","datavalue":{"value":{"entity-type":"item","numeric-id":4222994,"id":"Q4222994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$8B912F82-AD96-4494-A132-D4CA75A02C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$D8385488-EAEF-451D-9959-8093C278D3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$31636D11-9F3F-4980-9D19-6D2A84F110A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1590c0930490a914e0b806363eb77ccecf1ec775","datavalue":{"value":{"entity-type":"item","numeric-id":2851051,"id":"Q2851051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$202B7659-9E90-47C8-9599-3FB9AEE190E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5567522ec2d7bbb27b473ae4e0d72f1a0348dc03","datavalue":{"value":{"entity-type":"item","numeric-id":5957895,"id":"Q5957895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$12CB349B-AC47-4AB7-9B0E-018BBD297053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f6ee3da3e507fb9bdaaa4cafb7c185486fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1606128,"id":"Q1606128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$BBAB2811-A8EF-4937-809F-53EADC40067A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0c438cecba5a43c492d1dc531aae4b714389ab","datavalue":{"value":{"entity-type":"item","numeric-id":3327701,"id":"Q3327701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$D9B5486A-5E8F-4A0D-BED8-EC29AD5D4A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58140cb8afbfd1e28d381fbe9968bc9f5b2e9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4222853,"id":"Q4222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$8BC596E9-8EE0-425E-9B54-5D442BC8CB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$021EB438-1C91-4D81-A1E9-26D657E8F92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2150eff80790dd98aa701bb52dc508ac164c92b","datavalue":{"value":{"entity-type":"item","numeric-id":1608920,"id":"Q1608920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$F412C8F3-5E0D-40D5-9F12-4204FCD40DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7de490c13baa0ad29f9045e13aa38355315091","datavalue":{"value":{"entity-type":"item","numeric-id":4275377,"id":"Q4275377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$7913EB62-D0E7-4428-96A7-B8E0F2E5D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cbcfa06e6d1ec9c617eca8a78724a5d0815557","datavalue":{"value":{"entity-type":"item","numeric-id":3998266,"id":"Q3998266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$820CA878-39AF-4A7B-A857-27E66459E626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$A67B22E6-EF80-4C0F-96A2-3289836767D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$701AE7FD-44F7-4ABC-A5AD-60BB8A1C3040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db8f7fa996304ee694716b3fc5e63d2e83c95b","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$5B34DDFE-DF86-43A1-9610-5B9580CC0597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$430D612A-EE4E-41DA-8A69-6A979AC7C2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$FDF276F8-3129-406C-B1C8-03B8EF3C5603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbc8a5de17ed4e6924728c6d1a2f620a7587fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805933,"id":"Q3805933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$2AB741BE-A239-43C8-A508-889D274143CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dadb8fe597fe169d0f966baa932899a4a5aa96","datavalue":{"value":{"entity-type":"item","numeric-id":1273563,"id":"Q1273563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$01FB5E8C-F5F0-44D2-BD08-2803580A3BA8","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":"Q2369036$653A1E43-DC4B-43FC-9FD5-B5021C0DF2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$D44F5622-4666-4D10-9BBA-0CD52AFCE6BA","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":"Q2369036$1FA0DF6A-FD51-4B36-9083-B586B749C126","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":"Q2369036$D73DD8D3-E07D-428A-8A9B-936A113F87AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$A4FCAAAC-6E03-44AC-B6B9-955F2BD40741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb899c7586ad0dfc222ed75e74347f254c4ca5c2","datavalue":{"value":{"entity-type":"item","numeric-id":4941890,"id":"Q4941890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$F8D370B9-65A8-4547-ACAB-A6013B61FA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$E651E1F0-DD02-4ED8-A202-91615DE6DF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$26EAA88C-8D75-4046-9339-020590C0560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$A1476B0A-F650-46C2-963A-43F4DBB7F260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047bfcae18125ec23901e327e73ddc0f4c79cfad","datavalue":{"value":{"entity-type":"item","numeric-id":2703692,"id":"Q2703692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$75092B7C-B30D-401F-81AF-E7EE2D9F9734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d4f1c5b719e73ed3058b8bbc5d147cd8e03642","datavalue":{"value":{"entity-type":"item","numeric-id":2851057,"id":"Q2851057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$494B8FF5-9183-46B7-BD7F-F52FEDE4E918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d885f8b3d0c9361da474ad2f6b228df9237b0834","datavalue":{"value":{"entity-type":"item","numeric-id":5096388,"id":"Q5096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$27165336-B825-4213-9E64-83D97B705D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19307847c671bf0eb46af90cd7d06b14a1f3c93e","datavalue":{"value":{"entity-type":"item","numeric-id":4762654,"id":"Q4762654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$E39EEF89-8D94-4389-AA2F-93248842B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c84808edd9fc5d9b359f66ecdcb70b652a621f7","datavalue":{"value":{"entity-type":"item","numeric-id":4422086,"id":"Q4422086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$D9BC0E79-23DE-49FA-9C52-84A52FCDF468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631bb13614952efbc47f111110f79b9ffcecdcbd","datavalue":{"value":{"entity-type":"item","numeric-id":4222852,"id":"Q4222852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369036$37F5B817-84BA-4A96-A321-D52666392EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb5da6742ef1505f478f682f8866c205a236c788","datavalue":{"value":"10.1016/J.JLAP.2005.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369036$67FA65EB-E560-4E57-8B32-541B23FFAD80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22723d46da1e8b524eebd7838c8e51dbc9b9732a","datavalue":{"value":{"entity-type":"item","numeric-id":816216,"id":"Q816216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee76fc273e123468bf8ec536ebdacd362ddb635c","datavalue":{"value":{"amount":"+0.8859146237373352","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":"Q2369036$40669BC5-806D-4576-9C54-E014C2EFB059","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":"845b85742a7f9fc5bb27e23bdb726d6044dfd654","datavalue":{"value":{"amount":"+0.8031508326530457","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":"Q2369036$5900D13B-391D-4789-B37C-F99CC6E70659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfb2b6705bab247a0287b4060ffc89b5b8c4773","datavalue":{"value":{"entity-type":"item","numeric-id":4422086,"id":"Q4422086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cb92206e7dcebd81e1e87fd0de2be521b09573","datavalue":{"value":{"amount":"+0.797796368598938","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":"Q2369036$45B50474-D032-4832-A22D-E18F7869531C","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":"4e24a0de15754d8dc7c0d93dcc7ae5a3362d26dd","datavalue":{"value":{"amount":"+0.7856845855712891","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":"Q2369036$898A4B04-B12E-4366-A1D3-33B0E5EEF80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1ebd9b34a630884d2e80dfd938f84e69060b90","datavalue":{"value":{"entity-type":"item","numeric-id":2723887,"id":"Q2723887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f8f671dd19d3bfb27ce1a0aeed3a64e9c18a3f","datavalue":{"value":{"amount":"+0.7647141814231873","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":"Q2369036$7ED65086-9471-4B45-96AF-DC049FF64547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executable structural operational semantics in Maude","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Executable_structural_operational_semantics_in_Maude"}}}}}