{"entities":{"Q4931302":{"pageid":6960884,"ns":120,"title":"Item:Q4931302","lastrevid":51096977,"modified":"2026-01-16T15:56:36Z","type":"item","id":"Q4931302","labels":{"en":{"language":"en","value":"Graph transformation units guided by a SAT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795651"}},"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":"Q4931302$5C7A9125-70A7-469A-84C4-B1DAAAB81821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c2e090d090c87eed59ca51fb8d226af52fcd95a","datavalue":{"value":{"text":"Graph Transformation Units Guided by a SAT Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931302$0E023ABC-20C0-465A-9733-C71BFBDD4072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f920c49f153e4c051972a3d1a1374c4276ba8d3d","datavalue":{"value":"1306.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$2349031F-3195-4A48-8CDC-A50105FE0DEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf128710123312bcfbd8a9a1434de40591f532ff","datavalue":{"value":"10.1007/978-3-642-15928-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$128C96B4-86F3-4A51-B25B-D558CBC2022C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8903103fefb92de36c29edd7ee92868c256943d","datavalue":{"value":{"entity-type":"item","numeric-id":418787,"id":"Q418787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931302$EB3A341C-FFF5-451A-8EBF-E2BEAC442F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7024698787865632bb8769789bb65d2fb79783e1","datavalue":{"value":{"entity-type":"item","numeric-id":544831,"id":"Q544831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931302$32869CF0-EF6C-4CE2-B586-51457CD56CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d8a0330754342bf7cc054288ff91311aeb00bc","datavalue":{"value":{"entity-type":"item","numeric-id":1056223,"id":"Q1056223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931302$FA1F2B42-5218-4DC1-AFBB-3201D7A3751F","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":"Q4931302$B2CB963C-CC09-43DE-981D-1DDDA1665BFF","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":"Q4931302$BA9D4816-67AC-45F8-8CD9-E1EA25BA64F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$D2C5FF12-DB20-411B-A793-D0B206BC6935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$903CC6DB-365A-4522-8D11-A771824F3932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$95814F7E-AA01-4BD8-B8C5-553D9F87A92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41b8b118c2d36e37df032894bdfd79738be075e4","datavalue":{"value":"5795651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$A7C65256-C2C0-4829-9B97-0EA4EF8E40D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d772a6fb9e0e391789d4a659ae5bcdf22c7e922","datavalue":{"value":"Q62513103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$DD4E8011-757C-47E2-83DA-3DF83D20B3C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931302$AC33AEE0-3ED0-4B83-8BB5-1E98BCB23D5A","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":"Q4931302$32165562-B826-4A1B-BFED-FDE22F9B0B61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054dcebfa5e25baeec12f76e76012437328819bd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15928-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931302$94C7E187-1BA2-4EDA-AAA0-6EBC6DB59DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"237728ca5b5d705571502eb0f631b9819e7a183e","datavalue":{"value":"W1487888553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931302$F7550323-8473-4011-B785-666AA815DB95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c06bceaffc4df03d66a29f7b276e3d88212955","datavalue":{"value":{"entity-type":"item","numeric-id":2728870,"id":"Q2728870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542a22094d1527fdfd7ad706f92e02b2d8c90836","datavalue":{"value":{"amount":"+0.7665350437164307","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":"Q4931302$F3E47BB8-575F-49A6-9B50-9D6BCD27685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4cad20ed702423535a18716d5476de18bce3241","datavalue":{"value":{"entity-type":"item","numeric-id":2873611,"id":"Q2873611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988f36f3b82466b9d5cd7cd3dd192ede90ac7d99","datavalue":{"value":{"amount":"+0.7612806558609009","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":"Q4931302$FCEEC21F-F32A-43BC-8FE6-8F5A648666C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326fc57658991f429b45dac8f905f4a62109e88a","datavalue":{"value":{"entity-type":"item","numeric-id":4923545,"id":"Q4923545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b239778855c48cfb5b3679be165c564ad6d2574f","datavalue":{"value":{"amount":"+0.7422060966491699","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":"Q4931302$915CD671-9081-4444-912B-5612BBAD67C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a20b29c802fbb8057eccd76e3d5cf77bdbaa84","datavalue":{"value":{"entity-type":"item","numeric-id":1578398,"id":"Q1578398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d535f893c790e3a5829807db44b836dfb25bf3b","datavalue":{"value":{"amount":"+0.7330770492553711","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":"Q4931302$363551BF-A061-4051-A671-3A15F2415CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8220124a09c35cff8125388a432656c398bf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4645269,"id":"Q4645269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e095ceeec496d7da6e027fe3b9e6d446694735","datavalue":{"value":{"amount":"+0.7284931540489197","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":"Q4931302$7A823EC1-20F0-4827-A9B9-0E7E8978D9C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931302"}}}}}