{"entities":{"Q5111899":{"pageid":7141473,"ns":120,"title":"Item:Q5111899","lastrevid":41227664,"modified":"2025-04-21T20:22:34Z","type":"item","id":"Q5111899","labels":{"en":{"language":"en","value":"On the Decidability Status of Reachability and Coverability in Graph Transformation Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205327"}},"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":"Q5111899$0D47E015-9796-45FC-98EE-8F0BC2D3B092","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fc2eb293fe45bcf5c592a811d12a5378ecef22e","datavalue":{"value":"1437.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111899$C158778A-EA49-4E5E-B870-612E1D0187E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111899$55E89695-198F-40D9-9CB8-5A44BDFC7DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111899$A1F8A363-58EC-44FF-B989-B874A9ABA045","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":"Q5111899$601B6540-4642-438F-A155-A6D24018EBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111899$1B8E0668-AFCF-43E5-A9A8-2F7ACE44563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a17a7f703fa591ad504d232694045300ba42370","datavalue":{"value":{"entity-type":"item","numeric-id":729811,"id":"Q729811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111899$B24469BE-8BA1-4655-A31F-CC3D5CFFBB3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111899$306CD250-2BF2-46A2-8DB4-3A6015416D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111899$B4894E76-F8F3-411D-996F-3C2E7F9B299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111899$0F482FC6-2A4B-44E1-8058-DD5CCFDFFF0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3c2a40acb657e65bedd2db644c3512e1372b918","datavalue":{"value":"7205327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111899$319A83B5-FF82-49B7-871A-462B26820228","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111899$991A7C22-966D-4E6F-8470-EDEDF63A8F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111899$DF1CE0C1-9440-4BA2-9805-6607DB0C96C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8d548f376d15a60aced985ef2c3c6433bc64e4","datavalue":{"value":"graph transformation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111899$EE75BF3F-1AD2-404A-A10B-A15F8D6241D6","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":"Q5111899$6B0D5AEF-E0E7-4A90-89F9-F23721343DA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5f6c3f0583dd036a6ba30a99793c541301e673d","datavalue":{"value":"https://hal.inria.fr/hal-00752446","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111899$51CA44C5-CA82-4DEC-A3E3-76B65A115071","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5651bc8e51f2686a940e96a6baea8066d63b290f","datavalue":{"value":"W2275786693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111899$E40E3BF7-4194-4AFE-A68B-5251578D2EC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b2e99b9dcd50069a74f4857d6e61a34fbf44609","datavalue":{"value":{"text":"On the Decidability Status of Reachability and Coverability in Graph Transformation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111899$F57BC86E-770D-4D1A-A75D-1148FFC5EA9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348848de3142ddd8bd06d49bba080612da11e880","datavalue":{"value":"10.4230/LIPICS.RTA.2012.101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111899$564C1B6A-D496-4F3A-9036-214D5F7D5671","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240d69b9f9dfc7af946a3bac1a27e48daac001e5","datavalue":{"value":{"entity-type":"item","numeric-id":6487305,"id":"Q6487305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e57f78bbb0489901fb734282c61e62e93c922c2","datavalue":{"value":{"amount":"+0.9014552","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":"Q5111899$E6777343-00D7-4A45-B242-B9EBA88660EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ce73149f1b65f2402ac5d8eea8c1dfeada37b2","datavalue":{"value":{"entity-type":"item","numeric-id":2947215,"id":"Q2947215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbf6a5e8cfeef90830c9b28a60aec8788ebd2ee","datavalue":{"value":{"amount":"+0.90025127","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":"Q5111899$53B3B44F-59EE-4FDC-AE22-2DDDDAA6AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23b302b17a0058a5b9a997e41c4db6fb6be87cb","datavalue":{"value":{"entity-type":"item","numeric-id":5403457,"id":"Q5403457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d39ef4a1e8939dcaf4ab4b8f1e916a2a264559","datavalue":{"value":{"amount":"+0.8957803","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":"Q5111899$C4FD73CB-2431-47B3-9A58-7089D61CFB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3eb47bca943826e3369975008fc18cf5b4c52f1","datavalue":{"value":{"entity-type":"item","numeric-id":989484,"id":"Q989484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a938c87c1a358221ee073872c1a2095a820a17c0","datavalue":{"value":{"amount":"+0.89501566","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":"Q5111899$4C0EA06B-90A9-4F54-841C-74762FBE98A5","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":"f30f520e98f9d8e99d7d842c4c3e1398a29695f4","datavalue":{"value":{"amount":"+0.8848907","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":"Q5111899$F6EC3608-C10B-4916-975E-8DBBB04325EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a73f0fab03475355160b1a33e0685f6c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0315285a9160151b40efc62fc0465fc87295fa","datavalue":{"value":{"amount":"+0.8831048","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":"Q5111899$7CF537EB-8EBE-4354-84F3-4BF88367DF76","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":"70ac1813940a1dd6f4a7141f3e923c4da50af16c","datavalue":{"value":{"amount":"+0.8788821","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":"Q5111899$FE0AF5AE-5E0C-4E99-93FA-03D03C22EC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f59560a8b4cce1553702a86f541d00e3acf12c","datavalue":{"value":{"entity-type":"item","numeric-id":4438762,"id":"Q4438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb7cd86195a1d62de89eb0c17c1d1d055492f1c","datavalue":{"value":{"amount":"+0.87861997","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":"Q5111899$FD8FF9FE-50EB-4323-ADCA-77AB877A5DEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111899"}}}}}