{"entities":{"Q3453654":{"pageid":5233054,"ns":120,"title":"Item:Q3453654","lastrevid":52404476,"modified":"2026-01-22T14:01:33Z","type":"item","id":"Q3453654","labels":{"en":{"language":"en","value":"Generating specialized interpreters for modular structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514628"}},"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":"Q3453654$A192217F-9BB4-41C9-90BB-ECE7F0FBDDA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b178a8c7f81f0e74ab752069b2d0571422c5758","datavalue":{"value":{"text":"Generating Specialized Interpreters for Modular Structural Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453654$59ECB490-22D9-4F18-82E2-EA4916E1C249","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e680e8ba724326e0b6712d993e3480a04dc97cb","datavalue":{"value":"1453.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$518CC3A4-55BB-4D76-8F70-4C0E49BB6A8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47238ea93dd393cd5174d8a7ed52c771a68e7978","datavalue":{"value":"10.1007/978-3-319-14125-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$AE869E3B-4AEB-4E9E-8397-0E0D6BBD8ABE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45b38318e0479e94ff347872d287ac227b027b3f","datavalue":{"value":{"entity-type":"item","numeric-id":516039,"id":"Q516039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$EEFFEB82-6FE4-43BE-A193-311C348F1B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$ACD15094-4214-4101-B3B0-7DF2618021DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$CBCFD801-1B25-40DD-AC88-20471FD180D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f261325ffd8a7002c41f97c89cfd5db2b7a922a9","datavalue":{"value":{"time":"+2015-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453654$01758EC0-0D52-4428-AC4B-D9ED8A630888","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$5580E288-34CD-45EC-9078-CF17C108C487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$A5591053-F504-49D0-9C14-82E0B4101E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$1E6E5366-19D9-4CFF-9F8B-491283EB4706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$42F434DA-4DE5-4F52-8DE4-43F20062A9A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4692c488380b11d6412796a377ea4a7fb1a2da35","datavalue":{"value":"6514628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$F2F24C72-54BB-4BFE-B0A7-333F28A4A04B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fab613afa00042b7e97fb388bb29b873ab65371c","datavalue":{"value":"interpreter generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$0F5F182F-9232-47C5-AC87-A486F0F1E6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$C2253855-7267-487B-A5D0-67E23EE9750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf04286060612dd596abd3e159e4c57ce11a537","datavalue":{"value":"modular SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$AA16F671-D65E-4777-8CAE-57A9F417B06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9252962dd2f740798a2987384a8486b5fe7f7923","datavalue":{"value":"specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$D561B9DC-9332-4776-9ED9-3D38AF4335A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$E126E677-5DD1-49CD-AC54-B74E578F116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$4C9C6655-11D2-4107-A2E7-120818D71891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d3c9fe0c3e21f98bbb1e0c268bc7f0ea88ab03","datavalue":{"value":"refocusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453654$483736EE-D2B3-4059-B78E-DCD7053B9E26","rank":"normal"}],"P1463":[{"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":"Q3453654$257812F3-4197-4717-83C1-F411DE5BF9FC","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":"Q3453654$31887243-4C14-4017-826F-C7124CB66C88","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":"Q3453654$9316A728-B83A-4911-B5FE-473D3B76C839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ebbc061c35b5042a5194ebd4bbd494ed9a2279","datavalue":{"value":"https://doi.org/10.1007/978-3-319-14125-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453654$6AFB6BE9-5A36-410E-90FD-138313B2C2E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d195491b10b0743ea74fc3dd6879380674ff6308","datavalue":{"value":"W1933696546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$551F3858-EBB8-4944-95C4-67A1CB449960","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9a29fac6606e0ecc1913c4fceb8530e31f1345b1","datavalue":{"value":"Q57783385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453654$C9F9E209-B100-4799-B1F9-FBDDAD32CC9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"069787747983fa49877799bbaf2f37fc0e3c79ea","datavalue":{"value":{"entity-type":"item","numeric-id":5410704,"id":"Q5410704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$F472DFA9-9082-4496-81D5-C5E1609C2493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cca494831223dfd7d02e4f774c2fca4baf9e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5326276,"id":"Q5326276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$13411860-9134-4E0C-8991-00A08C1B450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab35871a1fec77f933ff9898974fa9d467d9574","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$858D9C8E-B688-4DC2-AC8F-C7841039D63C","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":"Q3453654$13F6083D-2DD6-4F16-820D-E62C3E987CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c8e2fbc7e72cac91af3f88f7b51d965f3fc63e","datavalue":{"value":{"entity-type":"item","numeric-id":3649133,"id":"Q3649133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$C647338E-7BCF-4F57-AF8E-3E90AC2BC1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af682f907b9834233441de06294bdae71e9206a1","datavalue":{"value":{"entity-type":"item","numeric-id":4702567,"id":"Q4702567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$A0D6E5E0-9472-4934-B1C0-76F001EA9C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c08bbeb9a1b561787a695e6b4be76091e9c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":4819007,"id":"Q4819007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$CA5B4501-96F7-4C05-A633-96D8F86A632D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$33C401F3-4AFF-495F-9666-3FF03524AEAC","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":"Q3453654$3872A3D2-6D2D-44EB-81D7-8E7F8578A664","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":"Q3453654$C12BA05A-DB11-4B23-A488-DAC6997FB836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcf12dfa681bb0dd925e4ec0e031827c9cbf4cf","datavalue":{"value":{"entity-type":"item","numeric-id":4964002,"id":"Q4964002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$F49CDCE8-8725-4E11-ABB9-317AB422BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761e9c63d11074bd0aaefafb9107be4fbbe3c424","datavalue":{"value":{"entity-type":"item","numeric-id":2810689,"id":"Q2810689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453654$63F92982-4DF5-43F2-8A8D-9997F0C96BA3","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":"Q3453654$18616671-6BE0-4298-915C-E6900C7B2B78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7cb7b2052e3ea7e556ceee518dcffffbdbb659","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fffe65d1d76dafc4a47092d9279ca5c215f293","datavalue":{"value":{"amount":"+0.7714235782623291","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":"Q3453654$DF35953D-FADC-464D-A81B-0D9A8EEB7DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853ddc88092ee2050a7d94b35d901d40cfce7e30","datavalue":{"value":{"entity-type":"item","numeric-id":3079927,"id":"Q3079927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c962412d2e60fe9d1b6a59d298bd1ee89342b42","datavalue":{"value":{"amount":"+0.7109778523445129","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":"Q3453654$92772311-F193-4F6E-865A-624F262BA296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc71ed7449e5cea924b241928f11d67c0b2a5d99","datavalue":{"value":{"entity-type":"item","numeric-id":3709856,"id":"Q3709856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac00b4e2590be0e31a4ae1d7b7c708a8580b5f42","datavalue":{"value":{"amount":"+0.7092189788818359","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":"Q3453654$4EE0C735-FC72-4E2D-8638-963410FFC4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb22d1cc2709ef4ae09ded0769c9b95be85ffd2","datavalue":{"value":{"entity-type":"item","numeric-id":2765931,"id":"Q2765931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10440f19634ff2b7459a1a8a222ae0935d23a9af","datavalue":{"value":{"amount":"+0.684068500995636","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":"Q3453654$DA0E24DE-2AA8-435A-BCFB-2631E27A1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576203d058b4e8ad3cc5d5d5906f561e9e566700","datavalue":{"value":{"entity-type":"item","numeric-id":2866312,"id":"Q2866312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10440f19634ff2b7459a1a8a222ae0935d23a9af","datavalue":{"value":{"amount":"+0.684068500995636","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":"Q3453654$44F62CFF-A8E4-4190-8B33-15F425E082F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453654"}}}}}