{"entities":{"Q816216":{"pageid":818064,"ns":120,"title":"Item:Q816216","lastrevid":64551576,"modified":"2026-04-11T20:39:34Z","type":"item","id":"Q816216","labels":{"en":{"language":"en","value":"Two case studies of semantics execution in Maude: CCS and LOTOS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007761"}},"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":"Q816216$4284A935-802A-4FA6-BE33-EB6AEEC31451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f8376a8f7fcd8344334e66d33568c1103cf9ef2","datavalue":{"value":{"text":"Two case studies of semantics execution in Maude: CCS and LOTOS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816216$394DE6C1-1A22-41E5-BAE9-FCCEE8818B51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d24c954ceca82cabbf76ea85152da65b5661c125","datavalue":{"value":"1086.68552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$F32270EC-8D4B-47AE-9970-09424EA2DA4A","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":"Q816216$4A281158-4761-4A97-928B-B4034153C6FC","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":"Q816216$D595C61E-76A0-4D9B-9135-30E80A32FFB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$CAB1F842-5F24-40E0-8FF1-13F6D66B5C76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a46ca8715888f9181d63a117c8c9aa412098d3","datavalue":{"value":{"time":"+2006-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816216$7AE7AB0E-57CB-4316-8128-4A83EF828971","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$588751CA-6051-40E2-B95D-C394446F3062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$3B7828AF-7EDD-4C4F-A5F7-D5530083C488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$D7022B0B-2FBD-4848-A8D8-5BC8A6536C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$8E0D2EE9-212B-494E-BFCD-03559324579A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$3D3724AC-7C42-4829-8C92-18903DC8F411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddfe0449d004012776c97d6d0118d4e80a29b884","datavalue":{"value":"5007761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$F8653E15-223B-4072-8928-BA65C260BEB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$A1023C71-F9E8-4FBF-B551-1202C9314DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$C772EC24-AA97-430C-8F33-9116E2107316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d012de99ba1e5ceb9c1fc40b78869cff5840d92","datavalue":{"value":"executable semantic framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$C51163B9-527F-49C8-AE98-7134DD200FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52c4f335ca48ffe69c13ca5dd08735686b198d8","datavalue":{"value":"internal strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$CAD0A4AA-FF9B-4BBE-BBB6-6C6AD7A47962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$59D9A855-45AF-473B-A692-7C081D6505A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a4e08952aa8be4e55e637ff3c1af72b122820","datavalue":{"value":"Hennessy-Milner modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$79297A09-273A-47CB-8F4F-EDBDC0BE8581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721263cce1e990cec2f52a8d7a2c76cd947d34a3","datavalue":{"value":"symbolic semantics for LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$983DCF82-E250-4606-91C5-4FEC445B12F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e0e99785c094ca64b990dd971b0b480aad4010","datavalue":{"value":"ACT ONE","type":"string"},"datatype":"string"},"type":"statement","id":"Q816216$63437642-133B-4318-8489-75E74D74F87C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"683f65ee4c3d1881c027d70ee36c76b304089fda","datavalue":{"value":"Q123905900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$CC452383-196E-4A97-8EC4-38CFA6717B65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$2C9812DB-A96A-4FB7-A497-7DDBA28BC225","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":"Q816216$8D6B24AA-8B58-4C25-9DFA-42897D91A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$54DF6006-9837-4420-B282-55CB5DB84943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$16E71D41-361E-44DB-A5E8-3F2F40B5E879","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":"Q816216$2B728D63-20F3-4BE3-89FC-9B9FA8ADB607","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":"Q816216$D492B185-24F2-4A80-A832-D060C21C6F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$C7F70F1E-2E11-4A8D-8948-156C24547C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$E4415990-A229-4395-AB86-83C7A1019945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$3C52E7B8-9532-4F42-A6DD-C17E38CC6AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$AB8F1C4A-C44D-49FB-9EB0-90E3144CE340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"068d358c8c45ddbd1e6f2737b0e3540faf7fe83e","datavalue":{"value":{"entity-type":"item","numeric-id":26645,"id":"Q26645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$BBF17449-359C-45A7-B3BA-691D286441ED","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":"Q816216$41A47D22-95BE-4E90-8C51-D3A2FD4BA584","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e5c6446107eafdb82243d535b5a1b5352ff63e","datavalue":{"value":"https://doi.org/10.1007/s10703-005-2254-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q816216$FC563A9F-1BE9-40BC-A53B-BCBBC1FDF82A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09adc04da428d5dc4530d2070488b64546521a36","datavalue":{"value":"W2053342841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$BCC7B834-9F27-4FB3-9E57-AD3CA7CE33AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b3cd59cb558f44d816b8e669a26d4f97ad2145","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$E06BDA7A-65B3-4370-95A9-16E652E4591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$F80E1A08-57DE-4D64-9FD5-DFED3C3B8CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1385fd1c650c82fe873a362d13d98d66bade753","datavalue":{"value":{"entity-type":"item","numeric-id":4223001,"id":"Q4223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$7C0E7A38-1291-4309-80F0-CF5AD8021B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d652a339b0c2588734285ddb387db1e6fff3ea07","datavalue":{"value":{"entity-type":"item","numeric-id":4222985,"id":"Q4222985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$3E5B0D4E-6FAF-42FB-A1CD-5BBA7222E231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$EFDC1C7D-7E54-46B4-BFCD-43DC58F3CB6F","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":"Q816216$7282A168-9825-4507-AA2A-09E14CA45A86","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":"Q816216$67FC6BA9-2915-4890-A403-72CFF2247B3D","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":"Q816216$ABBE83B8-6B14-4022-8432-54394DF3AB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e822d043799913887da6671dea8480b2fda6e","datavalue":{"value":{"entity-type":"item","numeric-id":4222979,"id":"Q4222979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$9628B269-4A17-4AB1-9CA1-AF683CBB3B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a63be2c40434c2537dfdafff346ed2717f4dcb","datavalue":{"value":{"entity-type":"item","numeric-id":1608918,"id":"Q1608918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$6BFA8457-3B24-4036-842B-3CFCBD7C481A","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":"Q816216$327A8CD8-90D4-48B1-A82C-D1AC99F8C1A8","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":"Q816216$FFB35F97-AE7A-44F9-8A67-7232520ACB92","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":"Q816216$FD89B64B-7A13-41D5-82D8-2FE7F128C273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$7E5A09B3-C254-4838-B91C-D3BCC102796B","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":"Q816216$7CAB0B13-4C85-4F2C-8EAF-473C0EE3D0C5","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":"Q816216$71ED372E-AC97-41E0-8B79-9597245B1E8E","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":"Q816216$8BF3A52D-5316-475F-9FEF-1868D587FE2D","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":"Q816216$1402D832-4043-49DE-A232-485D9A103F3D","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":"Q816216$481055BA-A01F-4569-BB07-B927432F424A","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":"Q816216$8D89793E-568F-4A31-A747-EBAEF0621786","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":"Q816216$60BA2223-CC57-4EA9-855F-740432568BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75a0cae071a0c72f5d7010c0fdf5e6401d56907","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$9F21B65F-8124-4140-8FA3-93BF59C733ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6fe43e1beba51caaa2714f0f135c7bef8ca6ce","datavalue":{"value":{"entity-type":"item","numeric-id":4222877,"id":"Q4222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$5C610644-70C1-45D4-945E-427062ED1CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572e88e2ea331fff575a9906c967d89b834ccbef","datavalue":{"value":{"entity-type":"item","numeric-id":1965247,"id":"Q1965247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$82923B22-542E-4C9F-B707-3786DF80C88C","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":"Q816216$1132CD5F-8949-4822-A37A-F96BD2156383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7af661b882a6e6a9eb58cffe53583f5cb919fe","datavalue":{"value":{"entity-type":"item","numeric-id":2841231,"id":"Q2841231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$CC7D976B-46DB-4EE6-BA03-58ED10D5E3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02225b9bf52ec561b65599c55548fe72422e1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$431ED219-6B1B-4E3D-87DD-1D794B8266A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec042254cd964ad4dd9d9c4795be9dd93123eb","datavalue":{"value":{"entity-type":"item","numeric-id":816216,"id":"Q816216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816216$C0A499A5-C5CF-4BEC-8C25-A379126C9A67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7cfa1f01d13301c85c644ed66bea89132807c3a","datavalue":{"value":"10.1007/S10703-005-2254-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816216$3646868F-D003-41E5-AE2E-8730854D446C","rank":"normal"}],"P1643":[{"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":"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":"Q816216$97C2537C-62D3-4308-8645-6CC6EF06E584","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":"b80c72e3fe2051d2a851603e594697a2152a9a21","datavalue":{"value":{"amount":"+0.8490853309631348","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":"Q816216$A29ED083-9462-4028-AF1E-C25226B8BC16","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":"e18fb74067bac7dfab5b4f3f0d343627d4cab34f","datavalue":{"value":{"amount":"+0.8307836651802063","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":"Q816216$026425BD-760B-4627-96F1-585FFEA9CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a64265cb6ec5314a2f664b5ed21fa8fd8262c7","datavalue":{"value":{"entity-type":"item","numeric-id":4508933,"id":"Q4508933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474ecab3aff4298b18bf4702ded10de728995e43","datavalue":{"value":{"amount":"+0.8239171504974365","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":"Q816216$67BB2F93-CAFA-4344-A42C-510D52B68680","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":"0fc434852128cc9cfd943fad5787f116c6238132","datavalue":{"value":{"amount":"+0.8175185322761536","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":"Q816216$CDB19D12-1DB0-4053-90AF-F9AD4DE40CD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two case studies of semantics execution in Maude: CCS and LOTOS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_case_studies_of_semantics_execution_in_Maude:_CCS_and_LOTOS"}}}}}