{"entities":{"Q3179408":{"pageid":3190116,"ns":120,"title":"Item:Q3179408","lastrevid":52706894,"modified":"2026-01-23T07:59:45Z","type":"item","id":"Q3179408","labels":{"en":{"language":"en","value":"Ensuring correctness of model transformations while remaining decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667714"}},"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":"Q3179408$4FDEACB2-4F4D-4C76-920B-B34040CBA405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35c37d1a1d905eac6f8da7da871c2c4448132b55","datavalue":{"value":{"text":"Ensuring Correctness of Model Transformations While Remaining Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179408$F4BC1CE4-B416-4699-953C-1A13C4AC35C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5cd0ccf09f265b352e337ea8bf409d8da08d56f","datavalue":{"value":"1482.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$1443B239-29B8-4170-B280-7CEBF86521D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"427c7a8ff16d78697c80b4f6e1eae1160dc86238","datavalue":{"value":"10.1007/978-3-319-46750-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$B35AC4B3-190A-4A1E-9849-D0CA5659805B","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":"Q3179408$C4DBC9EF-871B-4085-A50D-FCC44E1C545F","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":"Q3179408$5F4A27A3-EAF2-44D3-994D-9F0580BD4B7E","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":"Q3179408$B00B3D9C-8EA4-420E-A6A7-6511EAE3DCE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$B2991980-A820-40DF-BD37-BA098B137A39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179408$6854AC00-FDB4-46F8-83C1-918CF000F244","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$3ED1D2C8-CCB4-458E-BC7C-D61B21A94222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$BF78FB0B-F062-4CCD-996D-101D44A1D2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$4F9042C6-04DE-4302-A732-3C22CB6045B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$FE5F2E92-D359-4F1F-93E3-D8666FF3AEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$0C47892C-BB56-4E2D-B224-2BEBE3591A33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79296658f6b4019299afcbc516110873d94a6885","datavalue":{"value":"6667714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$D3E0E000-337B-417B-94FD-166323E8B2E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179408$9406E05F-AC5C-422E-8DC2-3A456EC452C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7df55256f9cbe9c97835b1602636eaf45d4b838","datavalue":{"value":"model transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179408$C2E05BAE-C1C5-4970-95C6-219E99C63125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179408$3C1AA041-028F-42DE-A2EB-791259886304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179408$40398F26-DA12-4281-AE16-2F5D7278F45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179408$B8C762E0-CD4C-41C3-9EF8-BA58FD264EF3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$6412EC68-D1DE-41E5-BAE4-2C8D9E830ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$BEFAAADE-BCC8-4E46-BBC0-17AE69EF8122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d007b8ac7826b3af6e54daf0abd1bbc4ccc413a","datavalue":{"value":{"entity-type":"item","numeric-id":42662,"id":"Q42662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$BBFF7C2D-0F8C-40CE-8E54-40292DFDE041","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":"Q3179408$CF7F3F5D-E934-4362-B1B4-D7E221960BB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e7287a7f103d8a17da8424b2202621a95f14a68","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179408$8A29815F-A4F6-41D9-913F-244BBE8FAB2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d01dbf73e596b46510cf1542ac91a11a174a667e","datavalue":{"value":"W2523485023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179408$4EE909A9-75EA-4A06-AA75-CD5C8935ADB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4e20349bb8d3c9ca17718fc7204ab6e5cedb2","datavalue":{"value":{"entity-type":"item","numeric-id":4608716,"id":"Q4608716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$15212AEC-387C-4B80-8E17-EB0ABF3DB043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$1F034D7E-9FFE-4C31-A3A2-11290A7E6AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$264B685D-0965-4654-A901-AFE5F1DD4E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7051ff9e88a2d669b163e36bd799de76a2caaa38","datavalue":{"value":{"entity-type":"item","numeric-id":4931304,"id":"Q4931304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$D3C0B498-2F65-45B8-B1F9-6894FB129773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600a361606754b3a8ef5b6c52250dfaa45c764a9","datavalue":{"value":{"entity-type":"item","numeric-id":3541969,"id":"Q3541969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$E866B46A-FCA5-4D8E-BEC8-ACA3DF40BC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840faa88e9f9a599dcbb38dcb92fceef7074a614","datavalue":{"value":{"entity-type":"item","numeric-id":5369479,"id":"Q5369479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$1E1128B6-0077-40E9-8E63-DFDC80BFE401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$83B0C1DF-0683-43DE-9AAA-755D4752394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405ffb8c2f49dfb899a592081fcc626c5887e32","datavalue":{"value":{"entity-type":"item","numeric-id":3541945,"id":"Q3541945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$C225C0CF-E5DF-41A9-9B4C-73F6E9316CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$AAFA15A2-E4FD-4CB8-8861-D9405BAFE082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daad9f4e8836a3a040d996b005218b52a210fc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3540390,"id":"Q3540390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$3E347AF2-86F0-4BBF-B86F-67E50FBAEAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$3D1108EB-705F-412B-9956-82DB715A9209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$BCF98E5F-3EAC-4D0F-939A-689AC59AA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d71c3b92ca55baa877bab542d89fc889c93f6f","datavalue":{"value":{"entity-type":"item","numeric-id":972432,"id":"Q972432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$41C289E3-99E0-476E-978F-B0BEDE8B8588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c31f312303bc689e296bdb4da0bfad8164f129","datavalue":{"value":{"entity-type":"item","numeric-id":4931309,"id":"Q4931309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$634F13EC-0E18-4356-B022-FFC5586A97EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7edb9d2328c01d3a952537989723d0f8f5639e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179408$C406B810-E25D-47CB-9699-0468AA2647B2","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":"d258c4cca01114b013d7964a33c63fe7a439204d","datavalue":{"value":{"amount":"+0.7899062633514404","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":"Q3179408$84F097DF-E0BC-4C60-B88B-C2450773AC61","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":"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":"Q3179408$7D75084D-98B9-464E-871A-4753B9D23D43","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":"4377c7940ed84716b7c5951c2b92109f2d2acf07","datavalue":{"value":{"amount":"+0.7521921992301941","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":"Q3179408$2C35E80B-7EF7-437D-9B67-D50CD84D0F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a24fde7c51d3f40206e6c25554c4de252d030e","datavalue":{"value":{"entity-type":"item","numeric-id":2918986,"id":"Q2918986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be69868cd989300b1aaf2edd5f1823353e51949","datavalue":{"value":{"amount":"+0.7445762753486633","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":"Q3179408$F136D716-7C5C-4431-80E3-6481BC85B596","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":"2782ad878d3bc3136baaefddb26042fb45fa75e8","datavalue":{"value":{"amount":"+0.7405232787132263","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":"Q3179408$2E2A2E4E-26A8-4CD8-AD47-A28082C2A576","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179408"}}}}}