{"entities":{"Q4529488":{"pageid":6559080,"ns":120,"title":"Item:Q4529488","lastrevid":47915956,"modified":"2026-01-03T02:03:21Z","type":"item","id":"Q4529488","labels":{"en":{"language":"en","value":"Compositional Verification of Quantitative Properties of Statecharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1744048"}},"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":"Q4529488$C44FF0C0-949F-4CAD-BC2A-2462F9D468EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da3d0193d3799d1fd9b84e8f62ed6b1dbb1d08d9","datavalue":{"value":{"text":"Compositional Verification of Quantitative Properties of Statecharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4529488$7C73F37A-15F5-400C-87DA-35700C371377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c4422ce8f730d1325d3683606b03743746b2a0","datavalue":{"value":"1008.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529488$B356673A-9D75-4333-A0D8-427594267E03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529488$171BDE9A-C0B8-4709-B187-86774FD27E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca71a3507a04e5e1db808d60d8c63db3c98c6754","datavalue":{"value":{"time":"+2003-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4529488$AAF935D7-E7D4-4B13-BA2F-B9A204EEA7D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529488$80A2720F-2C7A-44A3-B58A-9567F2902358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529488$482A42AF-6216-4ABA-A3CE-B2E2B7D543BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73f75875d6b404d737e25553fc1536430905d79d","datavalue":{"value":"1744048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529488$0C449256-B909-4C7B-9CD6-E0ADB199B72C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8d933beb43d9fcde951b3a7cd456d05feabcac","datavalue":{"value":"local model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529488$F077285C-EFBB-4C9C-AD26-9CD556585CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a622c15de37adc40733a3f18345675abc24772","datavalue":{"value":"process language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529488$247B4C55-5F4C-476F-899A-172DEFBC06A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e1ea8d566e889a4147219443b919e671febc8c","datavalue":{"value":"timed statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529488$2DFD7482-A231-4E46-BED0-DDA29A7E07BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529488$F7145335-BA10-4A44-90A6-0F6031E4F4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529488$CFDFBADD-20A3-4B3E-AAD5-19C65AF1E62F","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":"Q4529488$07B84CE0-A0B1-4D77-8B8E-1D4777C6EE28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7278eb83c28cbdd1bea239ae5730df4f6da7e1f4","datavalue":{"value":"https://doi.org/10.1093/logcom/11.6.829","type":"string"},"datatype":"url"},"type":"statement","id":"Q4529488$25A53DFA-5A98-44C4-B014-82FD73430E5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"330641470d0b88269fe1514d682b69008b21d17f","datavalue":{"value":"W2062864606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529488$DDB78DDE-31FC-4A4B-9F66-556651EF050A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc11183435134134da5bfed748a8719a66ac74f0","datavalue":{"value":"10.1093/LOGCOM/11.6.829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529488$9BCDB1B3-98FC-4C64-84B0-EFFDB9546538","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529488$5761456D-AB22-4656-8FF3-C5D6F1765AB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd538dfa943142275c84c51b53b5311f7e6b33cf","datavalue":{"value":{"entity-type":"item","numeric-id":4952304,"id":"Q4952304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263f24ddef7d5c86a32124564c0373e4a8a8a79a","datavalue":{"value":{"amount":"+0.9399372935295104","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":"Q4529488$A888DCCA-D766-4B4D-B7DE-24C313A28C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e3ac5ca6e1b44fb4371853c64f5542f8dfd0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1285661,"id":"Q1285661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7144f71b951fd3d3285216e06b0c6359e99ce1b","datavalue":{"value":{"amount":"+0.8458569645881653","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":"Q4529488$07E88BEB-EDA4-4A6E-9398-D4D02667D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ed59a8da5c4b360c5ec2f4bfad28762034bf12","datavalue":{"value":{"entity-type":"item","numeric-id":4243082,"id":"Q4243082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b43e62c063f8151f643faf83a7c89adfdf42995","datavalue":{"value":{"amount":"+0.8023598194122314","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":"Q4529488$662254C7-CFDC-4FBC-97B5-7CB1A16D1463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b43e62c063f8151f643faf83a7c89adfdf42995","datavalue":{"value":{"amount":"+0.8023598194122314","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":"Q4529488$76401525-FCD7-4C7F-87B0-39D684108B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11fbe834f5d5cc57f184320c8537942a956f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5479159,"id":"Q5479159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2fe19c17f18675b1fa3e467e9ca2f2632e54ac","datavalue":{"value":{"amount":"+0.7992300391197205","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":"Q4529488$BBD91CF9-81DF-4447-AFF7-62D0B974E3FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4529488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4529488"}}}}}