{"entities":{"Q436370":{"pageid":438137,"ns":120,"title":"Item:Q436370","lastrevid":61814784,"modified":"2026-04-11T01:51:27Z","type":"item","id":"Q436370","labels":{"en":{"language":"en","value":"Verification of graph grammars using a logical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059137"}},"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":"Q436370$EB93F06B-5C8F-4BF9-BF50-35EE21725FD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf473a44403043ad21fc065c2c416a19f801c730","datavalue":{"value":{"text":"Verification of graph grammars using a logical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436370$FEDEE857-0574-49FA-8540-F4A9DA0B8F1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db31c4724624356eddfe6b61375dcdc6c1affd5d","datavalue":{"value":"1243.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$D6AA231C-0758-4261-8004-3EB2B1BA47B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56566aaa65a5449d0345301b9c6fc8263ade29f0","datavalue":{"value":{"entity-type":"item","numeric-id":436369,"id":"Q436369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$C031BDF6-AEA9-495C-8BCF-70313C41E1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2426f4789b74a97843d6e34c34f44f9f0ab6d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":436349,"id":"Q436349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$CCA06607-CB44-4FAD-97F8-580DA22C42A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$5EB88BE3-A936-489B-8E38-328BB16B98CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-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":"Q436370$90588467-E825-4CB5-83D7-EF0E65B2B1FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$C06CBD9A-8CFC-4469-97D5-771C3ECC012D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$595AC8CF-D8F1-4356-803C-4D4BC52650E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$90622763-CE73-4028-A0BD-AEC416F71B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$1246D610-FA4D-4ECD-96AE-36B7D710DD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$BF070CA7-52D7-4453-96BB-08E51B34FBAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae7a549b7c5c3515e80137d68e19742e6f712f66","datavalue":{"value":"6059137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$1A63EAC1-BF2C-4F12-969F-895F411AF6D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7869fcfeaad6d7bb8da585eec600f2d2f56e0921","datavalue":{"value":"(attributed) graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q436370$206074FF-FA45-4257-9D55-5A400393307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q436370$D9EE6551-C24C-41E5-BC1D-7E07452F05A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436370$00776C68-FAC2-471C-81E4-BAE3E062FAC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89c436defcd226981117335a9c52fb20fa5ce8c4","datavalue":{"value":{"entity-type":"item","numeric-id":16625,"id":"Q16625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$AACBEAC2-BAB2-41BB-9709-FFFE1C07A372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$D09B1BF7-33DF-4DF9-B756-814F0C9BCA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$BAE2E73F-AE64-43C6-A60C-FB7D92669D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$8E9BB8BE-1CDA-4ACD-9F91-46ADE7B06F8A","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":"Q436370$2F9A88F2-DEEC-4D75-8B6F-6C0C637408D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cc7be246aa771fc0ef2a270e06c2eb8852ef9d3","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.02.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q436370$9419122B-5A3C-4A06-844F-B383090868DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f032781ec723dfca085d78e73009e61bf9945891","datavalue":{"value":"W2072621429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$0A53E08B-6DF5-438D-9939-A728238E2B9B","rank":"normal"}],"P223":[{"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":"Q436370$1CF0E697-BA6C-4358-883D-FE003B3F31D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59030a683a61c6f21335943f1806126d375ef998","datavalue":{"value":{"entity-type":"item","numeric-id":5902550,"id":"Q5902550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$41A615FE-5006-4A77-A3F0-41376599B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$9646EB3F-785D-40B2-B1A5-C06564B2DFBC","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":"Q436370$FDA6D897-6BAB-4D29-88EC-385E59DFD8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fffce8ba9b08b7b4507292f2b0cae0b976145b","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$69D61D2C-3BFE-4DED-B4F6-1430743A9185","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":"Q436370$D83F99CF-E834-42F5-8D6E-DB78843FBFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f72600dd9c442c726fc0b2a729ee3e3cd627f24","datavalue":{"value":{"entity-type":"item","numeric-id":879600,"id":"Q879600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$F9B87977-A17D-40DA-B0F2-B4A6591224FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$F190F74A-0027-4FCC-8ACA-783879D6A691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$3A60AFD7-4ECD-4B82-B784-7AA27DC6A15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$7491CBC1-57F7-4001-963C-260B0FB24960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$74926ED6-86AE-4CC4-B748-36134C14F01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$4B96D7DD-3B20-4301-81D6-C1B5981BEF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3231372030b56acc5c4a2a4a6dff7837947b28f","datavalue":{"value":{"entity-type":"item","numeric-id":5711946,"id":"Q5711946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$5E8C560D-A40F-4C86-B80F-9FA166B39FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600a361606754b3a8ef5b6c52250dfaa45c764a9","datavalue":{"value":{"entity-type":"item","numeric-id":3541969,"id":"Q3541969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$85BE5EF5-FEF7-4FFF-BBD2-6E82981AE9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c57d45f6c32f1371ac4163b002150117ce336e4","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$5BB96F1B-6025-4231-AB31-7E806CD0D0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf3f52a6d15f3408a2aad1c2bbb407336e3efd7","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$77295F28-CE11-4FB5-8D07-42358FAAF241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b9c001a107b8f5d4d5ecd6d4d51489763ffcc2","datavalue":{"value":{"entity-type":"item","numeric-id":2852050,"id":"Q2852050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$82C3C1DB-BDE8-4ADC-A0A8-731C61B35645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044db2536fa3b321759db2fc054a43bb7657aab6","datavalue":{"value":{"entity-type":"item","numeric-id":3540407,"id":"Q3540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$17CC68E9-6F1D-44F4-96C9-796112AD3F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9423a81fd6dbfe03aa1c6a75b0e1ebd282c6696b","datavalue":{"value":{"entity-type":"item","numeric-id":3416072,"id":"Q3416072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$D6081C1C-AED9-4D02-BC01-35F9F574E19C","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":"Q436370$6CBEA2F1-D9CD-47CF-972A-3359AE474319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e7da1576a6992c53b5deb6ba9a2a8e687262eb","datavalue":{"value":{"entity-type":"item","numeric-id":4319638,"id":"Q4319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436370$49CCF303-7749-4A33-8088-7592CA9BDC00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f091cf36a6996ef9fc06d79bc6aac1b880c90f8a","datavalue":{"value":"10.1016/J.SCICO.2010.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436370$00ABB2FE-A90D-4B4B-B4DD-4CC85FE10421","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a32db72f307b876d8ed3f059040127f6929c2","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7210ae7459e0ce7b1857673be01966d773fd07","datavalue":{"value":{"amount":"+0.8410464525222778","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":"Q436370$67E3A17F-DE96-4713-AFBB-1A17D44B49EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b3c6e1840d81052e75c327dff816b909546799","datavalue":{"value":{"entity-type":"item","numeric-id":2358623,"id":"Q2358623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f2714f1798bae7f6b19ce5adc8f27151e20b4b","datavalue":{"value":{"amount":"+0.8298769593238831","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":"Q436370$0C681910-4868-48E6-9141-AAABF4F22956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db39d77345425f70f26590ebeec14264632dba40","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b1eb618a16880e8a09f8b11f354a8b1d3d7e3f","datavalue":{"value":{"amount":"+0.8006473183631897","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":"Q436370$F48F7991-6309-4BCB-8D3E-E3F08ACE684A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c85fefda603c869d806b4d6332edca56cd05e90","datavalue":{"value":{"amount":"+0.7846511602401733","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":"Q436370$B1CC5CA2-1E7A-4B4A-A115-1515336BDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc4b99d402032667d565d74b4d6118fd5a1d1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4645279,"id":"Q4645279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815a001fba5cded29c1ec99862e3385cb12f9bd1","datavalue":{"value":{"amount":"+0.7830803394317627","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":"Q436370$B441CDF7-9FDC-4605-822D-D08A81195941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of graph grammars using a logical approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_graph_grammars_using_a_logical_approach"}}}}}