{"entities":{"Q4647850":{"pageid":6677431,"ns":120,"title":"Item:Q4647850","lastrevid":97959335,"modified":"2026-06-05T15:55:19Z","type":"item","id":"Q4647850","labels":{"en":{"language":"en","value":"Applying software model checking techniques for behavioral UML models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103234"}},"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":"Q4647850$1A830BE7-D0B6-49D4-8938-4BDACBB8DF02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e028486b6d4a2d10ad8148ff7b4055e5b40bd147","datavalue":{"value":{"text":"Applying Software Model Checking Techniques for Behavioral UML Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647850$26C56E7B-FDB0-40C4-A95F-03EA0E97A682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acd12f9c6d9e0450bf876ee09d7af0022934029d","datavalue":{"value":"1372.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647850$26526F3F-8C60-4724-B49E-EF52147D4EE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539b39ec0a86eec0aa6337a7f0f4f90fc72784a5","datavalue":{"value":"10.1007/978-3-642-32759-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647850$2CFD6814-A0D1-4C99-AAB0-5E1272681298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$E7FB4C39-8119-454C-AD02-2E86CC4173C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13f473f95360f21f7c44f079c665f94f6b69a50d","datavalue":{"value":{"entity-type":"item","numeric-id":259062,"id":"Q259062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$B35D2422-4333-46BC-914B-FC4BF42322FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a7ab83eb4b01c8fa415c14a8ae5c22018daae","datavalue":{"value":{"entity-type":"item","numeric-id":1039849,"id":"Q1039849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$17565361-56E7-4A7E-82A7-E02690A63E38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$B3E7024B-674C-49B9-BCFE-4D14EDDF4D0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647850$CDAA65A3-AC60-4513-A1F7-7ED2CD13FA56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647850$2596940F-7FBF-4C68-863A-9EEAED18877E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3de15a45a252a5abfb7dad1f5ff46b8aa9eeb74","datavalue":{"value":"6103234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647850$C1E412EB-9A85-410A-8638-ED8E39CC5FBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5594ddcdf48a99c92bdf04a2b247a8a25d4d012","datavalue":{"value":{"entity-type":"item","numeric-id":16043,"id":"Q16043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$7C8AED19-3A54-4F16-A630-93E5C5A1EF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1e51ac713fd8fd81165ef20b920dd5864f1351","datavalue":{"value":{"entity-type":"item","numeric-id":21439,"id":"Q21439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$F617FB00-4802-4B21-8A33-633CB166F18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$CA0A195C-3A08-4CBE-BB18-9E3B3F1C1005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ea8ef6347659dca6037f56cb2a8facb452dee25","datavalue":{"value":{"entity-type":"item","numeric-id":16606,"id":"Q16606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647850$F97BD464-F951-4703-ABB4-DD9701B94734","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":"Q4647850$9BADE760-289B-4058-B78A-2004E30F838C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8fa0f7c484e8d69efaf8d3c5363642ec2c37d0a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647850$169D7DF4-61C9-4C08-BF6E-39CDC04F82D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891764ff80b5fd5ffcf6a8a29d8cb74c17b2dee0","datavalue":{"value":"W168286271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647850$B8AB6CA4-9F24-40EB-AA4D-84DC031DCE99","rank":"normal"}],"P1643":[{"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":"1a539f4f011dd0c119a4c88359c9ffaa605d03ed","datavalue":{"value":{"amount":"+0.795896589756012","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":"Q4647850$7F32B19E-B1C5-4338-A8EB-2485BA569A3E","rank":"normal"},{"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":"a45ce6bc8c98979354497b860baa01fd2b65c1bc","datavalue":{"value":{"amount":"+0.7795750498771667","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":"Q4647850$1E157EA1-4D4D-45A9-B350-E2FCD0125C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1224ca09ab0dedf29a3ded0f65f366d1febc995","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2780de36811335282382249f714a90706dfdb594","datavalue":{"value":{"amount":"+0.7690767049789429","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":"Q4647850$3684F6EF-2FD2-445A-A2DE-008AAC1ED0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1052ae5fff4416f08d055a557cdff6af32a6bca9","datavalue":{"value":{"entity-type":"item","numeric-id":3105095,"id":"Q3105095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88d086e2986184e447869c0410ecea18e841e4d","datavalue":{"value":{"amount":"+0.7588014006614685","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":"Q4647850$C9B4BB76-5868-4B46-80E1-4ECB09AE5D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b3cc2d02540544b6251e3479941db87a61eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4804906,"id":"Q4804906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf4e840143fbb4c821b618ec52aff6c097af77e","datavalue":{"value":{"amount":"+0.7531702518463135","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":"Q4647850$AE5E6453-05B2-4F6A-B714-7BA192C0D980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applying software model checking techniques for behavioral UML models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applying_software_model_checking_techniques_for_behavioral_UML_models"}}}}}