{"entities":{"Q2918986":{"pageid":2929706,"ns":120,"title":"Item:Q2918986","lastrevid":85131752,"modified":"2026-06-03T06:00:02Z","type":"item","id":"Q2918986","labels":{"en":{"language":"en","value":"Towards automatic verification of behavior preservation for model transformation via invariant checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6089215"}},"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":"Q2918986$EC630774-B838-4B27-BABE-EE6D06C2F2D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"273c32bbbb93ee5714fc75acbfc9e032c8e4004b","datavalue":{"value":{"text":"Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2918986$B2EED086-A739-4EC7-BA67-A034895F4A8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b653ebdbbf8cec2e0a1e9c09a3998550cfc38153","datavalue":{"value":"1367.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918986$3E705367-DC1D-4B51-B26C-42226671044F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81662c16411b7f10e5f39db4e75334b6c5251316","datavalue":{"value":"10.1007/978-3-642-33654-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918986$43DFE348-0105-4C7C-A872-D7D07F0B7FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918986$3DD394F4-AE62-499D-940F-197A17D0B24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e0d716fe761e50ebe2a87a6a363c057ffbb434","datavalue":{"value":{"entity-type":"item","numeric-id":418013,"id":"Q418013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918986$12D6E103-D1BF-4460-926A-B3D751AD2819","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918986$D7BD951C-EBA3-4E04-8694-9FB5BF652F09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2b18871b9dfe4cee59e4785688f95ef52679714","datavalue":{"value":{"time":"+2012-10-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":"Q2918986$98455DB5-FC60-4CBC-9D24-5829CCAC49DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918986$B33A8F91-CC7E-4C0E-8CBB-FB348BC91137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918986$EE318ECD-72EA-4496-990C-942EEE17FDDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a676aa64f955724a96d8ab6e586be109932d1b8d","datavalue":{"value":"6089215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918986$BF7A3006-336A-4625-AFC0-575D50EBAB6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2918986$A500E7AF-C701-48C2-B053-CD1202221DB8","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":"Q2918986$32144966-EC10-43CA-8B11-69E1F78DB188","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"072f2e8a77b9fc7c316affecae7fb214c17dafab","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33654-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2918986$8909C55D-ECCD-419A-AA39-7745E46D61EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"077a763ea2a6c8e22f90aa2e5778da438950e4d9","datavalue":{"value":"W200511348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2918986$F3DA3921-D148-4918-94EE-AD30AF7D80E5","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":"685e72b7e6fa5dc1cec8ac850963eb5811bdafd3","datavalue":{"value":{"amount":"+0.8111730813980103","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":"Q2918986$9A7CE735-5E5E-45DF-936A-076061542199","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":"0efb5a6a11431ffb73dc5ec1b64e001e2bf2184b","datavalue":{"value":{"amount":"+0.7997002005577087","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":"Q2918986$033779C7-AC01-45CD-8092-4379E6D42DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1019349cc824d6cb08db6d93cf075dade84b3cb3","datavalue":{"value":{"entity-type":"item","numeric-id":682361,"id":"Q682361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c44233fdc74b7892c012bd8781d505b1e36c4ad","datavalue":{"value":{"amount":"+0.7744135856628418","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":"Q2918986$41E66FD6-774A-438C-A6BE-679DFB4B93DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bfc9442c30c7439ca3ab61fe3a96f53bbec2b4","datavalue":{"value":{"entity-type":"item","numeric-id":3540398,"id":"Q3540398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee0cca4915e369cd87e16388e4b2785e8db5543","datavalue":{"value":{"amount":"+0.7672994136810303","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":"Q2918986$6728CC8B-CBBE-4403-83B8-54709AD60E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b9f55b1c7af28607b88897ae9f7621224a791b","datavalue":{"value":{"entity-type":"item","numeric-id":5740377,"id":"Q5740377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2977031b452d7c38e550161a7b18430c65eb7498","datavalue":{"value":{"amount":"+0.7654644250869751","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":"Q2918986$25542647-2325-4328-B80D-95EAE6F45BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards automatic verification of behavior preservation for model transformation via invariant checking","badges":[]}}}}}