{"entities":{"Q5262972":{"pageid":7292548,"ns":120,"title":"Item:Q5262972","lastrevid":100678736,"modified":"2026-06-05T22:46:52Z","type":"item","id":"Q5262972","labels":{"en":{"language":"en","value":"Towards SOS meta-theory for language-based security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457603"}},"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":"Q5262972$069AE807-8A11-40F6-A975-236F5F8D4C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06646fdc62b6b4db3cc628aa2c41aebc33276d50","datavalue":{"value":{"text":"Towards SOS Meta-Theory for Language-Based Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262972$72A125ED-B937-4CEC-8A9B-6B377484113B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92ca12ae4b52ed4ca904077592408aaa7d5746b2","datavalue":{"value":"1316.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$9FB6E1D0-9976-4E5B-A02D-BC5D470E0199","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":"Q5262972$6047E73D-D1BA-4A9C-B4E5-DF04D2CF8061","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262972$F3419C8A-8663-4512-BE2C-6A4BDE9B780D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$716CDE3B-1684-4F0C-88DA-50EB5374916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$89D31DEA-DBDE-4FE9-B7F5-8DA36E17C43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$3589BA32-8CAF-48C0-950C-34CF0F8D0CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$7A369F1A-13F4-4096-BF03-2031DD656E7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac029c7d2e21005a5f63b95d49ba913196314776","datavalue":{"value":"6457603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$002291B3-0A4A-44E0-B2D9-4735AB4F4F03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262972$3A3E0CFB-2EF0-4B0D-AADC-A81946B5F9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262972$0818FEC1-F935-41E2-9AE0-7151F1E0CE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ba51d6878c7074729a0b7abc58c4f481c5024c","datavalue":{"value":"language-based security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262972$158B0119-B771-4B2D-A9C6-FA33F762220C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262972$1EB59876-1E24-43A6-A107-777A9AEC04DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebba4ece548736a48faeec40f2d5c1b98219652b","datavalue":{"value":"Q57745757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$D66BDAFC-DC1D-4A6B-BF88-9A75891F3306","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":"Q5262972$7C0405D2-8D8A-4476-AE53-E61B69A73E23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8834f0898fde8a841fd3fc9f0f9e6890856727e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.092","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262972$9B35845F-802C-46B7-927C-8AD8D0DB1B7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af294e01840cd0390776bf7b913ba62840523e82","datavalue":{"value":"W2078571351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$12CD6B38-E4E7-4E8C-B92F-D84DD2F8172A","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":"Q5262972$1759169B-DB09-494B-8DCF-DCAFE6C7FAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3307cf977b912bfd19bcca65cd9bbb57ad9e4ef9","datavalue":{"value":{"entity-type":"item","numeric-id":997991,"id":"Q997991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262972$D5525429-4F1E-49B2-9AA4-3462BE1B5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262972$D067EFEA-A5A5-4E86-BB87-09E6E3FF2304","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":"Q5262972$825FA734-D9E5-4A2E-9AB3-DA38AB10EA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbf7aefd036132700ee76f6e8980c2e03bb831a","datavalue":{"value":{"entity-type":"item","numeric-id":2943356,"id":"Q2943356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262972$301A7333-B684-45DC-B078-38AB4E4B8C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851366ffbd8e085c636418fdcdedc70fed209301","datavalue":{"value":{"entity-type":"item","numeric-id":5902415,"id":"Q5902415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262972$3D4A21C2-A96A-4AE7-9FB5-B507424EB527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5c2c5cd73dfba127c5c2d3859b14e660e92eff","datavalue":{"value":{"entity-type":"item","numeric-id":1878717,"id":"Q1878717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262972$2AEBE537-3B21-4116-B219-DE93FBEFDB95","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6ad0613ff9d6593819082dd2c7bcf6d760499999","datavalue":{"value":"journals/entcs/Mousavi06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$73C06BAE-8076-417F-9434-EF14E4059052","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31de420b65793aef6fe13a2a1abeaf2bd743514d","datavalue":{"value":"10.1016/J.ENTCS.2005.12.092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262972$BEF407BF-17B4-4C43-A409-6E7BF3CCAE90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6cba00682d4a4db030e49db321978c37fd65ea","datavalue":{"value":{"entity-type":"item","numeric-id":4992502,"id":"Q4992502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe932042b26f6eb4ec469521715329fd3300f45","datavalue":{"value":{"amount":"+0.7672987580299377","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":"Q5262972$ABF5B7EB-4641-4356-BE4A-91F915BCA81E","rank":"normal"},{"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":"d9d79ebd978ce5bcdf6f1b85da0cbcc082c142d2","datavalue":{"value":{"amount":"+0.7295204997062683","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":"Q5262972$A72FB973-A0AC-4B6A-9FD3-6E6B728861E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f42bdf9c2868a669ccc9ca66d488fafbba6b93","datavalue":{"value":{"entity-type":"item","numeric-id":2852099,"id":"Q2852099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb5dbc9e08d8638beb9d5d8337cfe7b211717ed","datavalue":{"value":{"amount":"+0.7275203466415405","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":"Q5262972$37B4888D-06C5-418B-8EA4-9311A5FF5459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c81f8ebb2cb1f154c18d248aba470585b50f90a","datavalue":{"value":{"entity-type":"item","numeric-id":5195249,"id":"Q5195249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e2429d3946e092e2920c8d033159cc72731592","datavalue":{"value":{"amount":"+0.6852572560310364","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":"Q5262972$72ED95C8-2975-4457-8F3C-22415C48B000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b3f50a1bc845a7286cb66a16d7d0f187e3555","datavalue":{"value":{"entity-type":"item","numeric-id":5348913,"id":"Q5348913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38dbb1caad3dc7ccf233e3fafca1e6416c47e90d","datavalue":{"value":{"amount":"+0.6794799566268921","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":"Q5262972$49933A5B-B992-411A-8E86-06E194D92EEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards SOS meta-theory for language-based security","badges":[]}}}}}