{"entities":{"Q6709950":{"pageid":14428900,"ns":120,"title":"Item:Q6709950","lastrevid":54665147,"modified":"2026-01-29T19:03:41Z","type":"item","id":"Q6709950","labels":{"en":{"language":"en","value":"Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances"}},"descriptions":{"en":{"language":"en","value":"Dataset published at Zenodo repository."}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"dae155fd0809a7906855cd4fa50dd7d71bed552b","datavalue":{"value":{"entity-type":"item","numeric-id":56885,"id":"Q56885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$BF9D4689-A1AE-4E76-9FA6-BC800E2D8227","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"6ac49836d2fa7aee17168893f9eebf2bf15de8c7","datavalue":{"value":"A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver.  See README for details.  Also included in results.tar.xz are those presented in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6709950$BBDD2430-4DEB-4F6D-95A7-74D6BA7F27A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-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":"Q6709950$18073FD2-231A-4448-942B-5007701F58BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21921033c48b3391a8383203664629b209149a36","datavalue":{"value":{"entity-type":"item","numeric-id":6709947,"id":"Q6709947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$F876BEE5-CBBD-4134-A1CD-C29C8E1148A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b94e7dbbe998b0923af7496bf91cbf1d2e4d82a6","datavalue":{"value":{"entity-type":"item","numeric-id":6709948,"id":"Q6709948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$9EB23995-2AE3-4C31-9A55-89718EB48152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5953eeaf50152e2b5cd839c39a8494994094719","datavalue":{"value":{"entity-type":"item","numeric-id":6709949,"id":"Q6709949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$3EA2C38B-25B5-42ED-ABDF-8A5F8645FD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"940ee44541a8eb2a0b5fc969c0218a420ea5722f","datavalue":{"value":{"entity-type":"item","numeric-id":736790,"id":"Q736790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$3084E74E-F8DE-4D33-B86E-E69DEF8349C5","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"de7d81ba9a20af00000b01b0d02d22a7a0d266de","datavalue":{"value":"4597074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6709950$F075847D-8061-46CD-A127-8D6D295A7808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec2fb26a138f2a0516ef56b12a2f7eb4e0b6c0a5","datavalue":{"value":"10.5281/zenodo.4597074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6709950$2C9239CC-A6F7-495A-A9E5-4BD0B7FC1200","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$AA17CD01-78B7-47B2-9383-D833C4A6D92D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"d1e8073b72a070520efd3d14d4b3d2d3d03859e2","datavalue":{"value":{"entity-type":"item","numeric-id":5984635,"id":"Q5984635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6709950$C7C128D1-A443-4FD1-B67A-3B04C699DDEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Practical_Bigraphs_via_Subgraph_Isomorphism_-_Benchmark_Instances"}}}}}