{"entities":{"Q2867889":{"pageid":2878609,"ns":120,"title":"Item:Q2867889","lastrevid":51894767,"modified":"2026-01-20T12:05:17Z","type":"item","id":"Q2867889","labels":{"en":{"language":"en","value":"Verification of random graph transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241707"}},"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":"Q2867889$992E78E5-0C0F-4026-BCED-391F926331F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be5cad09fbbffdb8fa0b4064f4f37d2a2c73981c","datavalue":{"value":"1278.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$3658FE1B-FB4C-47DC-8E9E-4F73A1CE0A6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79711d69fa22e4f4d42091d0eb7d714454fc1f04","datavalue":{"value":{"entity-type":"item","numeric-id":2379972,"id":"Q2379972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$CE82AD77-FDFA-47E1-88C4-97CA6CA76C4A","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":"Q2867889$BDCA3D0F-0611-42F9-9458-4074C5224D2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867889$8B1CAE23-F986-4F0F-A2B9-D966141EE8AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$BA377E00-304A-4764-96AD-E3C7C62F5DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$F6156DFC-D9CA-46B3-95BB-540AA6D1303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$61818895-ABA4-42A4-9351-52A0D30AF333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$3E0D6D30-F811-457A-A3E7-F3856C2B16BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6be5da4556c4c2a872ae813ea2329d65a9e16038","datavalue":{"value":"6241707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$D9344CB6-9119-4BE2-A9CF-2BFD75C51041","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dbb1a989d900ee362ac53da99687bab7c71f197","datavalue":{"value":"random graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867889$AF613215-6B2E-44A4-AF8A-D302884B17FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867889$DA123F02-4291-4A59-9829-CDCA41DACF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893d3bca412c47388bd8d9e961ce7bc38db29b10","datavalue":{"value":"\\textsc{Augur}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867889$A322AFC3-231F-405D-98A3-ABF08743BA96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9ef29e164ba705ae9d8f43b7a6725334a308dfd","datavalue":{"value":{"entity-type":"item","numeric-id":20412,"id":"Q20412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$0EC43CE3-7E8C-472E-87E3-E6F7384F1D9E","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":"Q2867889$203A43FC-62D4-4B2F-B92E-32DEA559455D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"537212d733febb3d235b9b41c3ac72c1fdd333f6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.04.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867889$B2D2C037-0605-42B8-808F-E665E146541F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"184428cb33008bdfd2d552afd1f0de13c743712e","datavalue":{"value":"W2012612235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$775EDBE0-C5E0-4F81-9EB2-C210BBA6D8B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$8699B948-8F89-423C-84A8-1F5AF5C57392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8d8d65811897c843043e94ba40fe7f65bb74e1","datavalue":{"value":{"entity-type":"item","numeric-id":4438762,"id":"Q4438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$590F3714-EF54-4A18-B99D-1CE5BB058CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$0F5CD070-A2BF-4D99-8031-CB4C4B84F078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39e345e91f4ed4de2d66f36ed973b2f603ec3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4951113,"id":"Q4951113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$579CF8A1-7F31-42CB-89F5-031214366318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$21B82677-5031-4604-AFB3-3AC6C80E6DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0304a2dc3d13817357dd001fd41d00cd9e47671","datavalue":{"value":{"entity-type":"item","numeric-id":5899059,"id":"Q5899059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$A2CCFD5D-D5E5-4A17-9276-892023495FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$3D0E6237-2BEC-408D-9A40-072B85BD6514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079f02b7f6f050f391fbe3341b54ad35cfc040a","datavalue":{"value":{"entity-type":"item","numeric-id":5292598,"id":"Q5292598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867889$69DA77F0-BE9C-4D4F-A185-30DC66C2B8F1","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":"Q2867889$0A5F1C33-39C6-4162-9C3E-B9768306EDB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1480fbb33736cce3a50df79f47b9ef885a55e3c9","datavalue":{"value":"10.1016/J.ENTCS.2007.04.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867889$D30FD4E0-8612-407C-BF44-C54C78D1B873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c58a406bdd45d4e02a7d12b6d95dda30b08b6062","datavalue":{"value":{"text":"Verification of random graph transformation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867889$58F98314-8226-48FE-9D64-F9EEC89D2095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb088fa548506288e5dad68fce350fb62b7f065a","datavalue":{"value":{"entity-type":"item","numeric-id":3540407,"id":"Q3540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545973b93e6462a1468387cbbd7a1643d6e0f360","datavalue":{"value":{"amount":"+0.7975784540176392","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":"Q2867889$049337A5-676B-448D-9507-F7DD9127DAE4","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":"91b13c019e7955caf2ebffe973b9f378eac956c6","datavalue":{"value":{"amount":"+0.7775842547416687","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":"Q2867889$BAAF6438-A971-48C0-8C84-7D9B6A8583B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f226aa4daacd990a492a11e948e3c26c1352b4","datavalue":{"value":{"entity-type":"item","numeric-id":2918991,"id":"Q2918991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623b805afb403d7f19653bd60dd168c2cc8e4b1f","datavalue":{"value":{"amount":"+0.7544451355934143","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":"Q2867889$A3FAE828-F3D0-46FE-A2B5-C0D918831CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdf49e404449dc81606c429980f025468341111","datavalue":{"value":{"entity-type":"item","numeric-id":5899059,"id":"Q5899059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd78b5866527ed699cc953257e59755f5ba98a2","datavalue":{"value":{"amount":"+0.7528572678565979","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":"Q2867889$09298DC9-C589-4B6C-B4EE-C8BAEE9E798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d50bae283d59c5204d880c36a6be97e4855c84d1","datavalue":{"value":{"entity-type":"item","numeric-id":3098055,"id":"Q3098055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513a46ccccbd359a5c4eb09e71530164b4aae1d6","datavalue":{"value":{"amount":"+0.7493665814399719","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":"Q2867889$1DF1E78D-D6B7-49BF-A6F8-7C22ED1F24BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867889"}}}}}