{"entities":{"Q2810689":{"pageid":2821427,"ns":120,"title":"Item:Q2810689","lastrevid":52547477,"modified":"2026-01-22T22:41:29Z","type":"item","id":"Q2810689","labels":{"en":{"language":"en","value":"Implicit propagation in structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589326"}},"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":"Q2810689$6CD646EF-70E5-4898-9074-796F6468889D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de905cc438fc79f2b2e17bbc0fe2fd6bccc2e487","datavalue":{"value":"1339.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$064F3602-B1CE-4816-A4E9-88D4C5BE67D3","rank":"normal"}],"P16":[{"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":"Q2810689$4E669E2B-8099-491E-A959-6FBAFE98AF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"851f96502b47df13206cd3d7bbfa9aee0d21eb88","datavalue":{"value":{"entity-type":"item","numeric-id":2810688,"id":"Q2810688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$6B8C3F0A-B092-4538-8C41-DEE1F01834BB","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":"Q2810689$CC0F7496-B02E-4680-97D3-F0726E5E5638","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810689$3C27E9B4-904D-4020-99C0-926DE0FEEFCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$45E0690D-1CFB-4745-9FB1-ED86CE3446F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$6BCBA5DB-0C51-4D37-9195-010F01741AE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c325124340d2920f423134c58bae601789680d9","datavalue":{"value":"6589326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$D01F1304-2FDE-4CBF-8ED6-1C58997E4AB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810689$2A829144-90BD-4562-9BE8-9B70ECF7CE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810689$930E9A49-548D-4C2E-8A29-E9C7B7E07033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf04286060612dd596abd3e159e4c57ce11a537","datavalue":{"value":"modular SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810689$81CDC368-7C05-47D8-A358-7A4A67C0FBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810689$CEE54C97-CA91-4675-97AA-0D300991A444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71d4a58ad0d62f693adb3fe13a9942804229593","datavalue":{"value":"reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810689$E3BC009C-9F58-4391-9414-6E82475AD3CE","rank":"normal"}],"P1463":[{"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":"Q2810689$AB300483-273E-4BFD-8C5D-08205B2A19FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1242fd1bc940b1d020f91864ca9fbb1cb60e9499","datavalue":{"value":{"entity-type":"item","numeric-id":14421,"id":"Q14421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$E9C95341-C61F-47E8-AB10-B31B07267746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$41D26C5D-EC74-4A06-A583-BD6F1AF10B94","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":"Q2810689$C994E93E-74F1-411F-8B6D-4935B8F26A51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"250f623905638aca807b20ae09f30c4472222adf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.073","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810689$7D1F971D-CD14-4969-A7DD-9B5F1BA1BD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06b2615597b2755ced275cd0c5bd7d5d7d8b5c93","datavalue":{"value":"W2159611653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$64963620-8FBF-41DB-A75B-1B6BA515CA79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc88d424aed02a8df94d95a2de1edaa40df667a3","datavalue":{"value":"Q57783421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$5F948580-CA23-4C1D-8E96-56EE0A665142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$6C6BE794-DA77-4883-8A60-DC8768802955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$AA62BE47-4E6C-4B61-B274-014475708A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$E1277CDA-0D68-477E-AA7B-F8C38BAE2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1891e4045cd93999a8de2705a064dc22e7473b19","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$9CD902BD-4324-4AFC-9BED-EBD09C45EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ed43ccbcdcc9170d7b928f1ceb34c033f67507","datavalue":{"value":{"entity-type":"item","numeric-id":5756503,"id":"Q5756503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$53949A6A-6015-47DC-B4DF-D8E08F16FC6D","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":"Q2810689$275388D4-AD24-4069-B68B-008D79290A96","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":"Q2810689$2975F8D8-1237-4864-881A-B0AD92CE3578","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":"Q2810689$DB3350EA-4D87-4AFD-B523-98DC338AEA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8212979bba5ced4b9d64f0c8ae5c573fb9602e","datavalue":{"value":{"entity-type":"item","numeric-id":4457834,"id":"Q4457834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$B25B174E-535C-4890-BD86-DA7F2254277E","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":"Q2810689$FAB76108-E246-4D93-9A10-07585AF3E190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$71945F46-9E63-4D22-8114-DB4D2CD954F7","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":"Q2810689$51E2EB97-6CEF-4314-BD39-AAA761276F76","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":"Q2810689$0EB7285B-6B1D-4548-83E9-13A2AF383740","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":"Q2810689$9A15C7FA-AF50-4034-BA84-D7274826DBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$C9CC3752-A67B-4960-A69E-5421BA755320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$1DF8AB5E-DAF5-4312-8CD1-D31E0B0D1DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b58947cb7a079bac0db1d082fc9f925471e0be3","datavalue":{"value":{"entity-type":"item","numeric-id":4023828,"id":"Q4023828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810689$D15E7FD4-2A15-4EB2-B968-4ABC2D7C34BB","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":"Q2810689$3A8E7AB2-0034-4EE7-A76F-0CB4D1A5C02F","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":"Q2810689$4DAD6F6F-9092-4054-AB66-9A795BD130A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"422b7846550212ea6e6fb6d1b7d4f4c6e7656d27","datavalue":{"value":"10.1016/J.ENTCS.2009.07.073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810689$3FA3C338-2A15-4D50-BB35-060AEB9E7EC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb05b2649ad83c840db57514e08a5b5fcc4e453f","datavalue":{"value":{"text":"Implicit propagation in structural operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810689$24C741B6-34FE-4E7B-BF33-CF03EDBF0E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0101d5012fef0f76dbc6e6f619d4a610d37db2a1","datavalue":{"value":{"amount":"+0.7278609871864319","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":"Q2810689$A2D3E7B3-722F-4D1E-A2D9-CCE57FCA4900","rank":"normal"},{"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":"5a36e17bcd7c721b37635d786012e9f3451a63a7","datavalue":{"value":{"amount":"+0.7270250916481018","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":"Q2810689$E0A8B00B-4729-4267-B080-860318112A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c1130c536ff70d6158f62b484c5fa50f814bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4818727,"id":"Q4818727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b37aa640e18b37550e2ef84da46cd7750b0c9d","datavalue":{"value":{"amount":"+0.7103251218795776","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":"Q2810689$E47615DD-BD84-46EF-B462-32EEF50D51F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cd431ecf7be871dff18420255b1f3bd411512","datavalue":{"value":{"entity-type":"item","numeric-id":2996131,"id":"Q2996131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1896a94ba9fff79e722496685da6c014605a1809","datavalue":{"value":{"amount":"+0.7103056311607361","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":"Q2810689$645B21FA-C5EC-43E9-A603-25FB3E56FD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7b1bb33deff1ee6e6b03ff2f0cbb063657f548","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade3fafd2175b42971e95e5ae0d4725d4a23adb6","datavalue":{"value":{"amount":"+0.7044654488563538","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":"Q2810689$3549F4C9-4599-40F7-85F7-1854279C7B6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810689"}}}}}