{"entities":{"Q2898020":{"pageid":2908745,"ns":120,"title":"Item:Q2898020","lastrevid":51513629,"modified":"2026-01-18T14:16:28Z","type":"item","id":"Q2898020","labels":{"en":{"language":"en","value":"An assume/guarantee based compositional calculus for hybrid CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057368"}},"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":"Q2898020$BBC644DE-7041-40A3-973E-9F2A92273425","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"647ddd1f41ea17727dd41ef091f540463a9fc303","datavalue":{"value":{"text":"An Assume/Guarantee Based Compositional Calculus for Hybrid CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2898020$2EC5B2F5-B729-4647-A388-F0B35023240F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e79d204798a771356e216058ac75c367c89348d","datavalue":{"value":"1354.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$AA5D9F60-FEB0-407F-A2FC-12AADF6FEC51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6653758d13b4b24f5411d88e0b29bb0a03bc7a1e","datavalue":{"value":"10.1007/978-3-642-29952-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$3143B743-1CA1-455B-861E-52D926CD15C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898020$9E595421-C67D-4063-B44A-EB27964FC630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898020$A52F29EF-1296-4F12-8E60-A9A9352CC1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898020$FAC755A8-97D7-4EFD-ABF1-6B1105D5EEC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898020$4837859A-6CD5-4565-9F5D-80C8125B3C3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe89deaa1ca0e49e45cc01dd05640dfc255fa677","datavalue":{"value":{"time":"+2012-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2898020$3BCCB9BF-778F-4829-ACC5-C27F3C47A8F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$13311241-60E9-4142-BBDD-50647D632723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$3ECA7663-75C0-423F-93DE-3E391B059E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$A3391389-2972-44FF-8AEA-C0B48868B792","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3f2f1da3ac541a80bf9465946151192d9d098de","datavalue":{"value":"6057368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$5BAC9C90-B6CD-4924-A20E-A105BA6C30A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898020$A63911CE-0B47-4C88-BA55-BC51047E2ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898020$226BD2D5-E8D6-40C1-A3A7-A8FD60FD6346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898020$DE53CDF2-F1AA-4FBA-915A-F22B56B77F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c25efda1814403f89d66a7de0dab5eb1b4c999","datavalue":{"value":"HCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898020$3886B92E-F485-46D1-9E95-7444A1AE42E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898020$58B38E34-DC25-4517-8D66-F83C087F179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d318691d788ee7c9e1aa61a6aa2e2d02312311e","datavalue":{"value":"assume/guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q2898020$F47430A7-14B0-4ACA-9FBF-670151B34786","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":"Q2898020$7DFB0BD4-7876-46B2-8DB0-541240B7933F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34de34a1d89ede9b96852003ec0d8f0d2b9ea807","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29952-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2898020$F49A7E8D-B156-4EC7-B14A-5D2D396ACF09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7c8e9237835b2f7fad765ced8328b1b7779582c","datavalue":{"value":"W115475910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898020$152941E9-F527-4192-BFE2-3A0ADE2743EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae282881975d5d745a8817a1230ad063ee71f94","datavalue":{"value":{"entity-type":"item","numeric-id":5045379,"id":"Q5045379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bc7eb644bc60b6714201ffd3d892ae3e7dd13c","datavalue":{"value":{"amount":"+0.8358214497566223","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":"Q2898020$B574C24E-A147-4789-9FE8-F535CD62CEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b327139531fd45c28ef58472ed77ee0dae0329","datavalue":{"value":{"entity-type":"item","numeric-id":5738991,"id":"Q5738991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e138316aff97d17c363c9c2cb431281cfbdce37d","datavalue":{"value":{"amount":"+0.7635588645935059","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":"Q2898020$F9FA53D1-8BF7-42D0-A0F1-33A0405C03BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae77d57ffecf3016a9b07687e4ace417f5b25f93","datavalue":{"value":{"entity-type":"item","numeric-id":2281663,"id":"Q2281663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc6c65893c5a0c5442a5b8321500a9ab7bfebc1","datavalue":{"value":{"amount":"+0.7580766677856445","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":"Q2898020$4BA52035-0EC5-4FF1-906B-C809D359BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256bf163c961d957eb0441be28d845ab3ff01626","datavalue":{"value":{"entity-type":"item","numeric-id":4225170,"id":"Q4225170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8876d1ce5f28ee64effdf64a41a5633154a675","datavalue":{"value":{"amount":"+0.7393308281898499","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":"Q2898020$71BD072E-0605-4B10-BB4E-F1CBEBF5AFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f187d00a0ef0e02de5c18f792cc785a235332a6","datavalue":{"value":{"entity-type":"item","numeric-id":2722027,"id":"Q2722027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d42eca0fbec1f38bce2a3424a321cdbd169449","datavalue":{"value":{"amount":"+0.7393304109573364","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":"Q2898020$31EC09C8-78B4-422C-A675-C4EA73574FCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2898020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2898020"}}}}}