{"entities":{"Q2296286":{"pageid":2307029,"ns":120,"title":"Item:Q2296286","lastrevid":55372339,"modified":"2026-02-17T14:43:29Z","type":"item","id":"Q2296286","labels":{"en":{"language":"en","value":"Probabilistic semantics for RoboChart. A weakest completion approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168635"}},"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":"Q2296286$82DD6EC7-520D-4731-96CA-4E2136084319","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4fe8a80278e58c7c658ad7a0144cbc3d07f9dc3","datavalue":{"value":{"text":"Probabilistic semantics for RoboChart. A weakest completion approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296286$712DE45A-758F-49EE-A6F7-F249E841E8D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b584ed27f6258d914f96af3fca59f8f89ecc576","datavalue":{"value":"10.1007/978-3-030-31038-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296286$366488F9-571D-49AF-A5E5-6E97EE6D85BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296286$CF4BDC56-0B4D-453E-ACF0-EA96E06A930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296286$FAC3438D-E6FF-4798-A0A6-34FC76E7E588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7adeca81e015c1557520dffe4e77927ba591c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":175411,"id":"Q175411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296286$34488649-CC03-4716-ADA8-C24C4CCA551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f28c6f17189715ed832177cbcbb505f96e8d7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1617823,"id":"Q1617823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296286$6CD0EE99-2935-4861-A282-D82D21909CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296286$B6630BCF-A186-4EE0-94B7-1694890D28B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2296286$4DE5FEAC-E68E-43FD-873C-1DD734018A4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296286$96995A74-BD5D-4729-81FE-330F41BBA891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd5110cdc3bfc551798a559c5ed15b7b22da4a3f","datavalue":{"value":"7168635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296286$81A4E202-A545-45B2-9F39-66206132B322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665e9c40190a0db42a37aea7c2ab14d6c996aaf5","datavalue":{"value":"RoboChart language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$452D7CAB-3DE6-4C6E-86E9-0E482E0F625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df418adb30dc59ff44394a1ffe39e5145494d78","datavalue":{"value":"robotic controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$133D2BD0-3A5C-460B-9E1A-4567741F742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ee2ee1f99900c06084df1cd10d6861052e75b6","datavalue":{"value":"statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$8DFAEA84-C3F9-4904-AD75-EE3AC46D1FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73f3715881749f22b39d59d790037007e6a9d08","datavalue":{"value":"probabilistic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$5F8D9DDA-50C2-4B29-A438-DC5147BB3FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cff52f1f8df429852ad8af8776d8a3d505548d","datavalue":{"value":"relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$A60E99CE-2713-40D4-AE35-13476108AEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b95774e5e9d873faf403512cc9e486be711b3e","datavalue":{"value":"Unifying Theories of Programming (UTP)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$7D1ED240-D7C9-463D-B9FB-D6ADF480AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ba3f4fbb3d873f9e7954d032b34419bc81639d","datavalue":{"value":"weakest completion semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296286$8B2C7F35-9B2B-48D9-B9A2-BF5E5727C21B","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":"Q2296286$90692BD1-36D8-4051-803C-451DD396E21E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e3a728007a419084d5c78604c9371b3ac778351","datavalue":{"value":"https://doi.org/10.1007/978-3-030-31038-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296286$028149D8-FDFB-456E-B559-57CC8C75F65B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a80e49a55e3e3cf027420368a5f00cb02703b27e","datavalue":{"value":"W2973326731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296286$4CB64DA5-2AB0-4F5E-B526-A43A3BC75DE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa181d1806836f94c08ff690d2906a21d9cf1c17","datavalue":{"value":{"entity-type":"item","numeric-id":2937792,"id":"Q2937792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1234204b44cbda0ef2247f7ffc195d01299ad0fa","datavalue":{"value":{"amount":"+0.7019428610801697","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":"Q2296286$DB2540DB-DA1B-4676-8D08-C1A735ABF972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd033f9c8cfeaa38f6a983509aa221ff01041e9","datavalue":{"value":{"entity-type":"item","numeric-id":4255551,"id":"Q4255551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9f5d2914f254aaff81d94a61077fbd3162b2a1","datavalue":{"value":{"amount":"+0.6927210092544556","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":"Q2296286$F0DE5302-CA04-4750-937E-9FB333C4171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b74d56abeab2d55f65801a7a95b4036cae3ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1f3e372769b739aca97a1ef636dd6ac5ce38d0","datavalue":{"value":{"amount":"+0.6913707852363586","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":"Q2296286$2DA77A41-10ED-4081-BBF2-AC5784D3306B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab268f9f0980535555b46c1338b8695037cc15ca","datavalue":{"value":{"entity-type":"item","numeric-id":6546469,"id":"Q6546469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24335f65264250ed27b041aa4b9eebc917e8d8a6","datavalue":{"value":{"amount":"+0.6875575184822083","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":"Q2296286$7581FF79-BAB2-40CB-81FE-97C1E67EEA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e686cc5799b4522bd0d81b847aa72ef02edc352","datavalue":{"value":{"entity-type":"item","numeric-id":4923369,"id":"Q4923369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5532230c5945e700c83268fd65e1fc0174ea84a","datavalue":{"value":{"amount":"+0.6866704821586609","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":"Q2296286$1146F324-745A-4235-81C4-2C4C356C50C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2296286"}}}}}