{"entities":{"Q3192231":{"pageid":3202939,"ns":120,"title":"Item:Q3192231","lastrevid":80114801,"modified":"2026-05-06T15:28:27Z","type":"item","id":"Q3192231","labels":{"en":{"language":"en","value":"Specification and verification of graph-based model transformation properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348272"}},"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":"Q3192231$7B0A8FD5-5713-412A-86B3-22DA8F2C69BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63dacb357262e14c845241caf52553ab21508bef","datavalue":{"value":{"text":"Specification and Verification of Graph-Based Model Transformation Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192231$0C7BEA10-9922-431A-96B6-8FCB46BD1EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11e16382a3f9579f219759df4b116f872f6dbb0d","datavalue":{"value":"1423.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$0E747E42-89A9-4367-997C-5A1937CC22F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8107bec493349fef0f4ec68a0de63a732bada73","datavalue":{"value":"10.1007/978-3-319-09108-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$ECF1EDE4-E7C1-4BC1-BF55-D0D90A2C10E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"065780d956942a1f4144d1f1a562abfa8d9856cc","datavalue":{"value":{"entity-type":"item","numeric-id":3192228,"id":"Q3192228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192231$6138C4E8-8C8F-4BF9-A68D-88F4C10801B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d08b89e8b8da84145e07384c6238948e9f30f09a","datavalue":{"value":{"entity-type":"item","numeric-id":3192229,"id":"Q3192229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192231$51D5761F-CA43-476C-9995-725D80AB2CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61489ce9723107e7af784e3c1cb94d6374e932be","datavalue":{"value":{"entity-type":"item","numeric-id":1021477,"id":"Q1021477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192231$74729F38-0BE4-433F-B882-E842A33D60BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0380b83b3974d983edbfe0594792ba8b37542c8a","datavalue":{"value":{"entity-type":"item","numeric-id":394963,"id":"Q394963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192231$90A199BA-1DD3-4FCA-BC21-F6DFB4F72D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"674795482c4e5e3c926a60d02bd4940ada5d9058","datavalue":{"value":{"entity-type":"item","numeric-id":3192230,"id":"Q3192230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192231$2E7ED287-16DE-4C8A-AAC2-22D2FCC7A091","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192231$0422F62F-DC91-4560-83E8-303577845274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192231$B8973021-269A-4C50-B5CB-6C0285AF9072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$97CF8C80-F164-44CD-BC97-B2278981E96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$BDE31FBE-1898-45EF-AECE-A850CB74B36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$30E9F759-7B5D-424C-8DBF-EAC06FC11565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b71a1a9d51e6bfd21dcc3785f33b1f61d3599ebf","datavalue":{"value":"6348272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$91CDBE4B-89D7-4278-BAD1-C18AE3B01C77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b08e6bd81d38cfde8512d1c50b6b8ba60f710c8","datavalue":{"value":"MDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192231$7C7AE1DA-8400-41CE-8659-2A3DCEDA8F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7df55256f9cbe9c97835b1602636eaf45d4b838","datavalue":{"value":"model transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192231$3A11B615-2293-45FB-84D1-3A43D296D8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192231$7FEBFED2-99EF-44DF-AA6D-F7560D05610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05adc0a62ba37db92566b79fb4dcae7f32ea844a","datavalue":{"value":"property prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3192231$DF5299FB-B270-457E-A8D3-E9A4424602A0","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":"Q3192231$C460592E-3F21-4320-911F-CB156E809B7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1f04461938dfc9b876f3a712b2c34fab36e77f7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09108-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192231$F0C80AC0-BE41-4CA3-9BE5-87BB198566ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec907d9eafd3668890aef5c08547aac70b7225a","datavalue":{"value":"W45650314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192231$2ED2A873-1744-4F86-BB64-71D08D72B092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deef77837b5962cff1ecb4dc3dda639544b1aa26","datavalue":{"value":{"entity-type":"item","numeric-id":903517,"id":"Q903517"},"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":"Q3192231$DE490B0B-6462-4456-9CE8-E0AF44B9F69A","rank":"normal"},{"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":"a6003357cf241f204092c4bdca8bf27507944331","datavalue":{"value":{"amount":"+0.7788811326026917","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":"Q3192231$1BD9EAB3-15D4-4479-80B2-4AEF09091396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf292353d0ebdecc5d0222388ee1dbead7b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a484b3d54054e89d7f13cb903c7c79968d0a1b","datavalue":{"value":{"amount":"+0.7606807351112366","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":"Q3192231$F296DA67-305E-486E-BFDC-E02EA0CCA447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7df083c043fa7e97377420622b5334011d9bd75","datavalue":{"value":{"entity-type":"item","numeric-id":436353,"id":"Q436353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbf3d36945cbc7545a556df4e14c632a4cda2ba","datavalue":{"value":{"amount":"+0.7543015480041504","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":"Q3192231$20A6E943-80B6-4204-9023-18FC0EFF4E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7040d06ce40179a7105a0f37c1b7dedbafd43d","datavalue":{"value":{"entity-type":"item","numeric-id":1049792,"id":"Q1049792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49be87277dcecb4dbbca708348d3c26c827d8c9f","datavalue":{"value":{"amount":"+0.7522612810134888","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":"Q3192231$0222E644-E3B8-418A-87DE-4E11023E4126","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and verification of graph-based model transformation properties","badges":[]}}}}}