{"entities":{"Q2871834":{"pageid":2882554,"ns":120,"title":"Item:Q2871834","lastrevid":79529834,"modified":"2026-05-06T14:07:45Z","type":"item","id":"Q2871834","labels":{"en":{"language":"en","value":"A rewriting logic approach to operational semantics (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244363"}},"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":"Q2871834$F42F6565-E6FE-4F4D-B25B-9B0C699E77F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8390f65d1473d6e952fe55a16f235e5b3bf37b1e","datavalue":{"value":"1278.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$1F9EAE00-04D2-4889-8B76-DF86B5163542","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89168b02a11c30611a0ae0bcdc8b7918c6099a68","datavalue":{"value":{"entity-type":"item","numeric-id":730474,"id":"Q730474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$3EB9522E-C78A-4F38-930B-DB27BC85C2BF","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":"Q2871834$B19D625E-E4AC-497F-96C2-E7B8D64ACA31","rank":"normal"},{"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":"Q2871834$A7FEBEFF-3C0B-4B03-BABB-9193ACD33B5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$0AAFF1AD-3495-43C9-B760-ED66C860ADD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871834$33791953-1981-4B7D-9204-AC53D17B99EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$61EACE97-B1AF-4994-8E0E-09BE77292F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$68C1CF32-12DA-4949-9884-8D81D0E18007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$95B14D16-6671-45E4-990C-1E1ABE976468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba54a21fbb1cd61b9c28e8d6059086e8703b4e3b","datavalue":{"value":"6244363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$FC6926D2-C2AB-40D6-B8A3-8B6BF2881DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871834$734AFC1D-9615-43C6-903D-6B8308D59245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871834$E4FCE9ED-F548-4000-A5DF-6F8914F31362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871834$9903FD49-BAA3-4833-A808-FF3D17E057FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$190349DE-989B-4ED0-86BA-909F5FEAC541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1086135eb7b4322a0d05723606cf2a9c1c52657c","datavalue":{"value":{"entity-type":"item","numeric-id":41255,"id":"Q41255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$8C4ABD71-1EBA-4053-B263-16EE9B5DBE1B","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":"Q2871834$944528EC-1A65-4784-A8B8-C447E8A7D783","rank":"normal"},{"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":"Q2871834$7B349F38-9F79-4557-97F5-7CFE3097AB7D","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":"Q2871834$D72B4C3D-83B2-4C80-93AB-DAD3A4D075E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$EE5D96DE-B7B4-4259-8B67-FB93736321C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c84a95fccdab14533447d10553494c021eb7f89b","datavalue":{"value":{"entity-type":"item","numeric-id":19921,"id":"Q19921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$4C49BDEA-EF84-4A0B-8130-C0A24F1686C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$582890E0-081B-40A6-A52A-B44AD4717491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$46E2D292-2F27-44D1-8FDE-E1D1D794FAC3","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":"Q2871834$F622084D-B40C-4B7C-8768-DD489AAEF85F","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":"Q2871834$05ACE85E-D709-4AC7-95F6-E2241C428FF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b0ebede8e724adbc568ad75819c3e07cb6cd7d0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871834$B0CC94D6-462C-4C60-816A-1ABAC7427AD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc1b7fda4e63a368785bd09733730d595dc71836","datavalue":{"value":"W2148043148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$3D00C1CE-BC74-4440-9394-5921352359C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$1A462B73-6D0A-400A-8CBF-81C534B9711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$8112D61F-D4B1-4BF6-BD9A-10CDB66331D7","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":"Q2871834$20F5857E-BA75-4332-BAF5-3DE4FFBEC825","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":"Q2871834$0F7882B9-D154-4C25-836E-FAF8427EFE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$7D30D4F6-8264-44E5-9020-A2259162DA32","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":"Q2871834$9BA016F0-CFBF-41F5-A0DE-4B5AE90B4584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1f656279da7b62fb310a2931362daf8282e1f7","datavalue":{"value":{"entity-type":"item","numeric-id":2736592,"id":"Q2736592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$ABA6C3E3-2916-44B5-BCC0-2CC69E880547","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":"Q2871834$63CE5AB0-83F4-4081-9E94-4C388B7EB2DF","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":"Q2871834$431E65DB-7B43-4D38-88AE-32F495BDD725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$2F4B0FC9-052A-4FE1-9C83-9F1ABC31AE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$26C0AC29-6157-4F67-A415-5122B12E69AC","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":"Q2871834$965B4790-D278-4CD0-8E77-EB5CE6E8B3C5","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":"Q2871834$ACEF99C5-88A8-4F4F-BE0E-E4E34D3C8489","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":"Q2871834$64CD930C-158C-4492-8825-0A4C21D06DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fc8546dd6bbeeb2e26a238e26e8f2162264a40","datavalue":{"value":{"entity-type":"item","numeric-id":2852094,"id":"Q2852094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$6516E679-EBFC-42A7-8F5F-727BD71E0CCF","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":"Q2871834$D1F1B16A-24F3-4A25-8D8B-B20DEE2004D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd64455995daac03a223d9fe45663bf4ad84b95b","datavalue":{"value":{"entity-type":"item","numeric-id":3613396,"id":"Q3613396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$152579C6-6FE9-4CC0-80CB-A8433938FA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$02FAE3A5-5908-41C5-875D-BFB37E47A094","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":"Q2871834$B0116CF5-918B-4ADF-B98F-132751389862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$A8F92CE4-36E7-42ED-8422-63D47C4225F5","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":"Q2871834$8AE89940-7BEF-4EB9-AF32-2B33222DAF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3fbcaeb90e2237225f0fbcbddb29c893ca5fed","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$6605EB43-35C4-45B1-B6C2-5DBD71F57D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$6CF9A8EE-909D-4099-92C0-61A4193D7F44","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":"Q2871834$581D4AC7-5E06-4240-BE27-53BE838764D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ba768d5535cb89837cb76303bb0a20b79390a5","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$DCF8C562-99F1-4FDD-B2B3-70E20619DC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6162c349ebc1556b23372601241db714d15b970a","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$8DE88210-C6BB-42AE-8E1A-99BCC76F0AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce18fdb6050f22c7442e84a757c8a261022bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3867165,"id":"Q3867165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$C2DDF55F-61BF-4DA3-88F3-8B7EE27A5750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871834$4B9764B6-09DA-424A-AF4C-B5DB5254A50F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7862d4a2faceffaed6fa1c140dc24e15698ea19","datavalue":{"value":"10.1016/J.ENTCS.2007.08.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871834$E341D176-24A3-4B4B-B0F3-440A3769BF6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c0437e05ee3440c749091de5184dc3a637d557e","datavalue":{"value":{"text":"A rewriting logic approach to operational semantics (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871834$3620E9CA-64A4-4D0A-AEE9-6A9350B885EC","rank":"normal"}],"P1643":[{"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":"cbc97a5ceadd9e59331436ed57e9bd3e76bd6828","datavalue":{"value":{"amount":"+0.9920164942741394","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":"Q2871834$4426C4F1-1699-4FB4-BD14-C7BE7EC31896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edec816c32ebde0d32d076b656f190d4eefd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"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":"Q2871834$752D5D9F-238E-4642-8660-14E8CEADD590","rank":"normal"},{"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":"e2ab462da9b1a4f4d260c4f9dc0c3a3469710e29","datavalue":{"value":{"amount":"+0.8405725955963135","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":"Q2871834$4A5113B8-1565-45B7-A7DA-93C04B64EA9F","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":"25b72774ed9a5c9e5ebf0e59132c9f9edce2549c","datavalue":{"value":{"amount":"+0.8205146193504333","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":"Q2871834$C17EB727-0808-4B4F-A94F-3A47CBB988E9","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":"900ba9e75e6545e21b860639e51761b9f557c74c","datavalue":{"value":{"amount":"+0.8205142021179199","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":"Q2871834$23F84089-4DC3-4A09-B25D-5B88758A6DD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewriting logic approach to operational semantics (extended abstract)","badges":[]}}}}}