{"entities":{"Q2847424":{"pageid":2858144,"ns":120,"title":"Item:Q2847424","lastrevid":83495474,"modified":"2026-05-07T08:25:40Z","type":"item","id":"Q2847424","labels":{"en":{"language":"en","value":"Transformation and verification of executable UML models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207140"}},"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":"Q2847424$A05CD638-8ADB-4533-A7E1-74867735DD6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd4b59abe3eda3e0cd0113766282de8ddd274673","datavalue":{"value":"1271.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847424$2F283C8F-AA25-4CDE-997F-80B569E222F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e1089dea4d49a13ed6f0266457cad8a8405a881","datavalue":{"value":{"entity-type":"item","numeric-id":2847423,"id":"Q2847423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847424$CF42DA97-E401-4AD6-BDB5-86C492BD3A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2105d5a6713bd5402b7e72f4ea722dce2d983644","datavalue":{"value":{"entity-type":"item","numeric-id":788769,"id":"Q788769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847424$888AAD73-D103-4E3A-AFD4-AD5C0F4F9E60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847424$88F7445B-F2BE-44BC-AFC9-83B51FC5D64C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae2af3af159188946c68b99a1cb48a44e8cc703c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104051059","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847424$12C3FD3E-32E0-4A27-9881-97C03E10C45D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847424$0A904985-3183-4878-B661-271694D71A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847424$1DE243E2-009E-49EB-A165-A125E2C441AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24a98ca1eb4884ba57e2aff9aee5ef5b981772b9","datavalue":{"value":"6207140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847424$BA777BDB-1C8A-483E-B5E8-78ABA57B2D4E","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":"Q2847424$0F596795-BF8E-4226-84BB-29E5B29D8A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d73042432a870c7a8ebd781e4f272b15a71e789","datavalue":{"value":{"text":"Transformation and verification of executable UML models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847424$1AA16BFE-9033-4A85-9DA1-75CBD96D4B2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f45325064c593d6d3024851c918832c30afebc","datavalue":{"value":{"entity-type":"item","numeric-id":1776581,"id":"Q1776581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a4e5c7f3729e3a93b46ff163dbb60be0e622c1","datavalue":{"value":{"amount":"+0.7891829013824463","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":"Q2847424$C29F69AB-435D-4DE9-BBFC-FCA0CD4D54A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa21767a783934e002833c7487898c9790bb8995","datavalue":{"value":{"entity-type":"item","numeric-id":2844827,"id":"Q2844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2852a5e7e37684c725900551a430e71d4d4340","datavalue":{"value":{"amount":"+0.787882387638092","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":"Q2847424$326C2B65-B505-4514-A990-51202278A298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68960892678786d9d14f2e29f93bb88986ed3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2737491,"id":"Q2737491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b7b829460605f692204b5bb8787aacacc8bdcb","datavalue":{"value":{"amount":"+0.7742592096328735","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":"Q2847424$6AAF6662-5F9C-4A61-98FE-D933AB8553DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f47576bddd402a5cdb8b4863e850a5d17a79bf","datavalue":{"value":{"entity-type":"item","numeric-id":3043829,"id":"Q3043829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf401401a5daf042572f4e85f5414d9eba8b8a09","datavalue":{"value":{"amount":"+0.7739416360855103","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":"Q2847424$41A21221-3705-424F-8502-54FBB0FBC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe3020013e85986e9132c0acd0e361c5680338d","datavalue":{"value":{"entity-type":"item","numeric-id":5464838,"id":"Q5464838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883303252a74fe0615767e53f5dfe2676a41d35c","datavalue":{"value":{"amount":"+0.7692378759384155","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":"Q2847424$CE9D84D5-CCB9-4FB4-AA45-76FCC74FDCC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformation and verification of executable UML models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformation_and_verification_of_executable_UML_models"}}}}}