{"entities":{"Q2873774":{"pageid":2884494,"ns":120,"title":"Item:Q2873774","lastrevid":51912791,"modified":"2026-01-20T12:54:46Z","type":"item","id":"Q2873774","labels":{"en":{"language":"en","value":"A rewriting semantics for ABEL with applications to hardware/software co-design and analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250527"}},"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":"Q2873774$6B1CB15D-4948-4C95-9161-BBA28CBB6A61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"321b940439de126e8ab05528665f4b61272778df","datavalue":{"value":"1279.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$444920E6-19C9-47D5-96EC-185D6C49317B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c47801fe33a6b9b733b15cae32f81f7f3bcfb03e","datavalue":{"value":{"entity-type":"item","numeric-id":1931910,"id":"Q1931910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$26E9B1C8-67CB-4068-9C2D-A331E4379FB1","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":"Q2873774$0FD35D7D-C9D8-49FC-B23D-FA8F61A33FA2","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":"Q2873774$82A25BE4-D3E9-409F-AF53-CC08E934F3FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873774$EC0DF93F-0112-420E-99EC-B442684C0F38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$4CFEE654-19B5-4087-9676-0FBB0270771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$056F79A9-1D5D-495E-9530-489EC956737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$E1BE1109-2B15-4DF9-BEDD-BFA64CE41DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$641A816B-1DC1-4D08-A880-12859C205A90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8eacb7943ffcfb9f008b49f4318bbd61b246cfb","datavalue":{"value":"6250527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$343D0E34-A9CF-430B-86DA-ACB9FBB3CCF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e28d8b974e34bba469e0faad33d1177a122daf1","datavalue":{"value":"co-verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873774$06FAA6AC-DE79-4434-AF72-E423439609E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ff548d1f1ec1eb653126b4630ae075b3f6bddf","datavalue":{"value":"co-design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873774$E24CE12B-19A6-43BE-92BB-E4E63223615E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873774$AB8C87A8-25E0-4A1F-8ECB-A24E59CAE2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873774$FAFD249F-7EA6-447B-BDC9-E03A757C298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0493a24a84b95da82cc4dce68573310d2137b60d","datavalue":{"value":"hardware description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873774$917BAF01-68E1-4ACE-9C82-8DC650A36B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873774$42945580-F04F-4A5A-B2B9-CC1C2782617B","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":"Q2873774$0B24FE7B-7C34-4BE3-BB98-59A405C5D4BA","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":"Q2873774$CC2C895F-EA27-4D02-BC45-C0648BCB9E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"731a53205dace117eb99462ae8f39dbcd7e59eae","datavalue":{"value":{"entity-type":"item","numeric-id":14297,"id":"Q14297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$88D68F35-45EC-4C1B-BB90-1A6F843385D4","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":"Q2873774$87629CA0-3CBA-480D-A430-78CB2947ABB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7331f1b420f2de095644798436e8acf9e28ef31","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.06.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873774$DA29F497-A5A9-474C-AD5F-405CE1FE3487","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caa1c83179d7bbc4b6786a796ad7277c9fefbdd0","datavalue":{"value":"W2010316954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$8B75C38F-267E-4DB5-83C5-BD6BE4BCD198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0532027442be4fd34c24dc879cb99ed8d137cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2754115,"id":"Q2754115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$C04515F6-9998-40E2-8051-76C4C26E0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8335af6a0590b3cc3d7015dd2d0363c6405f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5946345,"id":"Q5946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$1D8B3ED2-F8EC-45AA-9542-EDEB0B3F3B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b22663f733b15798c53e8078e9f8c7589fa97b4","datavalue":{"value":{"entity-type":"item","numeric-id":1870213,"id":"Q1870213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$A1E0DAEA-FA54-452E-98E9-39B30D30A76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86edc28d21cbddd3ffc187d22a12f559edb19e82","datavalue":{"value":{"entity-type":"item","numeric-id":4366681,"id":"Q4366681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$2784CBC2-19FC-4395-AEC1-5BC4E7E0F32E","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":"Q2873774$E234B1D3-EA4D-4B17-AC8A-AE8082FD49AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e290d70822dda404b42dfcb4e0d5d8000c63a673","datavalue":{"value":{"entity-type":"item","numeric-id":4372680,"id":"Q4372680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$C34371E6-354C-4130-80CD-934F546EDE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f50751a430336393d5653a7f6638eaf0792d92","datavalue":{"value":{"entity-type":"item","numeric-id":4435747,"id":"Q4435747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$B92F5FA5-1D38-4821-85E4-4947515E0A53","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":"Q2873774$833E7A20-11FE-4C86-9C03-651BD7DCA034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$DAED27F3-5E06-4E4A-9A85-92649BDF5834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c16282999c889c22613578aecfbcd66c63aad82","datavalue":{"value":{"entity-type":"item","numeric-id":5898997,"id":"Q5898997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$71712318-6122-400F-B837-D226C408FCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$D8CB9563-C2A2-4034-8EA6-55399457B85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e5a34579cbf84259c9009ed5c40b92d372c64c","datavalue":{"value":{"entity-type":"item","numeric-id":4536591,"id":"Q4536591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873774$22887BD5-F975-4E28-A48D-C0C4C6753A58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8110bb49fc3093a360a02cff5b490179d4b7831a","datavalue":{"value":"10.1016/J.ENTCS.2007.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873774$F5FE4432-2FFC-4C59-AB9F-6CC89DA71646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7afe9d42fad612621cc402d5d9883ef94a145b","datavalue":{"value":{"text":"A rewriting semantics for ABEL with applications to hardware/software co-design and analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873774$D75DB197-8BE7-44ED-8A69-D2952535614E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d530b4582e3a2d11eb708625e99d82f79077b23a","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6380993adaff42d6335b7200da570afb03c84457","datavalue":{"value":{"amount":"+0.7477614879608154","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":"Q2873774$D8874F7A-1C15-4A8E-8341-2215673FB3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897e8bca700a7c3295ff5e52f0ca6f9e5e3906dd","datavalue":{"value":{"entity-type":"item","numeric-id":1859164,"id":"Q1859164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a54c409260c3a7989e29de80f70e9b8a90d06b2","datavalue":{"value":{"amount":"+0.7380722761154175","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":"Q2873774$0E143D63-752E-418B-AF01-04088232B5AC","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":"fefdf6f55e1805ae6bc0387db049531767891f1f","datavalue":{"value":{"amount":"+0.7237551212310791","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":"Q2873774$AC1BA1C0-877E-4936-8464-3FA925853FD1","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":"5fccd1f9aeac194b436083c837f7a6d755d31883","datavalue":{"value":{"amount":"+0.7237547039985657","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":"Q2873774$301BC9AB-B9E3-41DF-ABFF-03B0AABC5C45","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":"a327b61ffda8acbbdc8d406778968028fa5d2d1c","datavalue":{"value":{"amount":"+0.7165248990058899","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":"Q2873774$11529BFD-BBEE-46A4-8BCD-4E04BC745BD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873774"}}}}}