{"entities":{"Q4910415":{"pageid":6939994,"ns":120,"title":"Item:Q4910415","lastrevid":91596974,"modified":"2026-06-04T23:34:50Z","type":"item","id":"Q4910415","labels":{"en":{"language":"en","value":"Checking bisimilarity for attributed graph transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145829"}},"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":"Q4910415$2792B2F0-2684-46CC-9E9B-3739E24C5E52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6d018e7a043994c7691b9718f45ccdb5301c0c4","datavalue":{"value":{"text":"Checking Bisimilarity for Attributed Graph Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910415$9EC87114-286F-4CFC-A91B-6886418481A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1af0d14f37720dab5d9c5519ab773fda655abb9e","datavalue":{"value":"1260.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910415$336FE9F9-9A85-4CDA-B2CE-DB3B3853AF7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b75fea13d4d7859e6b394eac4903d324fecd6ffd","datavalue":{"value":"10.1007/978-3-642-37075-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910415$925B7971-A4C2-4F46-BB6C-B3216CE14E8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910415$6D9AA182-3096-40F6-A813-BAAC5C04D317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6ae9c8a13c0b6d6962992c6588ae86b736951d1","datavalue":{"value":{"entity-type":"item","numeric-id":973051,"id":"Q973051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910415$FEECD554-5497-457D-A114-B44D6BADBEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804fb81fad8fd101074287ddc26e93ed7bd26a05","datavalue":{"value":{"entity-type":"item","numeric-id":418012,"id":"Q418012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910415$1887FC59-FBB9-4E01-91CC-B85DD9A53BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4647b678e880dbaa2f37f06e1ed5bad781bd2370","datavalue":{"value":{"entity-type":"item","numeric-id":2703715,"id":"Q2703715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910415$4B461F23-4076-460F-8922-6097043B1C04","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":"Q4910415$6EFC5BE5-38C5-4016-A141-E3E976E02B53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910415$FE3734CF-0383-4A12-AD2B-EF247F6F9E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910415$0C1FB4FB-D1FE-4E15-95E3-33A2E37CE9D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4146c788988755e68a851cd337827836a8499ec","datavalue":{"value":"6145829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910415$FCE030CC-1D10-47EB-9F0E-8C33DEBF714A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03736b30a23d5f2c59c01298fa0cadf98e2729bb","datavalue":{"value":"attributed graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910415$0BD5FF19-4F3C-4A39-8339-1231670B7644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778569578a54d4434a45ae353bc8a2dcd991c788","datavalue":{"value":"symbolic graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910415$50BE7156-E508-423E-A719-47EFD5D36838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d4127d62f90ca11734508e503bb8edd2a0cdb2","datavalue":{"value":"borrowed contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910415$4711245C-ED33-46D0-83E7-D24EEAB09437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910415$179C208C-0A98-4F5A-96DD-EA543FD39C6C","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":"Q4910415$1C5F0847-1197-46B0-ABC4-1B4E279734D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eccce3866ed0d10ce2699144850ecc174b472dce","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37075-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910415$71F1D7B0-A955-4AB9-9CA7-9BAAFF61E4E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e386bd51ef7828b50a1bfdc5c7e9e362121854e","datavalue":{"value":"W2140610070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910415$01FC9B02-39D8-47DE-B48F-803FEEDEA730","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1986d8555ba57614d5c59e725e942fab78877ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2918977,"id":"Q2918977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a747b528da016026b3c127d2f6f5a868b51b0242","datavalue":{"value":{"amount":"+0.9260916113853456","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":"Q4910415$4B46FEC2-26EE-4D89-9A87-08590089F1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29429483644eda9b2894cff3a1c351cd74a8c1","datavalue":{"value":{"entity-type":"item","numeric-id":3419789,"id":"Q3419789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee6a427dd431f1d5cf113fe57791ef94224865f","datavalue":{"value":{"amount":"+0.731303870677948","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":"Q4910415$8C2BB961-65AC-4C6A-8F06-EFCCF13C0213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315b376fd50a158cc04e07ce0524d8a8de5e9a82","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9795f07e8c6103be3daefe13e6520b61421b940","datavalue":{"value":{"amount":"+0.7083616852760315","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":"Q4910415$696CA764-4309-4A66-A39D-DCA0FF6A2F45","rank":"normal"},{"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":"4fb71a39004da98f7765dd829a03d8d33c1345de","datavalue":{"value":{"amount":"+0.7028592824935913","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":"Q4910415$884C82B8-80A3-44D2-B0AA-57332A0378D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e582748417f97bb13d2dc0421451440c735d0b68","datavalue":{"value":{"amount":"+0.6832596063613892","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":"Q4910415$CA27AAD5-E448-4195-8992-A5FCC735272D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking bisimilarity for attributed graph transformation","badges":[]}}}}}