{"entities":{"Q1663990":{"pageid":1674731,"ns":120,"title":"Item:Q1663990","lastrevid":68223687,"modified":"2026-04-12T22:15:17Z","type":"item","id":"Q1663990","labels":{"en":{"language":"en","value":"Verifying graph transformation systems with description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6924822"}},"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":"Q1663990$225B28F3-21A7-4B4A-8FC3-ADC714FE93C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8d08aea8c68ea8c238c072f473d24e79d9377b5","datavalue":{"value":{"text":"Verifying graph transformation systems with description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663990$DBE0E4AC-9D19-49B3-ACFF-21D1901F2753","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0f08096b2f03a625678dea21159240a62992fe8","datavalue":{"value":"1394.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$2D677E72-5F8F-46DC-B603-601E79A262C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f30c453c1191bd84dae3239dc99b1b61f6dda44","datavalue":{"value":"10.1007/978-3-319-92991-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$C3DFD4CF-340E-4EB3-97DF-B74CBAEB848A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"439ca872d127c655da8792c59cdd3857b359bb23","datavalue":{"value":{"entity-type":"item","numeric-id":1663988,"id":"Q1663988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663990$A6740CDC-30CE-4E76-8763-8BD18A2FBD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59de4dec21386ca0323d0bc61658e95d7735b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":912604,"id":"Q912604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663990$B83D1604-5D98-4DA8-9090-697A01E56FAB","rank":"normal"},{"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":"Q1663990$D00D325F-E555-436D-AE26-9B6C6AF26C79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13cdd6edc13ae30df49ead881dcc6c954c3f5ea5","datavalue":{"value":{"time":"+2018-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663990$B3670A30-D394-42EF-888E-311763A6B3FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$CC8E7EA1-6992-4381-B728-90153EDEAB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$CE9BC950-9688-4D0D-A278-FD7AE4BD5777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$5FE2EEE1-2DC9-453F-86B1-B83BEF6CC48B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f14d32d987ef2873f2d60857b3c75abcedb11c84","datavalue":{"value":"6924822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$3B66EA71-DB5F-41A4-80B7-664B5BC49187","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":"Q1663990$C7B4DF6A-ABD0-4200-B8DD-D28FE4A033CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d6015ff7522999ed02bb8372f5d21daff623251","datavalue":{"value":"https://doi.org/10.1007/978-3-319-92991-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663990$2B9928BD-21D5-4B97-B1D8-006FED30DF3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40f15feb225f57e629fd461e3871ff87f8d43b4c","datavalue":{"value":"W2805988959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663990$64B53892-7516-4CB9-BABB-20F8FA7DE816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da1e7792fd6f088cc371fc0cfb59ddd363b088b","datavalue":{"value":{"amount":"+0.8150315284729004","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":"Q1663990$71EBB15F-0586-4EC5-9E35-3A47F48CA561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3711cb193f5fadd41df4147d332d6e9ae1f6b405","datavalue":{"value":{"entity-type":"item","numeric-id":2292975,"id":"Q2292975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f616f189afaae8cfa831c35621d9e9f4497888","datavalue":{"value":{"amount":"+0.7924841642379761","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":"Q1663990$E6EE0EC0-C673-4B6E-9BC3-9C418BC424DF","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":"b470cccc6a41de04c636349118260e547f6e4bd9","datavalue":{"value":{"amount":"+0.7894583344459534","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":"Q1663990$00ED8156-55DB-49C5-A657-14D75DD1D898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba46771dfad5b264ae5e2e43233a1933c49270cd","datavalue":{"value":{"entity-type":"item","numeric-id":5369479,"id":"Q5369479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181ea467f129677b9af1628ef43a9c44a9b0f060","datavalue":{"value":{"amount":"+0.781622588634491","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":"Q1663990$CE8B9810-16CF-43F1-AD24-3C8A5382237E","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":"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":"Q1663990$28A2FE68-D739-4D05-9D2F-18841230A7EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying graph transformation systems with description logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_graph_transformation_systems_with_description_logics"}}}}}