{"entities":{"Q2870320":{"pageid":2881040,"ns":120,"title":"Item:Q2870320","lastrevid":51906809,"modified":"2026-01-20T12:42:46Z","type":"item","id":"Q2870320","labels":{"en":{"language":"en","value":"Modeling and verifying graph transformations in proof assistants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247703"}},"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":"Q2870320$E116A753-23DF-4D60-A405-E100E0C5D1DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6476c06e2119a186e60d68e9c257c1b1e4a1bb9e","datavalue":{"value":"1279.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$F4FB9E08-7138-40BD-9900-F4B16D3D089C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ebd351a4767d5682cec3f61fe0fde33df9f48","datavalue":{"value":{"entity-type":"item","numeric-id":1663989,"id":"Q1663989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$5FF020AB-F4C6-40EE-9C9C-45CA2FFBF1A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$6298B66A-9C66-4D8D-A161-257B90D1CA62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870320$F3E130E4-CA06-432D-91EA-A476CF8C1E64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$43A07643-994A-4302-BC7D-9841D9079104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$1143A65D-963F-4C54-AD89-91A0E15FF074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$FBD24916-69A5-457D-A54B-0AF1284316E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9545926952b2b8cd34ea7b444c97dac0414828e5","datavalue":{"value":"6247703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$60377E0E-84CA-4D71-8302-2D481CCE155B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a91fd41af6d989c2540a8aa35062b12cfa26c30","datavalue":{"value":"graph transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870320$988F301A-0EDF-46E2-9710-247F66A410C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870320$FF84EBA2-1A3E-47ED-9D08-FD82AABCEB84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$4D41A157-CFBF-4756-BB82-5DD0571A0C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89c436defcd226981117335a9c52fb20fa5ce8c4","datavalue":{"value":{"entity-type":"item","numeric-id":16625,"id":"Q16625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$09CB9234-D758-4EFE-92BB-B91419342C29","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":"Q2870320$8B36BD3F-30E9-4C68-B1DB-7E48BB5B3D45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a074e19441cf0ca27bc3e1954d7472c22ca952b6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870320$397731E3-55D9-4294-BCE3-1E0AACFC6E68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4590eb3ce6cd71ee871ae83426f06ab891bfe136","datavalue":{"value":"W2159151953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$45602268-B9AD-41F7-9959-04FA51DBACA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc23e3b901610c59b53d4c7d357a311f296c04","datavalue":{"value":{"entity-type":"item","numeric-id":5284548,"id":"Q5284548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$99860FDA-2499-4315-8981-DD2A875E5718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$ABDB241F-A0E8-4D5A-8F58-14DCE0BABF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$EBFAB14F-D1F7-4431-955A-3B8DD355F423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$7E13122F-115E-4184-BBA0-DC73C06331BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b2ea258c10d1fa52e22cf27b92d8df93fb786d","datavalue":{"value":{"entity-type":"item","numeric-id":4037331,"id":"Q4037331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$7FF72930-BA93-4A2D-A4C5-9A3BB97B91EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91259d79d392a3d47849a780eaf2c5a36deec384","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$51A95FAA-7429-4B39-B03B-2046A4021836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de44a62c656a0c1af687b1a73de7b22cd21c8706","datavalue":{"value":{"entity-type":"item","numeric-id":3507360,"id":"Q3507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$4E943BA2-F40D-4F3F-B015-F0359BC6B666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$873BC706-0854-4873-979E-72A530B0BF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e960d98de80954b9ec32fb5001729a0d785cd21e","datavalue":{"value":{"entity-type":"item","numeric-id":4647844,"id":"Q4647844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$60B65390-17CD-4E45-B9AD-B3BCF5C4958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cac65d04457564c7b875dfd48a85b2589380ed","datavalue":{"value":{"entity-type":"item","numeric-id":4923506,"id":"Q4923506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$7C8A3E55-7831-464B-AC4E-23078048D39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01893115d15c8b27d6dde25c7a72d7981bc7bba4","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870320$BFE629AF-1FBE-4D64-BCEE-DA3B1A12C907","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"145a91ed800f0347a6c8138c2ca31839640bd2d7","datavalue":{"value":"10.1016/J.ENTCS.2008.03.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870320$3CF9D783-FC8B-476E-82BA-7A85889EBB4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27326e0f5a0c7ba30710abbdfc9d89baa7f1df84","datavalue":{"value":{"text":"Modeling and verifying graph transformations in proof assistants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870320$858D81B1-65DF-4371-8882-F8FB54E932EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2823fb70eb59cc5798a0dbcc32a75414250159aa","datavalue":{"value":{"entity-type":"item","numeric-id":4585009,"id":"Q4585009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c95664d64cc6981b8822374aab04090fa6f67c","datavalue":{"value":{"amount":"+0.8058264851570129","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":"Q2870320$7AE9D422-37D1-4C7B-94C7-E75D61626F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae368dbf7b45b06e91bc2aab28433ce0cf0c0d02","datavalue":{"value":{"entity-type":"item","numeric-id":3179408,"id":"Q3179408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b95d1e2a6077b3f6c15a1413c9a68c8ff2eaed","datavalue":{"value":{"amount":"+0.7663573026657104","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":"Q2870320$0DC43790-7EC4-40C6-A98B-2AC45365ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67916a59cf519ee95390dbd2176ad5b631cb5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1663990,"id":"Q1663990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f842faa1448b67d735764e7ff0ed639f8395d4","datavalue":{"value":{"amount":"+0.7656652331352234","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":"Q2870320$78921532-7A74-4CE1-BE43-20861B8B74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50bae283d59c5204d880c36a6be97e4855c84d1","datavalue":{"value":{"entity-type":"item","numeric-id":3098055,"id":"Q3098055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ba657cfd20580d9314a7ba50b28156cc99bde1","datavalue":{"value":{"amount":"+0.7628813982009888","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":"Q2870320$B9E527C7-F7D3-434D-B23F-8F6BADD371D9","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":"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":"Q2870320$55501C8F-E272-44EB-AD7C-B93B3A0A4651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870320"}}}}}