{"entities":{"Q2760240":{"pageid":2770979,"ns":120,"title":"Item:Q2760240","lastrevid":47716183,"modified":"2026-01-02T12:38:48Z","type":"item","id":"Q2760240","labels":{"en":{"language":"en","value":"Structural operational semantics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1684395"}},"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":"Q2760240$1462C796-181D-4AD3-8C48-71C5824CCC42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df61214d5c764f7d450e7b1c8179bd0df9d1f494","datavalue":{"value":"1062.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760240$99CF6ECB-65EE-4DAF-9502-0F24B78E7468","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760240$C3E8FE83-DF4C-433C-851D-8F17C361789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760240$D7CAEA77-684A-4FAE-985D-BC20D5162675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"530b54e0e56cdd87de5ea0872d821db6452c4651","datavalue":{"value":{"entity-type":"item","numeric-id":1273876,"id":"Q1273876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760240$A8F5F129-93F0-4DBC-B290-F222ED3528A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6f630a8f9062cc7a61bf0b0d4072e8f242af2b3","datavalue":{"value":{"time":"+2001-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2760240$60C020F8-4EC6-4303-9ADF-CB442F593604","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760240$941C4E10-0579-4A01-8D98-E094E7DB12C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760240$03DC7F54-4B69-4E1E-B558-AD7959DA2D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760240$1C695446-171D-492F-B675-9D1FD9B61518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760240$89832223-802B-485C-AFC6-3187F1941D22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30b913ff28dc22a5480dcf53864eae8031a65f20","datavalue":{"value":"1684395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760240$A7F069BC-7A89-493F-91FF-A4EDC130E2CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$FB725558-BBE6-445D-92E7-0FB387DE584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$B89108E7-3BC7-4C95-97D7-ECD989FEB939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$97BD821C-05B4-4AC7-8B73-1D72E0D536E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74cf819d604b0ca92038117c8cca4bc5aef6801","datavalue":{"value":"transition system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$D17FC61A-191D-4C14-A396-CCB2EA7CBC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e981b1e4581137abb3c811fe3ceb9459163ce433","datavalue":{"value":"congruence formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$6B3DD183-FECE-454E-B2CB-491FF9034CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4143cc063ac327afc012e9b17f59589b69f9f651","datavalue":{"value":"many-sorted higher-order extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$4107034A-5FB6-45B4-875A-FA18B1BEBE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760240$8109A00E-F805-4FEE-8A78-5C5FF44BF0D5","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":"Q2760240$FD08A49C-8933-444E-A5CB-14E45B99EB19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49cf83ecafe8ea2e755821bcfa38b430eecc24ca","datavalue":{"value":{"text":"Structural operational semantics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2760240$AA8E22CE-AECC-4517-B3E6-C33FF1D72169","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":"a9a6d1445c6d4403fd8de2830fef1134f5ec3bef","datavalue":{"value":{"amount":"+0.8067272305488586","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":"Q2760240$AB4BCAAE-0DA2-4907-ABDE-B47EB82D58E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b25c2ffa2417959133d05a5b66e2a62d7360df","datavalue":{"value":{"entity-type":"item","numeric-id":3561031,"id":"Q3561031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c15603196c130fcbf1f21e1d764e3520e7aa2b2","datavalue":{"value":{"amount":"+0.790502667427063","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":"Q2760240$2CF00A31-6D77-4EEF-B507-861CA9B88FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c21410336ab6539589d5be63eebd764680210f2","datavalue":{"value":{"entity-type":"item","numeric-id":3842791,"id":"Q3842791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a66c7c6786534ceb709f0f53d39e691b0fdf9e8","datavalue":{"value":{"amount":"+0.7858878374099731","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":"Q2760240$D37E28F7-A115-4CB5-ACDC-E237D725BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128b3f8db1bf46c9964dacc99396474dea05345e","datavalue":{"value":{"entity-type":"item","numeric-id":2843732,"id":"Q2843732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4066a20b964967db1742e02cedf95250ed043030","datavalue":{"value":{"amount":"+0.7846278548240662","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":"Q2760240$C6DF3E16-3811-42EF-821A-FEAB3ED51B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5c915451936990a23a750cd6ff3d101356a126","datavalue":{"value":{"entity-type":"item","numeric-id":2810690,"id":"Q2810690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4be7a1dab0e45b73a09fa5a0712fcf952e00ce","datavalue":{"value":{"amount":"+0.7816567420959473","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":"Q2760240$6204918A-E930-41D3-A906-B8425A3240AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2760240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2760240"}}}}}