{"entities":{"Q1012130":{"pageid":1013978,"ns":120,"title":"Item:Q1012130","lastrevid":66008766,"modified":"2026-04-12T06:54:57Z","type":"item","id":"Q1012130","labels":{"en":{"language":"en","value":"A rewriting logic approach to operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5543810"}},"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":"Q1012130$CDA7C5B7-DCEB-4E73-B9B7-D01F6A606B86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ff224290d7f5fccbf10f3a6d9b3223e4d6e208d","datavalue":{"value":{"text":"A rewriting logic approach to operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012130$C3F9EA83-5CD2-4AAA-97B3-E3AED1F2EAE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aca5bbdaa7d00b245f7e27751c3b7b547c03fecf","datavalue":{"value":"1165.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$62A7FDE7-5812-433F-8750-3E895ACA5AB3","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":"Q1012130$0AA77FBA-D108-4C26-BDA9-6A16C6932059","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":"Q1012130$ED2A634F-96EF-4C23-8935-1BD316CCFAD9","rank":"normal"},{"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":"Q1012130$EF2A258D-B2EE-4488-9BD8-7BD45FE94F15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$233ECD92-96F6-444D-80C1-55B7EAB60D0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012130$0FD059F6-09E0-4DD9-807A-2259D7251037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$18F084C4-0502-4652-B1DF-2BBFF23DE018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$6ACA79AB-3AB3-4B97-ADF9-9A634977FF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$7801D5D0-74DC-4B18-BF88-30420FBB26E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ad17883f95752eafc078901b957e4915cbf2eb","datavalue":{"value":"5543810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$D8B4D623-11C2-404A-A467-7C07F5E454A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012130$E138B29C-1DF7-4958-85F3-89C757D81B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012130$848BA3D8-AFBF-4DBD-87BA-66CDFBDD0962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fb012b23c45976c00f4a3a5770ce96538a7ee1c","datavalue":{"value":"rewriting logic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012130$396FC4BB-F533-4FF6-86E9-B39209274D11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$B4D877FC-A660-47CA-9A2D-CD26478F02F6","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":"Q1012130$D5AAC692-EEB3-4429-A317-254B9941CBFA","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":"Q1012130$BA57AFAB-936F-4F20-8D20-72F78724CEB3","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":"Q1012130$07E2A4A5-CB43-4D89-9BF0-D00B84CA7B1A","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":"Q1012130$5C108150-3161-4726-B906-E2D99B6CF969","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":"Q1012130$28D7EACB-737F-4E8F-B2C7-882767EC7FC4","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":"Q1012130$70807744-EFE5-46CF-9617-C77EE12847D3","rank":"normal"},{"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":"Q1012130$3C7CFA9A-68D1-4D42-9329-91627E9510E2","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":"Q1012130$7CE23D65-C5B4-4895-A964-6AB47C5C3D2D","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":"Q1012130$D4524817-DEC3-4068-98D8-5125249B896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$CE8ADD29-5A00-4954-A57E-B95FE8D78B0D","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":"Q1012130$07B022F6-D9A3-4A71-97A8-415D0295876D","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":"Q1012130$F491F800-B5CF-4CFF-8413-9DF9E33B3316","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":"Q1012130$91090BA2-7F48-4A6F-A9B8-DC6CA9B9144B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d438dd161490d846e77ee5a320dda430d471cb6","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.03.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012130$C8901D06-5541-4A59-AC4B-42A15F85E020","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d985c1a77fe69a18c5facc9510cf547e34e42616","datavalue":{"value":"W1983696848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$84CE5359-FD0F-478D-AE89-9930E99ABF57","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":"Q1012130$F4D020E7-0EE1-435D-BEA1-9A3FF5FE4C19","rank":"normal"},{"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":"Q1012130$E65D0996-6BB0-4D24-B76E-BCBF2C3DE2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0342acc4b6d3d5710fb00275aba55a9d8ae424","datavalue":{"value":{"entity-type":"item","numeric-id":751838,"id":"Q751838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$25BBA8EF-5A1C-4D21-925A-5A998CCCFC25","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":"Q1012130$3BB7C06B-43E0-481E-9074-EE8BD9710D9D","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":"Q1012130$93E935E9-797F-4466-B253-BAAC485414B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$03E169AC-025E-4156-89ED-0E3F59CB1E1D","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":"Q1012130$758FE8FB-25EE-426C-A6A3-94740F6B4E57","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":"Q1012130$B4A1B859-70E9-4A93-A74C-1E73263D9A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$B16D749E-BF0F-4EDC-BAD5-B7F8B20926FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af330b30e73821cee4ac9b8648af5b85f9296fd","datavalue":{"value":{"entity-type":"item","numeric-id":2849864,"id":"Q2849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$025B3039-0907-46EC-BDFB-D3733C214100","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":"Q1012130$E4B292B1-F3A1-445F-BBE6-E537A6A6AC1C","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":"Q1012130$E16615C6-7D84-4804-8047-B755A180C9DC","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":"Q1012130$6DBE2DBC-9385-4398-91E2-4C93BF5D6331","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":"Q1012130$2BAE6DA2-2C36-4A1E-9E0D-5ADF4B882F3A","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":"Q1012130$2D7F8A16-E07A-430D-B18C-EA99031F363B","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":"Q1012130$B2552FC6-E4B5-432D-A278-A341B4B484B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80a8f56558e83d7ae0691e1e0732ffa170b4c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$3BABA504-C8B5-4384-98E6-8585B8CFC68E","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":"Q1012130$F26E9DB9-F8F0-4306-8EDA-03201C42D66B","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":"Q1012130$02923A1F-2DF1-4C89-8C52-DE5F9111909C","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":"Q1012130$91E69481-9B5A-4F45-AAB3-52D81DDC6D22","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":"Q1012130$5DFFE1CF-3243-4E0D-B4F6-A7FE101A1DAB","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":"Q1012130$C1F4856C-73FF-4EA8-9309-B1A657889E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$26210719-DEF4-48F4-A63A-C22C0B0FBDFA","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":"Q1012130$E7110BF8-CE24-4805-9577-34B57443D324","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":"Q1012130$7C6A22ED-B827-46B3-8EED-A86324362088","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":"Q1012130$7AC23A34-5A19-4A0E-B9C9-C0D04C009358","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":"Q1012130$721CBFB2-6C06-4D0B-8265-35D18B38D323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$84738E64-6372-463B-B29B-3BB59807916F","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":"Q1012130$0DC46CCB-0D9B-4D3C-AA76-F9FF504C3780","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":"Q1012130$01AA3D73-BD53-41A3-948E-E2DE9F744EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866aac8037c7e228ce6684f63634896ecc5b8e8e","datavalue":{"value":{"entity-type":"item","numeric-id":6104381,"id":"Q6104381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$7E382D06-3B13-477C-BB2E-9BDA1A43EA61","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":"Q1012130$9D350F51-05B6-40DB-96C8-BB231AA084D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc6c94c62b743fead1a1db5c0c662c2b52b4aba","datavalue":{"value":{"entity-type":"item","numeric-id":5395090,"id":"Q5395090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$EC9BA199-D443-456B-B60A-0CE714BA59FD","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":"Q1012130$97E3DEBC-CE3F-443E-AB65-CC5F3C5BF635","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":"Q1012130$FEAA50CD-B1B8-44CF-9A5C-A21A058B11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$1CF5AE32-24AB-460B-A571-E1EC4C035AE3","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":"Q1012130$72EF452C-E7DF-44F9-A340-6B0ECF4A841F","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":"Q1012130$88488D45-A1D8-45C4-B66B-C50ECCA97310","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":"Q1012130$EE857C72-631C-480E-9246-CFD64AF77CE9","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":"Q1012130$0BE49FB9-C2A5-4885-9DE8-3C0EA5E19C2E","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":"Q1012130$63C1804E-5BE7-40E6-8AD9-290540A7A5DC","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":"Q1012130$6A25BA9C-C662-464A-9A9D-2492249D4ADE","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":"Q1012130$C589BF5D-79BC-460A-B9E1-E7EAA7B4A22D","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":"Q1012130$6E2300FD-9B2F-41A5-9932-C9896D8A8354","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":"Q1012130$B179061B-110E-4325-9F45-EE257753E207","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":"Q1012130$654F03D4-FB07-49C2-8F32-6443D92EBE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1f6c43af3c6d33fccaf941b2fb3b3adab4658","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012130$3551A572-CC78-4B05-831C-E734F9E89069","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":"Q1012130$39DCAE76-3754-449B-A0D3-F43A17E7BD21","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":"Q1012130$EA6D8D24-D58F-4807-9840-CBB23311253F","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":"Q1012130$14D22234-E0A0-483F-9A2F-50E62F9EAFFB","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":"Q1012130$AA98278B-8309-4A8B-BB10-CDB523E7049B","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":"Q1012130$D2AC95AF-E97A-43E7-9BC7-BA2F3E9CE368","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":"Q1012130$DB3BC139-94EA-4B1E-9780-D61C346E6C27","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":"Q1012130$9BD6152F-F3C9-4DF1-BDD7-F4F6471CF14C","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":"Q1012130$120BCCDE-5429-4461-8FF0-3586A232E142","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":"Q1012130$22D82870-2956-485C-AF12-A580C96DC81C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ccf602b1438edf6e3bda4b55914a99457ed85bf","datavalue":{"value":"10.1016/J.IC.2008.03.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012130$3AB50A9B-9D57-42C0-A260-12B29E6DEDAB","rank":"normal"}],"P1643":[{"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":"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":"Q1012130$54801F63-3607-4027-B100-E2FA517FA918","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":"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":"Q1012130$D757BFEE-AEF4-40C0-A5D0-CC52B9CC4061","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":"84e58b09d0fcda7af6691c5b66c4e0f72d8a15f3","datavalue":{"value":{"amount":"+0.8427181243896484","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":"Q1012130$D91215F4-0597-4C0B-8FA7-A35088EB6F2A","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":"5ef98cc2dc0dc0e68a3b62521a9bca679060d9db","datavalue":{"value":{"amount":"+0.820777952671051","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":"Q1012130$FC6EE4DD-00A6-4D12-8536-00F562BE3D8D","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":"561e2e7c61252a63bd100c10484b5de45fbdae71","datavalue":{"value":{"amount":"+0.8207778334617615","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":"Q1012130$565C47B6-121A-4DCD-A484-4A87738B5F67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewriting logic approach to operational semantics","badges":[]}}}}}