{"entities":{"Q6700527":{"pageid":14419499,"ns":120,"title":"Item:Q6700527","lastrevid":54697472,"modified":"2026-01-29T19:51:02Z","type":"item","id":"Q6700527","labels":{"en":{"language":"en","value":"Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources"}},"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":"Q6700527$5EA27CDD-8ADD-469D-AF73-A2657E786495","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"904e6e590ec1c0f1a74d07a1efd00a26ced677ed","datavalue":{"value":"experiments-LPAR-2020 contains all datasets and scripts used in the experiments described in the paper, and a README file with instructions on how to rerun the experiments.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6700527$282266FA-5B7F-47F9-89A2-3B4EFEDB5708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6700527$01059C76-D491-45F1-81A6-D77AA8715DAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cadfafc62c8c6dbbf3708f8d3bda55f0691ed92f","datavalue":{"value":{"entity-type":"item","numeric-id":6700521,"id":"Q6700521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700527$5D8119D9-4FBE-441C-8537-45FD9D5C29DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700527$4A7C30BE-55F0-4254-A4F3-7EC005F4D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f773cd2c2b0a8303c67ce589d3a1e87c08c901","datavalue":{"value":{"entity-type":"item","numeric-id":465590,"id":"Q465590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700527$B58ABDEA-0253-4E69-ABA9-510E85D244F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7176cc60c5c398b348801858303d98d5e5f609a","datavalue":{"value":{"entity-type":"item","numeric-id":6700523,"id":"Q6700523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700527$5D207751-E196-4FFC-9D0C-7166E03A3D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"badadf4045655032a5be052d0a7cf27560d3daba","datavalue":{"value":{"entity-type":"item","numeric-id":6700526,"id":"Q6700526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700527$9FA85094-AF26-4700-93E3-B9A18A6D14A4","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"48b0c7fd34ff7220b119d14207c7798e48e13655","datavalue":{"value":"8070710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700527$614FE3ED-0BD2-4237-BD86-F2DF4657B292","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a5c20464d1ecb17a2b4cd5e0c067fbd86db49c9","datavalue":{"value":"10.5281/zenodo.8070710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700527$F54E9B25-9C56-4D4A-A560-E25BBB6BDAB0","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":"Q6700527$593AFFF2-522F-426C-8592-7ECDF6A0EB92","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":"Q6700527$83AFBE68-C4A9-457E-B2E4-E0266CAB2722","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_Small_Proofs_for_Description_Logic_Entailments:_Theory_and_Practice_-_LPAR20_-_Resources"}}}}}