{"entities":{"Q5108529":{"pageid":7138105,"ns":120,"title":"Item:Q5108529","lastrevid":100249949,"modified":"2026-06-05T21:41:58Z","type":"item","id":"Q5108529","labels":{"en":{"language":"en","value":"Compositional specification in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196231"}},"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":"Q5108529$D04B1007-FFCA-47A4-9CB6-BF699CE98D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aebee3db722cbc388f801ae7c4244b2798069b9a","datavalue":{"value":{"text":"Compositional Specification in Rewriting Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108529$BC161F29-A5D1-48DE-BD95-C5B297803E2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84ad16f21e4311465a9b16f20bf481dd7940b2c2","datavalue":{"value":"1434.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$C3370A86-8801-4136-9444-157BB4C8ADB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dea8054a68fe4ba811beefe1cd94f257934f88b","datavalue":{"value":"10.1017/S1471068419000425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$F298E19B-A429-4144-8753-812D537F22F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d50e4ae74c4e03e7085ea8b0f513478341a75b0","datavalue":{"value":{"entity-type":"item","numeric-id":1990505,"id":"Q1990505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$9957C428-5CB4-43E5-9C5D-650DE583740A","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":"Q5108529$9C1D94E5-BA9F-4216-8117-261971089484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edf9c26e8d2bebd39d2cde4a62d464ed4118b7d5","datavalue":{"value":{"entity-type":"item","numeric-id":5108528,"id":"Q5108528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$778A58FB-8A98-4ACE-87CF-CE4B58758A5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$69300D44-5E36-4E42-A051-9E725E7655A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108529$BDA53668-05E9-4DC7-9D0E-F028283C757C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58a34c1575fd550c4c60fd56c87a8ea1e937c3be","datavalue":{"value":"https://arxiv.org/abs/1908.11769","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108529$C3CA9359-5DD0-4D88-91A7-DB4A156F655E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$EE3FED88-2C37-415F-958D-E2B81E004B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$BBA028BB-089D-4B29-9CC1-C399D47DE6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$FA7AE107-0E39-4004-B813-D568CA05C266","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d900b5ad8968ced596aae4b7e6472b0aeccbf350","datavalue":{"value":"7196231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$F3F80E55-5A9C-46B6-BB85-47D4D322E9B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8912b7881a9f927ecfd695036e3c5ae98511c2c6","datavalue":{"value":"compositional specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108529$4583E662-2405-4F0C-A9BA-6CEC16C94CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108529$2AE434D1-AA2E-47D0-88FD-92EB8A1C01CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108529$274968DE-505B-482C-BE05-9F67AF0492F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f874427919faced979f3c075256fd0f6f8fbbde","datavalue":{"value":"synchronous product","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108529$DF42FCCC-B8E0-43A9-A3C1-5CEFD6BB4D93","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef9ed00b87469266f64fb367f064c1a83e4d1f48","datavalue":{"value":"Q123905805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108529$2B6BDC74-2CEA-407F-AA89-62BB608616C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc8f7ddd52eb64e1464bf6923b92d849697aa2a6","datavalue":{"value":{"entity-type":"item","numeric-id":32593,"id":"Q32593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$7318E031-3109-4895-A545-15A198880A81","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":"Q5108529$33346255-2897-4A05-B7BC-2FBE1F8E4217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$BDBDA13F-B19B-4764-A58E-17B587E81888","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":"Q5108529$EDB78F66-8EF6-42CD-8B19-6720C48D6EB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$41C88B0C-A97B-4540-AD21-23D27767BC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$95DB9AE2-D6CA-44F6-9FA6-EC481A1B6A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac1705eaf70f76f225913c7cf0f442d5b7951ae","datavalue":{"value":{"entity-type":"item","numeric-id":4933287,"id":"Q4933287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$20BC97C0-8EB9-4CF3-8582-819E4EC19A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b29867ca33fd9495ec2ddeae47f6f8c992f79cc","datavalue":{"value":{"entity-type":"item","numeric-id":5166636,"id":"Q5166636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$C795ECB5-97BA-4D36-AD8D-ACEFDD2D59BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$53F1F1AD-20A7-41BB-A64D-5AE23CC69017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce229205e212c5d128cd2055587144066e9efbb8","datavalue":{"value":{"entity-type":"item","numeric-id":2848361,"id":"Q2848361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$E5D858AA-58E1-448C-B4EB-4224411BCBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc75823be335b5596ff75dad28345f97f737745","datavalue":{"value":{"entity-type":"item","numeric-id":2851050,"id":"Q2851050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$038141E8-D6C1-4A7F-825C-D18F76266943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$12BC769D-085F-48B2-A182-7FEDF3F5DD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$2C1CADC8-F02D-491B-BA52-853F51193B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b97aca54adf177a5e36876787b326a7b96eca9","datavalue":{"value":{"entity-type":"item","numeric-id":5716878,"id":"Q5716878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$C418CECF-6C2A-45E5-8A55-54D4875F9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$0D80D574-1F78-4F7C-B4B3-EC6A18FB9C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$1280B53E-C4E1-4140-B4C8-C42160CB8317","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":"Q5108529$9F799FEB-32F9-41D5-87B6-F757F985CE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8fff6d2653f5e55d025371ea7a7334e5537a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$D064C1D8-9034-4708-A31F-D9FB31D206A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$0C12FA1A-FE2E-437C-AF62-5E01C025960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87caf20304fad05f7895d4f987be8857e8dcd486","datavalue":{"value":{"entity-type":"item","numeric-id":2864357,"id":"Q2864357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$E7EC2B41-F3C7-45FA-B1B3-3B34F64DB962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$229717C0-F5C2-4BDA-869F-00B107DC0A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e725e644d11a05c3af129a78867c98aa41e697cb","datavalue":{"value":{"entity-type":"item","numeric-id":5047037,"id":"Q5047037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$B1C44732-B258-4EB6-B270-D866561BD7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ba72fddb776d569275d75b9e86426472ccaa4c","datavalue":{"value":{"entity-type":"item","numeric-id":4580196,"id":"Q4580196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$322AF24E-6674-43A8-B9BB-C5E4DD8490FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c48fa1170150148902d96ae3bd1a2c0c4fda354","datavalue":{"value":{"entity-type":"item","numeric-id":5170748,"id":"Q5170748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$DE646333-FA43-41FE-A4E0-7A501D28D4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$BBE3E1E9-31CC-4DE9-8803-FF89571D3115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$9BBCD1FC-7524-45C2-83F8-468335C3BB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$2FBA3ECD-0971-4E1D-B5D7-F9420E8497DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99f310947f3fc6d764435e871fb3790fd14d9d","datavalue":{"value":{"entity-type":"item","numeric-id":3617245,"id":"Q3617245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$29178C4B-7AD1-4FD1-8D72-C1467EC0870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$5999453D-76F3-4AFC-972E-39FDFD65C628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$6B9B8013-76C4-46C3-B959-9C7E438F52FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb55b4add8ba535c55f6db34be3de81e3a24c209","datavalue":{"value":{"entity-type":"item","numeric-id":5179141,"id":"Q5179141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$136DEC10-12D5-487C-8417-F996D6DFDC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae969fc9572a9968a8ba54a53dd11535b601c87","datavalue":{"value":{"entity-type":"item","numeric-id":5403070,"id":"Q5403070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$C1560FF7-2C53-440F-9B43-302AE62E8FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003d38bf2f30285e83ba753afe59e16b33adb864","datavalue":{"value":{"entity-type":"item","numeric-id":2827838,"id":"Q2827838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$E8D34103-AE88-4967-BD77-1A6A063B0A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a178f5a54de1aa942d28eed6204cd0b44a10366","datavalue":{"value":{"entity-type":"item","numeric-id":1990506,"id":"Q1990506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$9BBD167C-0513-4D6C-8A5F-9E67E8A63D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26137e250cd17392ffd7119172f3580130a5f7e0","datavalue":{"value":{"entity-type":"item","numeric-id":6109547,"id":"Q6109547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$63811E8E-5B44-41E5-8276-D80C22881437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e3fd8843dee3d62f12763ffdb192ec31ed4cde","datavalue":{"value":{"entity-type":"item","numeric-id":3832059,"id":"Q3832059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$FF4AE546-064F-4C70-802D-E4BB7D8E188A","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":"Q5108529$83034DBF-A270-41CA-83AE-59691D59F3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab673f4e1c1b60b2fc4458be2cef3d08cfda647","datavalue":{"value":{"entity-type":"item","numeric-id":3507374,"id":"Q3507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$A040ABA1-4DB6-46A5-A36D-D0286E453DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0b1fd73d98d1a4f659b07c8dcccafc3dde8156","datavalue":{"value":{"entity-type":"item","numeric-id":3839052,"id":"Q3839052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$C6B486B3-C6BB-4915-8F64-D74C2ECAEEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$6C5D6729-2C93-426A-B5B6-08329B60A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$7AF57D52-B07B-44A1-8D6A-8F18A91119C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$9907C393-F5D1-48A6-BC8C-C088A84DDC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$A114B6CB-DEFD-4AAF-8F93-9E8F59DEC08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$9C8ADE85-8190-4ADC-A0DF-6B4729531352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b018e3243883c7f1b1bc3e7af5f1b7bdda0e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2915098,"id":"Q2915098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$7C8ECBC3-71D6-49B5-B06C-683A6C0A45F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5328911b313470cff47ea90bba11304ffdda3b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5013817,"id":"Q5013817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$D1EDEEF7-75D7-4AE2-B80B-6BF37915823E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dd10baba3416e13b3ebc54e38e2e38c64163aa","datavalue":{"value":{"entity-type":"item","numeric-id":5709368,"id":"Q5709368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$C650B936-F181-4790-9738-C9E497967C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c2c67d9264afcb96d287b3b8cef95dbdb5e5a6","datavalue":{"value":{"entity-type":"item","numeric-id":6487400,"id":"Q6487400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108529$D9DD1556-D227-4C9D-88AC-BC427AD87806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c258e25f3203eb7e6bfcfe9c250e699bd064464","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be0965e7afbe61028816d5c0ead5752427a92bb","datavalue":{"value":{"amount":"+0.8141580820083618","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":"Q5108529$B0D5E416-F4A6-4C9F-B18E-9A26732CBBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bf4e7cec3be29039b124e7af997727f9b30b50","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e8ac28604d9be6b5238a75d7ea4777bdee8c81","datavalue":{"value":{"amount":"+0.8059867024421692","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":"Q5108529$0C15CBA3-89B6-4DE7-A568-196663E384B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8978d427e9ac55d33b919d894b203ad1689d436","datavalue":{"value":{"entity-type":"item","numeric-id":6109547,"id":"Q6109547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139dc26b66a0c5a15fac8e6fdeb2995d8ecdff26","datavalue":{"value":{"amount":"+0.7978406548500061","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":"Q5108529$E776FFD5-0D1E-40C6-B8E4-EC2F69AA8CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19097458628a1168b8af62cbf165815f0f7ec354","datavalue":{"value":{"entity-type":"item","numeric-id":2733988,"id":"Q2733988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcbc6749d14c2357a2d23398c9bf6e24c2da0c4","datavalue":{"value":{"amount":"+0.7918943166732788","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":"Q5108529$A4227DAB-46C6-43C0-832A-B37785629A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b9c66dd7979b2753708f697c863777f7765acc","datavalue":{"value":{"entity-type":"item","numeric-id":844884,"id":"Q844884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed66a99cd219fc56131129f609c04de92dfc3352","datavalue":{"value":{"amount":"+0.7787701487541199","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":"Q5108529$81432A5E-E3F7-45DB-BED8-BBB08014C3A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional specification in rewriting logic","badges":[]}}}}}