{"entities":{"Q2847775":{"pageid":2858495,"ns":120,"title":"Item:Q2847775","lastrevid":42264965,"modified":"2025-06-03T21:42:04Z","type":"item","id":"Q2847775","labels":{"en":{"language":"en","value":"Verifying a behavioural logic for graph transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207578"}},"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":"Q2847775$D2397B2B-8A43-475F-9756-C0B5062527E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bc18976d1475307942b832551bb45ce1f55b960","datavalue":{"value":"1271.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$C44010D5-51DE-46CA-99ED-0AC48D495695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847775$222FE9E3-BED6-4598-BB0E-B947CCEDDFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847775$473ECDF9-0D38-4A84-A1EA-671803E1719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847775$C90710AD-54C4-49B8-8EE1-634DFB30D87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"234b0cc784471223b6ed84851c0d96bf4032e580","datavalue":{"value":{"entity-type":"item","numeric-id":701723,"id":"Q701723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847775$BDA6A880-300B-4558-B805-E7172AF9200C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fc63ddad5a8e5398cdc0fb5eaa54d5d147370a1","datavalue":{"value":{"time":"+2013-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847775$EF50D0BD-F83D-4C1F-9789-C0DCE8EE460C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c12706b65d2d1e8d50423cfb55c267f37b5860ce","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104051400","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847775$EA06ABBB-12E1-4475-A809-C5C61144DE29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$1FFA6D14-305B-441D-B50F-9A61C5FF9B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$F6E0DF92-9134-4469-B90B-01739D449864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$27B7B564-0B61-4CCA-8929-BD84F8D761C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$D249D62B-107A-458C-AC07-B13B31A8C553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$176A0730-66F4-4435-8A85-78A68F28B51A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2fab8042b1b1a47e7bc4c6241fc837839167da3","datavalue":{"value":"6207578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847775$0560B670-F80B-4273-91E9-79BD78D1FC9A","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":"Q2847775$90FE2EF1-84B9-46C8-96EC-E09562197064","rank":"normal"}],"P1643":[{"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":"e970d6e7cbc65b59cfb6a8a3fe42180d647d3fd2","datavalue":{"value":{"amount":"+0.9528717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$C11FBBE4-3F6C-41DC-AF33-2573F0B4B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b58967976a5fb64604a5881c558e36ae48e66a8","datavalue":{"value":{"entity-type":"item","numeric-id":4931307,"id":"Q4931307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795d0d6eee9af7722f00eb4af860a1ffd3663c65","datavalue":{"value":{"amount":"+0.92915165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$BDD6FE77-0503-4603-807B-85F2275953FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e98e2bfd65417d29651afdc08adf17ab3266af","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e580b405f18be4b0590dca42ded6e8d99ef684","datavalue":{"value":{"amount":"+0.9278242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$C06831D5-3801-41EB-A2CE-2C386DFD6132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb088fa548506288e5dad68fce350fb62b7f065a","datavalue":{"value":{"entity-type":"item","numeric-id":3540407,"id":"Q3540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ba5c134ef871d3f9a1fe5d319b385c168ce10b","datavalue":{"value":{"amount":"+0.923172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$CF003B86-BDED-46F3-9E77-43144FCE63D0","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":"4423daf091f0f28316b3820b09eed23fa5084d75","datavalue":{"value":{"amount":"+0.9226185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$52037520-0B74-446B-B8EC-2906088C4778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8811689ae8723a403f8a845a2f80cfb85de0ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3507354,"id":"Q3507354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc275d29c1d516fa6794af98e1535ed95c0ffb9c","datavalue":{"value":{"amount":"+0.91818786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$F3D0F42D-2779-4076-B01E-09AA2B1A6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841964ed0dc699422f88da66e1eba9e70121fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f06341befb62450fd218d6ea17232c1c81e312b","datavalue":{"value":{"amount":"+0.9175399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2847775$4BCE65A9-A0A0-4403-A596-9E1649E59E0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98a6420bbbdb8951fa4b2c15508be9903586ce17","datavalue":{"value":{"text":"Verifying a behavioural logic for graph transformation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847775$02F65176-A9B6-4348-B7FC-685B474DD132","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847775"}}}}}