{"entities":{"Q1049792":{"pageid":1051640,"ns":120,"title":"Item:Q1049792","lastrevid":66037941,"modified":"2026-04-12T07:06:42Z","type":"item","id":"Q1049792","labels":{"en":{"language":"en","value":"Towards automated software model checking using graph transformation systems and bogor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5657912"}},"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":"Q1049792$D7B67D7F-C54E-4D98-BFA5-A42CC16D66DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3225af503f0cf8cd1ecb559d25c9fda165afe667","datavalue":{"value":{"text":"Towards automated software model checking using graph transformation systems and bogor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1049792$27588639-01E0-416C-A2B5-244534DC9C77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d47bdb45c5c8a890b58a31b25a01f74d3afe0daa","datavalue":{"value":"1185.68421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049792$FFCC046A-50F0-4E9B-92E9-9BC50FAAB6D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51a94e30349b037692f0c283c0ad64f4316f7f46","datavalue":{"value":{"entity-type":"item","numeric-id":1049791,"id":"Q1049791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$B19BEB0E-93BD-49D0-AAD7-C13976626378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9555c9b8ad966647b37c52d54eb843fd81aabfb","datavalue":{"value":{"entity-type":"item","numeric-id":747417,"id":"Q747417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$68B166F0-825A-4A7E-995D-28F23AFFC248","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d80107e4a6c516cfe19fca47ea2df77a0d79dece","datavalue":{"value":{"entity-type":"item","numeric-id":244694,"id":"Q244694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$D565B1F2-9400-46DE-9A02-C3D3509A735A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"881d7755ed56ad45091e513ac6c64caeecaa15ad","datavalue":{"value":{"time":"+2010-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1049792$E08BF56F-665A-4812-874E-7549915DD47D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049792$1397CD14-D6C3-4295-B4A9-CF170C3115DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c2d314956b3eda9897963228752a18db0152a2","datavalue":{"value":"5657912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049792$44570511-A814-46B2-B4E7-BE70DC4CEB24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049792$F8E68E83-A42E-4982-94C9-09DD117FD289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049792$ABEDF8BF-BA6B-4BF8-BA21-536940A56B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f570efc30cb6ea6fbe40b2d76a36d29842c8192","datavalue":{"value":"Bogor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049792$B09E3A60-C1D0-4B80-B431-76CF07A80F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97ed5a88097e60c277f67289918e25bfc2fb3d8","datavalue":{"value":"attributed graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049792$16B5AABB-01C8-40F3-8EC8-B19224A83AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049792$EC31B994-FB40-45AE-934A-C2E4E21DC000","rank":"normal"}],"P1463":[{"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":"Q1049792$FA5A370C-2B17-4949-96E4-19251F53314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$A22E0927-F667-40F9-BEE5-B4E1569A420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"560fb465472ddc450906ab47cc0fc10e6717af24","datavalue":{"value":{"entity-type":"item","numeric-id":21454,"id":"Q21454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$FCE5B15E-EB25-4973-B400-75A6889A4192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f114425f32b5208af372a7576d1c60985ec0d17c","datavalue":{"value":{"entity-type":"item","numeric-id":21455,"id":"Q21455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$889740F8-E5CA-46D0-BD2A-BE785C91C8D4","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":"Q1049792$D609E5C3-EFB7-4450-B6C3-352F8A5F13AD","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":"Q1049792$75F69DD6-6299-4C8D-9321-69677670D2B6","rank":"normal"}],"P223":[{"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":"Q1049792$4C679352-C814-43DC-BCEA-C08D1671B3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2920853de1f48ca850ca62d87869ee3d0a907a","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$5C33FDC3-215D-4C31-ADA8-88C87EAB7147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a41d3adbf5338c4078d115abb6633a64afb8d52","datavalue":{"value":{"entity-type":"item","numeric-id":5464838,"id":"Q5464838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$3C042EA3-9887-41FC-B8F3-01F071EF78B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b53e7cd68b2239d0ff3046d184ba2dfa3581b2","datavalue":{"value":{"entity-type":"item","numeric-id":4438799,"id":"Q4438799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$87F7D920-3125-40D3-AF79-F6066518DEFA","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":"Q1049792$6B3042FA-5A56-43A9-AE0F-71C3BE21C378","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":"Q1049792$2774B8D3-31C1-44A7-B49F-0FC3A668878A","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":"Q1049792$D7EC7C6A-B396-49D5-9196-40F8C0359EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98f259b2b8cd4498da6a3fa40179a9fc1c60f7d","datavalue":{"value":{"entity-type":"item","numeric-id":5428908,"id":"Q5428908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$09A1A857-BD0B-46BA-B4C9-F1EC6C3208E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef8b7eb525fccc0f166c9a5b735321dbfda5078","datavalue":{"value":{"entity-type":"item","numeric-id":2867893,"id":"Q2867893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$8BBA4C95-AB2C-4B5F-BC1A-6ECC71948D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a41f3a744de2573c3787d0938cafa247030eff","datavalue":{"value":{"entity-type":"item","numeric-id":2847858,"id":"Q2847858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$1C490BB4-8C41-41F3-9319-73E8AC80F571","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":"Q1049792$2062E330-BE8A-4CCA-9079-8162986729A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8750bddea21c0103ef367306e89fe8520201bc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4435866,"id":"Q4435866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$68281CBB-0716-404C-B0DA-D67DE101BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d835a91e5f8b780c1597601ff74c03afb28a8","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$58347DF5-3684-499B-8C5B-5635A48FF294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10eaf30b9510c24e8698ee22183b9380a0c89eb","datavalue":{"value":{"entity-type":"item","numeric-id":5505610,"id":"Q5505610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049792$13B26C9C-2910-4185-9A5B-03C0919FFD63","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":"Q1049792$1C8BA41F-1DDE-43C3-8199-3F7B6E2CF99F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac7eda0495ac3b0ec62c62dcf821f13ab167e942","datavalue":{"value":"https://doi.org/10.1631/jzus.a0820415","type":"string"},"datatype":"url"},"type":"statement","id":"Q1049792$5E3342AD-AEBD-448A-981C-F768779AD340","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdd405df6eb921bd6986d26302ee0fc77660c27e","datavalue":{"value":"W1974611422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049792$11205D60-8538-4E25-8FA2-F411446FB76F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26d58ebce4e1c6d1ad722ed76df9e699c95fb0c5","datavalue":{"value":"10.1631/JZUS.A0820415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049792$FEC7818D-919E-4742-9321-01908D1954F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c721c745d925a3bb5c9e5f3df9ae8e2a1e97406","datavalue":{"value":{"entity-type":"item","numeric-id":5292598,"id":"Q5292598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e8d8350c330cb6297feea29ab57f106ddcc2d9","datavalue":{"value":{"amount":"+0.8032481670379639","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":"Q1049792$4494F04F-A065-42D1-8562-4EA1560197E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ddcd43460c32fa2f41ce78e7af92c4f9b40e45","datavalue":{"value":{"entity-type":"item","numeric-id":3507360,"id":"Q3507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb180d50ea64f198756c77e733ea57684c6f5bf","datavalue":{"value":{"amount":"+0.7966061234474182","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":"Q1049792$7E2663D5-37E6-4F52-B233-6D2D3C72A8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286d47d67f7b5ad3a95ec5a9714b8ae08339e92d","datavalue":{"value":{"entity-type":"item","numeric-id":1708186,"id":"Q1708186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc583f60905b53d20f1dee1f53fc3b5c8e4b80c4","datavalue":{"value":{"amount":"+0.772059440612793","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":"Q1049792$34C3359F-BAE4-41F3-9D19-C34EFF51DFA9","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":"1c6c2be1d4140a18658f41ada9266943da28b93a","datavalue":{"value":{"amount":"+0.7560279369354248","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":"Q1049792$B3B5D989-CB18-4E64-B31E-08F3E9316665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f5518c5e53f8f48a32defda3bae333744e6e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2947222,"id":"Q2947222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f1dfb00451663d409d5a13a28e80380fe7fdd4","datavalue":{"value":{"amount":"+0.7536016702651978","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":"Q1049792$B1074600-1F19-4CF3-A36E-161563CAC437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards automated software model checking using graph transformation systems and bogor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_automated_software_model_checking_using_graph_transformation_systems_and_bogor"}}}}}