{"entities":{"Q877024":{"pageid":878872,"ns":120,"title":"Item:Q877024","lastrevid":65027682,"modified":"2026-04-11T23:50:18Z","type":"item","id":"Q877024","labels":{"en":{"language":"en","value":"The rewriting logic semantics project"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144951"}},"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":"Q877024$C1853FE4-9873-4AAE-B4C8-B0D78BD63BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4f9ef18c2443538fe32cd040e04f5d1fc3688db","datavalue":{"value":{"text":"The rewriting logic semantics project","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877024$4D61E124-4443-4D9B-A8D2-FF333CF8FE83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"702c678ac5ccd44fd0f58900da328c9e643cb71a","datavalue":{"value":"1111.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877024$4FC84F6D-743A-427A-A82D-0D31A6F22DF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$382D88EA-B052-4980-A56B-EF1F81EE82B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$376B5633-B27E-4432-8560-653869C9C429","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$CC4FFC72-1F83-4656-A57F-7281CC535A96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c162f292d55d8cae8f707bd4c33cce3b2222d9aa","datavalue":{"value":{"time":"+2007-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877024$8A301384-48A2-4061-BDED-325188BEC103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877024$DDA7D0D2-2620-40F0-8F0F-97C170F744AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877024$3935CF36-ABE6-4A9A-B35C-BFADCF7CD4CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5773ca723d6c32b1179148aef929021c0f1c92cf","datavalue":{"value":"5144951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877024$8D819476-37DE-4B4E-B931-07B55E51F656","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85bf133f06f596d34e65095b1bd6bd247f508fd4","datavalue":{"value":"semantics and analysis of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q877024$CFAE8174-4B0A-4886-AF97-F79F7D4F5767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q877024$B68644E3-582C-44E8-8250-AEBA290BF38C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$F565714E-4006-400E-A60C-CAF8A9F7CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f139be797ad6963cd2cbd5f2bce837e22e6da95","datavalue":{"value":{"entity-type":"item","numeric-id":17134,"id":"Q17134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$24924A39-D3EA-4EDB-9322-FD0A704CFA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$102EED0E-8310-412C-BCA0-299DE267396B","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":"Q877024$2E717900-326B-48E9-8E30-35B09DB461E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$FA525210-AB12-43E1-8A53-2D1EB417432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2848a22139715b6b4db6935d72ae558466dfe12","datavalue":{"value":{"entity-type":"item","numeric-id":43970,"id":"Q43970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$58F66C8C-CFC2-4B92-BB43-C3E3BDEA104E","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":"Q877024$FC3CB37A-A50C-4B96-8731-8D94B71746E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c18a28c111e10c0d7debad1925aba6122bf45162","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q877024$994DBCD2-E8ED-43C4-92A1-6C2465789E93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"039a85d12f9171ef66db1aa6f55c9b60c2e27c25","datavalue":{"value":"W2139760036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877024$6F0E9EE6-B17F-495D-B4B9-3EC1914329A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee9d5f4efce57aad8d86642a198daf9ff288bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5387854,"id":"Q5387854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$F41B14D1-C89D-482F-ACCC-882A0B7869E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6803d8cf19d50039a68dfe8352419716070398a3","datavalue":{"value":{"entity-type":"item","numeric-id":2703702,"id":"Q2703702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$75791BAC-2375-4DAF-81E0-469FE0D1B5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fee3a99fd03e027aac2c8350986d4fec7300642","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$527787E6-B42F-42F5-8EF0-91A4F555B851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$029AC210-15EA-4E58-8006-C7F47CC9352D","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":"Q877024$B00D0677-539A-4FB7-9208-EE426BD7F3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19f3f3b7b52d6ade047170369a3a6029e80999","datavalue":{"value":{"entity-type":"item","numeric-id":2849873,"id":"Q2849873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$9FE7F1F5-A741-451E-A4AB-E49A18E864F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993a0290c8b5d5862b3c4459907f50d914c2e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$256067C8-DCC7-4F01-AC3B-DB78D03D480B","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":"Q877024$8C585536-B2A2-4C5C-84F6-2388B8F5CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7534aba074b0dee309f9533efff114dce9ecd82a","datavalue":{"value":{"entity-type":"item","numeric-id":880987,"id":"Q880987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$23810D8D-7E9C-4B9B-A6DB-021D40F91235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5a68d987e3be5c6a6c5b5e962b6a8881b23a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4447234,"id":"Q4447234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$9D92E32E-48DB-4AB1-9DD9-C0E2924D5DBB","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":"Q877024$103F52F4-55D4-4F67-A1D3-31EA1B6B08E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$712713C1-B57C-4209-9041-1852AE4CA0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b02b0da49b64177e47031faaa0120c9d5d8da7","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$A88C293D-1656-4D37-A8D5-27BEA8729DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d812f0e384f8446614787ed3bed9dae88460dc","datavalue":{"value":{"entity-type":"item","numeric-id":3623931,"id":"Q3623931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$18CBEAE5-528B-4B66-B4CC-D0C8F1BF97FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6007691293185549382bd2150d0c35a27394ef21","datavalue":{"value":{"entity-type":"item","numeric-id":5312976,"id":"Q5312976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$FB2E422C-2C09-46F9-B933-E5CAD8CBC83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e7a11765d2866ae1e1a84de71868633eeff0","datavalue":{"value":{"entity-type":"item","numeric-id":4346205,"id":"Q4346205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$E8C69E46-FDE0-4B96-A33E-51DB009676A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43ae42d29f950cc03234680715c3f919e70eaff","datavalue":{"value":{"entity-type":"item","numeric-id":3920616,"id":"Q3920616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$9075110C-0D96-42D9-BDFB-FA4FC530A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$BB308B14-4CDE-4FD2-B42C-A8B6AE0367CA","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":"Q877024$AC160672-DB48-4A6E-BC57-E2B845C30DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3afbb4a47d7209874efa72790978439092feae1","datavalue":{"value":{"entity-type":"item","numeric-id":2873785,"id":"Q2873785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$8E50A3BC-5950-4A71-92C1-AC22A76B6787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4016685ab586a486062134045d983ec6717750","datavalue":{"value":{"entity-type":"item","numeric-id":2849872,"id":"Q2849872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$BDCEAFED-201A-49CB-94C8-1BD9C1D5B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8e791a785306c8b3508eb0c4e3f1bd0bbc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2873774,"id":"Q2873774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$BE794AC2-5E36-4599-8F8F-33E4E995DFCD","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":"Q877024$56278D3A-C322-45A4-AB72-1D765383A12F","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":"Q877024$7E2D0C83-FB6C-45F8-99D8-B00EA37A248A","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":"Q877024$8C9DF0CE-9DD8-477D-A9F3-CC93B0B785E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52005969f544e86789c699964c666cdf2e0ad4be","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$9A315AAC-52E3-45CB-AB57-27D4F65F049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$C44F496A-DC2B-45D6-A1ED-69150BECFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a975ef2f7eb43f00340e2ced47fbfac7ec52ce88","datavalue":{"value":{"entity-type":"item","numeric-id":5096140,"id":"Q5096140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$ADE17460-A205-4F4C-9B7D-29ECFEAB2EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87feef774d412b9e132997ca8ddf128402bbedd","datavalue":{"value":{"entity-type":"item","numeric-id":4105769,"id":"Q4105769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$B3E0B990-1D28-487B-871E-1ED15B315206","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":"Q877024$BC99893A-FC57-4AF4-9B9C-66A6991FC64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b857eaafe9249ba9da76d983fc343ee915b0d5c","datavalue":{"value":{"entity-type":"item","numeric-id":2996131,"id":"Q2996131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$21E12C4E-97CA-4341-8420-D86C824A0A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$99DE2085-3047-45D2-AE29-15DA796A2FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$F2ABEF44-0324-4188-9C3B-8D215069517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e65093a8d22faa18f0bbf687868362f995121f2","datavalue":{"value":{"entity-type":"item","numeric-id":5900686,"id":"Q5900686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$695B306A-CDC6-43B2-9541-A04AFC71FE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$E2536DC7-6F0E-4390-B06D-8D70B2E20A52","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":"Q877024$8BAFB1A8-1D2D-4214-A1B4-7CD3C034822C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7643293467287b538da53a9e92f70fbc16f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2851059,"id":"Q2851059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$CA04FAD7-7AE0-41D2-990D-2F0F9E488164","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":"Q877024$EF45E787-67BE-454C-84C2-80BB1631CF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$C948411E-A22A-4E72-93A7-13B431A90DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f930f357ff6152602f87a7d86b2ef183ddcec648","datavalue":{"value":{"entity-type":"item","numeric-id":1135108,"id":"Q1135108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877024$D9B648AD-ACF6-46F8-A996-1129C9CE3BC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ade7413bc7626421b39f21660cb74616895391c","datavalue":{"value":"10.1016/J.TCS.2006.12.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877024$6F583C5B-92A3-4E2F-B4AF-52DCF834898B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52efce906e0d09dd81500032ef7f803d4ae493ae","datavalue":{"value":{"entity-type":"item","numeric-id":2852094,"id":"Q2852094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f3beee2b2ee0788067b6259baadc1a4c5a4cd5","datavalue":{"value":{"amount":"+0.9860392808914183","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":"Q877024$2F515922-2461-41DC-A7E5-A3009D9040AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11ab555b7f115442d11c8cc9120555602651df","datavalue":{"value":{"entity-type":"item","numeric-id":393080,"id":"Q393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35177ad9fac271f6901580909fabe15580ec0afb","datavalue":{"value":{"amount":"+0.9077010750770568","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":"Q877024$703E85C2-7EEB-47A6-BC6C-98EFFB8921CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab0bcfd78047d2c320e77ee8a7ae754ee02e93a","datavalue":{"value":{"entity-type":"item","numeric-id":3088267,"id":"Q3088267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed171a25f4c06a56ba992c7af94cca0a73b526d5","datavalue":{"value":{"amount":"+0.907701015472412","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":"Q877024$AB4FAEE1-1677-46B4-A9E9-F771506371E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d959cda4cedeed66599d578abeb0a76838cdbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1223965e2923750f7a178cedf91f87ecdb95497","datavalue":{"value":{"amount":"+0.8537194728851318","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":"Q877024$464F1EA4-6814-47BA-9FE8-A867C377F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73eeb00c5fe81099a0787b7563345deaea0070af","datavalue":{"value":{"entity-type":"item","numeric-id":2871834,"id":"Q2871834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b3eb108ab0f05bbd7450c8f83ce7b95d9a03fb","datavalue":{"value":{"amount":"+0.8531184792518616","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":"Q877024$480DE97B-C925-4380-B987-9ACF04442257","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The rewriting logic semantics project","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_rewriting_logic_semantics_project"}}}}}