{"entities":{"Q903517":{"pageid":905365,"ns":120,"title":"Item:Q903517","lastrevid":65257284,"modified":"2026-04-12T01:21:15Z","type":"item","id":"Q903517","labels":{"en":{"language":"en","value":"A framework for model transformation verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526774"}},"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":"Q903517$4E3709CB-AB66-4E7D-8F4C-F7FFDF66B01C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5920d2fe7675e90420ccf776c922812f3bd9b10c","datavalue":{"value":{"text":"A framework for model transformation verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903517$FCC7B6C6-F01C-4523-A146-79CB706475DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be25029ca8f963215f3d83ac1831d9741c04b8ef","datavalue":{"value":"1328.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903517$863F2EAD-5314-4922-8067-CD150B23D5CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$FD23D714-5F71-42E2-A8A8-32FC2C68323E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$26A9B0BE-737E-4FD9-BD28-696DB838118B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-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":"Q903517$3AF201E2-86B5-4B2D-ABC2-C65C4F7D4A62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e82d63c4b024595840b0d68b355be0e8b195242","datavalue":{"value":"http://shura.shu.ac.uk/12046/1/mtsem.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q903517$70025D44-51E9-47B5-80A4-31DB16D84C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903517$8072F0A1-9114-454C-94B3-1FABD5C92250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"637370ef8a5e6422faa1a0214bc4d275dde6acad","datavalue":{"value":"6526774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903517$8DE1EF5F-E32D-43F2-9B0D-5C4292093E16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be3a1e5d12caa34370554dd2b8b6e67ba78118a","datavalue":{"value":"model transformation verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q903517$3B29A4E8-3BE0-4461-8571-395A05C74739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b851fbee9a2346b7ce14190221e8f3f7e08236","datavalue":{"value":"model transformation specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q903517$08C666C2-71D8-473A-9D2B-3B954A19504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ce2b49f9a40af03243b793ddf1a14050b4231c9","datavalue":{"value":"model transformation engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q903517$8DDF5CE9-5554-41A6-81AF-0F8930E99C63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5539d088a0b0e55eb02145b65e5a8e36315f2210","datavalue":{"value":{"entity-type":"item","numeric-id":23323,"id":"Q23323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$FA26E9F7-D65E-4F78-9747-EC7E59306394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d547c3c6c75abe9537ca4ba04319cfce7032b205","datavalue":{"value":{"entity-type":"item","numeric-id":21864,"id":"Q21864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$A263EA23-81C1-4693-9B41-BA76D87689F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$608A6690-82C1-4ECE-9F69-C9C160E504FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8d8e1f04ba18c350ecde52b815c4dd1bcc26291","datavalue":{"value":{"entity-type":"item","numeric-id":17873,"id":"Q17873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$E19853B6-BA68-4CC3-8737-5FA568657598","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":"Q903517$5EB2D2DE-5776-405B-8C90-C427FBA1242E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"031a78fdfc2ec4d5a3bb0352f7404525d62eb12e","datavalue":{"value":"W2069633766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903517$D4696CF9-8E24-4D44-9BE9-13133AC2E021","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"743528f20020a4cc47aa1baf3c5ef0c5ccaf6cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2999313,"id":"Q2999313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$14F82DF2-DBF0-4DB8-B162-4E36F9C99C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$7560EA0F-5B6E-4559-9052-81B3729780B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f6bb02b3cdb74d903028e899c4c3d80dec509a","datavalue":{"value":{"entity-type":"item","numeric-id":2894550,"id":"Q2894550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$352915E0-D697-47D3-BE6B-24337F0EA77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fca39fa51209d938c87e8b54dcaa0a5c3ae104","datavalue":{"value":{"entity-type":"item","numeric-id":903517,"id":"Q903517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$12437AD5-4804-4CD8-8BCE-D601345C3800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1129def7f016709990de28090cd8071749530a","datavalue":{"value":{"entity-type":"item","numeric-id":2848432,"id":"Q2848432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$C09A3C87-491E-4B6B-AE5D-36B04F4E44F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657b2be649f89cacd9617c0d922a46bf0a1ebc52","datavalue":{"value":{"entity-type":"item","numeric-id":5404179,"id":"Q5404179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$636EBD26-2110-46BE-9B08-5265856CFD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079f02b7f6f050f391fbe3341b54ad35cfc040a","datavalue":{"value":{"entity-type":"item","numeric-id":5292598,"id":"Q5292598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$76D46AEE-98D4-4981-A873-76C5C9C349D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d40709e387527e42c939c4c6f5c08a05ca91f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3012970,"id":"Q3012970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$ABFFF382-4B45-4F70-A0AC-7B2C1511283E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61684618bb074e7d18d9e6495d60a2bd600546e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541965,"id":"Q3541965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903517$CB16919C-B6F6-4C5C-BA5A-4924B5051D1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a771ae42a237bcb8107d0e382b72a089329335a4","datavalue":{"value":"10.1007/S00165-014-0313-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903517$69D45C1E-4DF4-4030-BE3F-A46EDB7D0E39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd84d2e21c346ec157f69c5e21d8c132478a806f","datavalue":{"value":{"entity-type":"item","numeric-id":3184747,"id":"Q3184747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dac553e0f13ae2caf31022f832c39935c5c01a5","datavalue":{"value":{"amount":"+0.8293368220329285","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":"Q903517$74EB3D31-C78E-4308-A977-6D5F036991FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f426185a9b1633a65aa8170ebc8f06a8f9af0c3","datavalue":{"value":{"entity-type":"item","numeric-id":3192231,"id":"Q3192231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba163d7d05d1b58929b639940d6c945ff1424b7","datavalue":{"value":{"amount":"+0.7835202217102051","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":"Q903517$9CE49024-79C8-447D-A83A-157592F8AA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee72a226fea07d361987e60f7f6e85ada2a12512","datavalue":{"value":{"entity-type":"item","numeric-id":2894550,"id":"Q2894550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4aad5de0831f8195244bf929f97a50bdfe3078e","datavalue":{"value":{"amount":"+0.7695396542549133","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":"Q903517$DAA9FD0E-0246-4833-AA1A-76BDF6D54CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954fc7ab18a16d28c03dac3caa4d29e93cb716b7","datavalue":{"value":{"entity-type":"item","numeric-id":5404179,"id":"Q5404179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bed97f35cdd5f4d09567b89e9f56aefd27ca99","datavalue":{"value":{"amount":"+0.7664380669593811","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":"Q903517$AF1D361E-AC89-4CDD-8DBF-4C9EA98BEB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a24fde7c51d3f40206e6c25554c4de252d030e","datavalue":{"value":{"entity-type":"item","numeric-id":2918986,"id":"Q2918986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fe40381c3497ca49ba0ed8d3ccc1fc03f47df4","datavalue":{"value":{"amount":"+0.760442852973938","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":"Q903517$4C76D87F-2983-4C75-BB25-7EDBF20E8DC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for model transformation verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_model_transformation_verification"}}}}}