{"entities":{"Q5403457":{"pageid":7433031,"ns":120,"title":"Item:Q5403457","lastrevid":75508237,"modified":"2026-04-19T07:36:47Z","type":"item","id":"Q5403457","labels":{"en":{"language":"en","value":"Towards a systematic method for proving termination of graph transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274287"}},"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":"Q5403457$D6BC2EB0-C5D0-4791-A5E0-670BA7DAAACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cf9cb065ad8c4e9338170d4dbf8de52941266d1","datavalue":{"value":{"text":"Towards a Systematic Method for Proving Termination of Graph Transformation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403457$F8EEB569-6874-4F48-93F2-00D69952C182","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86209e4ee596b9e9919c5bd6013a5ae672267fed","datavalue":{"value":"1283.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403457$0914CCD8-58C9-41E1-98A7-3C0B155D7B4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d02beee11ff675aec575448839b0cc3f812fe7f7","datavalue":{"value":{"entity-type":"item","numeric-id":2911623,"id":"Q2911623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$023F319B-254A-487F-B5DB-DF61C8E9E49F","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":"Q5403457$B19F5894-240C-489F-BC62-BE498E69165B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403457$3F9A3E17-4331-4ED3-934C-912A0D8B001B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403457$8288F4AB-6467-4C2C-B331-5A12BAE313CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403457$26FC4CC4-58CF-4D23-ADB5-3CB11598C09A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c5d3f15020ebde62dd83aa592d3592574dd7ed1","datavalue":{"value":"6274287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403457$93EE1A94-0F4E-4A5B-8D2D-968BE264EF1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403457$B6FD4617-D916-43C5-B5F3-143BBFA5F005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403457$430EA6BD-EE63-4FE0-AC0F-2FAF0B7F0863","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":"Q5403457$0101E974-099B-4141-A9F7-54941F66985F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9d3110b1b799d10e5b941536ae253ad9b215d2a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.072","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403457$8F41DCC5-64EA-4A11-B11C-0EB4A7509F9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa78a61e612821b51d0530ebea6cf213fa5b40a1","datavalue":{"value":"W2097428454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403457$49F7B1EE-0AA0-4B91-B409-2531ACE02398","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$4E6E0351-DC47-4442-8875-572684B09553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8430936836fb61b07391ee1288fa8ee174c2459","datavalue":{"value":{"entity-type":"item","numeric-id":4435867,"id":"Q4435867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$278028A3-2591-4F0F-A5A5-74CBA3F4DB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e893a22b00868b6c784d8a2cb0494f6f11b10b78","datavalue":{"value":{"entity-type":"item","numeric-id":3527309,"id":"Q3527309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$5C1AC301-8FFC-4DD6-BEAF-6E8DC20E5353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e38aa4bc76e8e527e2d9ede480588430640c74","datavalue":{"value":{"entity-type":"item","numeric-id":5316443,"id":"Q5316443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$0ADEAF5B-0807-44F3-A657-D7B45B09100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b72966a319699b998b4693b5e56bc40dadff2","datavalue":{"value":{"entity-type":"item","numeric-id":1762560,"id":"Q1762560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$820DA7B9-6F22-487D-BE76-1CAD4AD2808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f9918dd24d68d6a8b0715c23196dc11eb6c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":684560,"id":"Q684560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$ED318D9A-60BF-45C6-8E09-7506B16F0E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4325f135fc50f5625c26dae4bd16210a918cf6d","datavalue":{"value":{"entity-type":"item","numeric-id":2867892,"id":"Q2867892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$16425511-1D61-4540-9136-8BF28772FAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85feacd60f9c94ea7a4a373c7b13348f69bc04d6","datavalue":{"value":{"entity-type":"item","numeric-id":2712584,"id":"Q2712584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$50A9F045-7E78-48FD-ABB0-63334C397BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116fe0a2264a42c8d2db1adad19fd880054f1a19","datavalue":{"value":{"entity-type":"item","numeric-id":4594237,"id":"Q4594237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$D52C3B5F-9E02-4E22-8F78-A6E9CBCD5400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99adda52971fbbbaa6ee6aa8c6ea0d0a46f58897","datavalue":{"value":{"entity-type":"item","numeric-id":4923548,"id":"Q4923548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$0E698065-86BB-425F-8B2E-1D436B2C8DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e42e850fa3e9b85ab3e6b370158d6e24a8337a0","datavalue":{"value":{"entity-type":"item","numeric-id":3837998,"id":"Q3837998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$87A5F989-18ED-465F-A02F-63A0FE24B5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$D2A2C822-9FA7-4D26-BF34-204CE58B9370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61684618bb074e7d18d9e6495d60a2bd600546e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541965,"id":"Q3541965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403457$D2B30360-F620-44C4-8475-61C5FAB20D33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d03f73987a466924cc2e675db160db6429d92782","datavalue":{"value":"10.1016/J.ENTCS.2008.04.072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403457$5F3A6F50-FA4E-4056-BCB2-76BA1FA045B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e825d107b3d3cf370e65b19a966b02dd4ddd8739","datavalue":{"value":{"entity-type":"item","numeric-id":3190160,"id":"Q3190160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae489d0631bc5d48692d23b664cb2ce86800e3e","datavalue":{"value":{"amount":"+0.8924665451049805","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":"Q5403457$7B538846-E990-4B85-A7B4-B03DFCD2869B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e4b2bd63108513b010a0ee483bf22b49d70d2","datavalue":{"value":{"entity-type":"item","numeric-id":2947210,"id":"Q2947210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b65d9460d2eaf256ef1f7bef832bf176e8d625","datavalue":{"value":{"amount":"+0.8189976811408997","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":"Q5403457$30211F21-107A-4345-BC0C-CAABEB661CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a982e36ca1f82162f1b32cb0a34272dd6bfc4e","datavalue":{"value":{"entity-type":"item","numeric-id":1708192,"id":"Q1708192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6360b0c13d5936a3c41f9643eb9cc4487c7e65","datavalue":{"value":{"amount":"+0.7942035794258118","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":"Q5403457$394422F7-4602-4EC8-B7CA-F869AFDF8FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c6808d9a81fa35e7da110f65edc4202e00daf5","datavalue":{"value":{"entity-type":"item","numeric-id":4931316,"id":"Q4931316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914c71d7f8856c3348b97fb91daf51b2c47b91d9","datavalue":{"value":{"amount":"+0.7828561663627625","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":"Q5403457$5EC83128-2B08-426F-B5D2-0FAF34DAA821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52c61a66b7b83766df4698cc7db777f5802cb25","datavalue":{"value":{"entity-type":"item","numeric-id":3837998,"id":"Q3837998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ed65920887140615e52cefc3d768529b374edd","datavalue":{"value":{"amount":"+0.7743600010871887","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":"Q5403457$94F63BC1-B780-482B-82AF-CE493ACA982D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a systematic method for proving termination of graph transformation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_systematic_method_for_proving_termination_of_graph_transformation_systems"}}}}}