{"entities":{"Q3402288":{"pageid":3412991,"ns":120,"title":"Item:Q3402288","lastrevid":50894855,"modified":"2026-01-15T15:23:10Z","type":"item","id":"Q3402288","labels":{"en":{"language":"en","value":"Towards checking parametric reachability for UML state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665775"}},"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":"Q3402288$240BA450-7E34-4C8A-8EAD-F987DE616B7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7fd7592ccb49b8881a596ea96e76546bddfbdec","datavalue":{"value":{"text":"Towards Checking Parametric Reachability for UML State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3402288$239CF318-EBE9-4F21-B0D0-6D09CC7B0279","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac23857d1c3c6ec4bfeb1499cefe78e124fb13fc","datavalue":{"value":"1274.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$35B6EA57-0813-4A63-87BA-98F3BAFB07F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a3e09552f0998813161ad54afe80a9b6f531c3","datavalue":{"value":"10.1007/978-3-642-11486-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$B51B5038-C6D7-443A-A310-1594E4C474E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f8702780907862d22fb68b03ee907a25b3573f","datavalue":{"value":{"entity-type":"item","numeric-id":2309217,"id":"Q2309217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402288$8398D5F6-3BE3-4C3A-99E4-2A3AA7374ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402288$DBD38CD6-47EA-487A-9158-A98DA5D07F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402288$60CBD5F8-8463-4D3E-B3AB-68859656F57B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402288$1C568B49-652B-4CE4-A275-804FB3EEF260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402288$98CE817E-BF0E-45DE-A207-1EFDD5212B11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$544064C0-6166-4E84-9ABB-AC244405D97F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"856172f291d863fcd32214587161d0ff8f5092e5","datavalue":{"value":"5665775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$0A972FD8-2904-46B0-93EE-2E71D8C118B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"637097336799766621f9f0ff16a92ea35ac9ed15","datavalue":{"value":"Q62045393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$65DFDF24-BA28-48FE-BBE4-94C761F5E6D5","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":"Q3402288$18528870-5709-4550-A953-9D2B6C45833A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea9814906e281f50688a651454702c0e8e109f47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11486-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3402288$66F94553-1ABC-4967-BA7E-5B0052AA626F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a60101d47094d39ebbb171c1a5bcb21a5410931","datavalue":{"value":"W2158235344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$2FCF6CAD-11FD-404D-A507-7AC3D808CE23","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e1c615a50d21f867536b59808b2367f7912736f3","datavalue":{"value":"conf/ershov/NiewiadomskiPS09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402288$01A9F5DA-8D89-4B8A-8D15-32D4539FE4BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2454370bf0930b9c46db1630c2eefda33ba95cc","datavalue":{"value":{"entity-type":"item","numeric-id":5192940,"id":"Q5192940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305c80f1f0bd69f6bee75fa160f1dd8522fb7c69","datavalue":{"value":{"amount":"+0.9285720586776732","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":"Q3402288$A2CF5CF1-75A9-46FF-B660-C9BD4F361881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a4b3338b3af97897f121003b028b1aee32b4d7","datavalue":{"value":{"entity-type":"item","numeric-id":4483796,"id":"Q4483796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b535711db93bf8864b7e1a69148e57e5d95ed7b","datavalue":{"value":{"amount":"+0.7788883447647095","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":"Q3402288$D490FD48-3A05-449D-8356-67686E6C581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e1ccc60114a1c5007e4ab1391b2a39bed4f629","datavalue":{"value":{"entity-type":"item","numeric-id":617925,"id":"Q617925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e628e5ea3efe4ffbfce037f272d4b86f87c399ad","datavalue":{"value":{"amount":"+0.7580796480178833","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":"Q3402288$CF031A52-FC38-40C4-B628-AD759CDCF936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c409738a27f1fa2ac2578cf03d7de5d4761091","datavalue":{"value":{"entity-type":"item","numeric-id":4444707,"id":"Q4444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c6a15463a5d51479b62379357ba059af5c92fd","datavalue":{"value":{"amount":"+0.7542510628700256","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":"Q3402288$78D1AE38-9892-4AEB-A224-ABD99C767819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee172f99f5551ae3403bf7a41877df9bbd7969ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647850,"id":"Q4647850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10234bb4cd63a442ba71fdf98cbc99e41821c80","datavalue":{"value":{"amount":"+0.7508019804954529","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":"Q3402288$A68B2E9E-F6C3-4C77-B8C0-6454D07450C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3402288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3402288"}}}}}