{"entities":{"Q6635513":{"pageid":14246665,"ns":120,"title":"Item:Q6635513","lastrevid":95887313,"modified":"2026-06-05T09:57:25Z","type":"item","id":"Q6635513","labels":{"en":{"language":"en","value":"Formalising the double-pushout approach to graph transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941274"}},"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":"Q6635513$5DEE9B4E-C393-4C3F-9305-F80F2B05BB86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c179005e3cac2c22e149d54d194c842a2cafd09","datavalue":{"value":{"text":"Formalising the double-pushout approach to graph transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6635513$B9E21F5B-4F86-4E84-A241-F3D6BE9CEDC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99b6894e19bc389a1dbc1034ff4e4dfd56bc4b09","datavalue":{"value":{"entity-type":"item","numeric-id":6198041,"id":"Q6198041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$94BC7D92-3B0D-49C7-ABA4-536D869A7EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$CDA8B921-74BE-4DD9-B5C3-EBCA9EC254BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$8D849F1D-446A-4ADE-B51E-3DA8EB8308AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6635513$179E0FED-9117-4BC2-BF4E-DCF0CFCA5894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635513$AC6E2691-1A45-4E93-A11F-2E068EDFACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635513$567F4801-50D5-4996-B656-E6B9533725C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57603af409f46dd35967434abf287c873b34257b","datavalue":{"value":"7941274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635513$D6989D2D-3ABD-4F6C-BE03-3574D949F19F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e24743fa8b32b081f850486f1f91c3ac9b8602","datavalue":{"value":"double-pushout graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635513$BB4C3F1D-7AAE-4C3F-B8F8-CE29BCC3488D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635513$0B456FF0-B317-4540-935A-07561061ACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc45332a8e25131f9a233069b95920f8e12f083","datavalue":{"value":"uniqueness of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635513$4CD87C2F-E676-4DBB-AAD2-D3FB4399F170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635513$90FE020A-0808-4651-987E-BD559983F6BF","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":"Q6635513$9BEDE15F-9664-44D8-9FB7-E47E6F392EDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$9E1FE905-C6C6-43E2-BD87-21ADD9425FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972cfa1f342f0308861531123dc14ef8f72b5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":2358623,"id":"Q2358623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$1C25A669-6D4D-469B-A4DC-C37B7C3D55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$E4E18E27-9DE5-4199-A85D-C42329F75438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36d7d97026cd553890bf8bf659121a9c590144","datavalue":{"value":{"entity-type":"item","numeric-id":4122833,"id":"Q4122833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$4E905776-38A3-4A6A-AAAA-0FDB6DD3EE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127ee72d1d7ad2f1d389ea622790e729ce06b376","datavalue":{"value":{"entity-type":"item","numeric-id":3868784,"id":"Q3868784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$63FC70B3-631C-4515-83AA-3F2DFC3891FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$ACC29487-E9A6-4F87-BB65-6089D05B9060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$D9837E88-82F1-42F1-9925-8FA09189A9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$3FCA2181-F0B3-46F8-8E68-5B6193194E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe8b98097136d65813da62e5a484a5f7126589e","datavalue":{"value":{"entity-type":"item","numeric-id":2762625,"id":"Q2762625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$D754E477-F639-4148-98CF-22750CC87A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$13D82FE3-DDD5-4793-81E7-96390F882196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0478213a2768e15885bd259a974294cbcf32b5e0","datavalue":{"value":{"entity-type":"item","numeric-id":4619818,"id":"Q4619818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$5AF818E3-D52D-4908-85B8-4ED8C6EA698A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$22A8F765-2FA7-4CC7-8415-A5DCD55DD1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de91b91539e6dce8e5fed1bf2118f8815976390f","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$AFC093EB-6AA8-402E-AF11-5204980E42DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$DC04292A-1804-4277-9D4B-D79B76DADB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$A86F9ACE-2402-491D-A83A-1F0D179897A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20147f0be83a84cdf868f47b52906c90af53722","datavalue":{"value":{"entity-type":"item","numeric-id":5015376,"id":"Q5015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$19CC9FFC-2862-43D5-9BEB-1FF827255B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5de220317fd709a7e63acdecfb92f5c42b492","datavalue":{"value":{"entity-type":"item","numeric-id":2280211,"id":"Q2280211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$C8469048-DFC4-4057-AA2B-4FA579618C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9c71394206aea9bb4901e11dd2a9fad0e915a4","datavalue":{"value":{"entity-type":"item","numeric-id":1215276,"id":"Q1215276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$A0906F36-B352-48F7-8211-3C7C9B8B9D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dab2790c64ebb9c85efd596249e96d963b1e3953","datavalue":{"value":{"entity-type":"item","numeric-id":6049243,"id":"Q6049243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$D8CBC826-566A-445F-A0CD-13A6A1D74039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f402f7f90058c67c4f2942acfd0c49d1cc7310","datavalue":{"value":{"entity-type":"item","numeric-id":6635513,"id":"Q6635513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$80579B6C-E2CA-4815-B51A-4AFC55601355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0241c9d1251aa3c7a87a77cc47f27a6893ba3980","datavalue":{"value":{"entity-type":"item","numeric-id":6535510,"id":"Q6535510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$0F7C0102-F6CB-4C23-BE49-491C236EF570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7ed3d7b7fd15c58ead30f44cff87ebaa43ba41","datavalue":{"value":{"entity-type":"item","numeric-id":4585009,"id":"Q4585009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$F2F2CD2D-0220-4B4F-8D99-80574CCF0156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8721145a13cff8f7dc8b33f656e2da5938bcc22f","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$D065380D-F43E-4067-AEE5-D10EB73B0A2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42e3b71c36ebcb6f08447c2d0b837afb1ad94a69","datavalue":{"value":"10.46298/LMCS-20(4:3)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635513$A57BEFF9-E6FC-4B1F-8DB8-7D3B57CA351D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895f01dbe4514afaf4e58308193c557e5a7e265f","datavalue":{"value":{"entity-type":"item","numeric-id":2375439,"id":"Q2375439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6e6005d2bb275a1a888f00be3f36c94f35c9cd","datavalue":{"value":{"amount":"+0.7278459072113037","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":"Q6635513$FF72C9A0-60EF-40FC-B72C-096E8FE66369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ffc7c40a4d82f5ad02c6606dc6862594212341","datavalue":{"value":{"entity-type":"item","numeric-id":6198042,"id":"Q6198042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3748f15ad8e2f7e680699917a86b7ac9aee6ba","datavalue":{"value":{"amount":"+0.7019385695457458","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":"Q6635513$95A9FBD9-70E2-4B0E-9563-390229425B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440cc7b66804a0b34f87033cd509ea2231c83794","datavalue":{"value":{"entity-type":"item","numeric-id":6118814,"id":"Q6118814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbed0bd16544d279195f81c86777d25f91a651be","datavalue":{"value":{"amount":"+0.6917977929115295","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":"Q6635513$43E62116-9FA7-4AB7-B3FF-7BCE5997C283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960f35efe3db0a0acdb283e2f4a208ecf2cd792","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425c046f251a5e976cac491b9d56d66d1090f3d5","datavalue":{"value":{"amount":"+0.691703200340271","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":"Q6635513$DB838113-74F8-47C6-B297-7B6F1A4FBC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2847302b44fc3049c114692a6d76b8371330f7","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1014403ad22c1e7e7bfee52cf901e79d6968fbe5","datavalue":{"value":{"amount":"+0.6873107552528381","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":"Q6635513$00A10EB7-7A5D-47A6-8D98-04FBD20EC5E4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635513$E1C14B2A-B2FA-4BB6-82C6-4D9F2BC11314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising the double-pushout approach to graph transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalising_the_double-pushout_approach_to_graph_transformation"}}}}}