{"entities":{"Q6860030":{"pageid":20656813,"ns":120,"title":"Item:Q6860030","lastrevid":84252185,"modified":"2026-05-14T05:36:00Z","type":"item","id":"Q6860030","labels":{"en":{"language":"en","value":"An operational semantics in Isabelle/HOL-CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158248"}},"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":"Q6860030$54A084BF-965A-46C0-B2C7-862EBFFF0F1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0502610ff82bfdd5d734ee96a0603dbe86f6b136","datavalue":{"value":{"text":"An operational semantics in Isabelle/HOL-CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860030$363C0526-AAF7-45FE-BDA3-D7406DBB3FC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5151a1e1d16d783176825068d6963a120a6e578","datavalue":{"value":"10.4230/LIPICS.ITP.2024.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860030$F9D9491D-EC8E-4E55-AECC-64823A4661CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5efaf8b2e535d16594b4d3179edc4fab5d8018","datavalue":{"value":{"entity-type":"item","numeric-id":6860029,"id":"Q6860029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$E1394D05-F298-4008-BBA0-037762681E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$4954BCA3-65E1-4C4D-ACFA-A48A12C06562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-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":"Q6860030$16086BE1-7962-4411-8C48-12CC08549FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860030$4BC475FB-C938-4E61-8C67-E4E5627D0B34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae8e6d57e68ac62297e2acc85995a6ce4eaa07a","datavalue":{"value":"8158248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860030$A3CA5522-C50B-4EE7-872F-9BB687808089","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$92C73864-443A-4573-BFEB-EFBFA9733102","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057cb898325b280e778249a25e11e8f49b1ebc7a","datavalue":{"value":"process-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860030$13C26CB0-2831-47C3-A90A-A8C15B06FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860030$9AA10B85-7EA3-47A5-B047-63911F2300E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860030$82A77AD3-B7B6-4DEF-8105-087C43699267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb06950b4b035ba153d2d29c868e5ffe67e8dee","datavalue":{"value":"computational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860030$85E60B15-0451-443C-B6A6-66A4E65C4319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860030$33A81986-D8D0-47C8-B5C6-B5C69A15EF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860030$84B372B0-03DD-4B45-A217-DFB6C02E2419","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":"Q6860030$E1E3DC99-E980-4D82-81AE-749F47390477","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$E11D32F2-E489-47C4-ACE1-5C6E7D876BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$4E1F8362-763C-43A2-9DE8-09657DD7B90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$7DA17230-92C7-47D2-B9C8-7AEC24E38ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7574c7b1b6fc86ae7b3f020add0d6a95cec24e93","datavalue":{"value":{"entity-type":"item","numeric-id":5756603,"id":"Q5756603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$34CF6C6E-46C8-4BCC-A7FA-FD8E36DBE473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4567f423ff19d5830db93e9fb1bead79b40739","datavalue":{"value":{"entity-type":"item","numeric-id":1209325,"id":"Q1209325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$81358070-0E77-4AC6-A358-1E1FD3BA1D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$7A0FA877-4386-4822-AAD0-9BD44001AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d311170a4fec2677546bef79914d3b773377a420","datavalue":{"value":{"entity-type":"item","numeric-id":5285988,"id":"Q5285988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$89321163-D4AA-4ED2-9C7B-32DEEB0AD457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$35F931DE-ADB6-4336-9491-35DD305FAD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$4FF9B0C4-61A1-48F0-94AE-5FCA505D825E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e97c3eb4cb2f11ca34697e2d3972f7b2b7bc1bc","datavalue":{"value":{"entity-type":"item","numeric-id":6487937,"id":"Q6487937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$15CBB0F6-167E-40BD-8D86-C45E1A821EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$FD1AB27E-509D-411E-A56A-AC0F2BE67893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41ce46aef9f7bc8c810e19ace215dcd6c13c8aa","datavalue":{"value":{"entity-type":"item","numeric-id":6090936,"id":"Q6090936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860030$5129734C-A45D-4DE1-A9F5-1F5480CF6AE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational semantics in Isabelle/HOL-CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_operational_semantics_in_Isabelle/HOL-CSP"}}}}}