{"entities":{"Q4931307":{"pageid":6960889,"ns":120,"title":"Item:Q4931307","lastrevid":51096989,"modified":"2026-01-16T15:56:37Z","type":"item","id":"Q4931307","labels":{"en":{"language":"en","value":"Verification of graph transformation systems with context-free specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795656"}},"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":"Q4931307$8F07E854-E5FD-43D3-8650-188456159AE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a281c9b55bf92a975a7fdac59e057e668a258314","datavalue":{"value":{"text":"Verification of Graph Transformation Systems with Context-Free Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931307$DB50BE30-AF0B-44C2-AFAD-4CB345F62346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"459c867a6ba482f6b11317c0b785f4c76474c8c3","datavalue":{"value":"1306.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931307$BF1BE490-2C3D-44D7-B790-9BBB377783C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6735f802c4e93fffa87869c0b1ae406c6518b9","datavalue":{"value":"10.1007/978-3-642-15928-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931307$34D85B76-F6EF-4452-B7C6-91F290DE85B3","rank":"normal"}],"P16":[{"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":"Q4931307$E9E469DA-0427-47D8-A8E0-5ACD860CDA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931307$E95D9002-B526-4224-97EA-8E6DBCB0DB08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931307$4A7FEDEA-7195-4946-8CBD-87FC9320C6B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931307$C2A0F249-1339-45A3-B61F-FC0EC6BF2072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931307$A73C4785-B46F-4BDE-8195-2195EAFA4CF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d81fdb60ae55ed29fb246e244bd680b3daf07e","datavalue":{"value":"5795656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931307$77D340DB-2931-4130-9389-4A177D4BC548","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":"Q4931307$D6E31A36-D729-4559-B108-1BB4A5A637C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"301a0121d0cc95d9fd053c8472aa0d02797bffcf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15928-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931307$E89E3219-77A8-43EF-B8E7-80769996F001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa004d409bed80a3444d5ff4ed651b145f61c1c4","datavalue":{"value":"W1608079957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931307$C49B4864-2C28-4642-8824-6FC63074384A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a80b01d248a868149352710e8bf281e070517e","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4925aa4d17cb793e761429788a8792fe48c6e7cb","datavalue":{"value":{"amount":"+0.848061203956604","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":"Q4931307$80B64BBF-274C-4883-A3AF-829ADB461DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbed420b8b99b23691b2532b1fa2f8ea526aeec","datavalue":{"value":{"entity-type":"item","numeric-id":3447696,"id":"Q3447696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e902bbd03b130d78ed97850e677a1603739dc80","datavalue":{"value":{"amount":"+0.8024763464927673","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":"Q4931307$61AD802D-693E-478E-A172-D0D167008C80","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":"5d912a63327e6e51558531bd1dc4ab38b861888a","datavalue":{"value":{"amount":"+0.7734048962593079","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":"Q4931307$58238796-AA7C-40F7-BD1B-CE300FDC1CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841964ed0dc699422f88da66e1eba9e70121fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad103ff4b2011712b30254fab243b3c377373566","datavalue":{"value":{"amount":"+0.770517110824585","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":"Q4931307$EEE990C9-0E56-46E3-BB5E-3B2FD2C07EF9","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":"2a327818f3ab70e739e140b4049089dbe8796ca2","datavalue":{"value":{"amount":"+0.7650224566459656","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":"Q4931307$20E19C90-5A6B-4235-91E5-2203AF732547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931307"}}}}}