{"entities":{"Q6700525":{"pageid":14419497,"ns":120,"title":"Item:Q6700525","lastrevid":54697463,"modified":"2026-01-29T19:51:02Z","type":"item","id":"Q6700525","labels":{"en":{"language":"en","value":"Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - 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":"Q6700525$B7839F22-3E6D-487C-9A83-42038F4963F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed39cd09fba5cdf474042bb27d1349961ad549ad","datavalue":{"value":{"time":"+2022-05-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":"Q6700525$1B0892ED-0524-47BA-BDC7-F8D9617C82D6","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":"Q6700525$8AD99B7B-42C9-42A8-AB3C-0DD9C4D05101","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":"Q6700525$E2FBB4FE-C939-46D8-BE78-DC29760E2051","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":"Q6700525$AEFDF209-A40F-4EEC-8E41-7D3721F2C567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377e41682cce12ae048fe261dcee06fbc4dc52b1","datavalue":{"value":{"entity-type":"item","numeric-id":6700522,"id":"Q6700522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700525$126A559C-01AF-4A6E-B902-43580ACA9ED9","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":"Q6700525$1B180493-C216-4CDA-B4E1-B6AA146FB93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545a0567cb2a3c4e1d15c6e74bd32c193fdd92e7","datavalue":{"value":{"entity-type":"item","numeric-id":6700524,"id":"Q6700524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6700525$99CDE2EA-4625-4B77-A600-8E523118B41B","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"8b91aefbb878919f8f81547b4156eabd5112ac79","datavalue":{"value":"6560603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700525$E7EF897F-DF02-4F89-84DC-27DD32902652","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce7ad0f9ad948ed08c2c8ab2126f8a0b9fd14c64","datavalue":{"value":"10.5281/zenodo.6560603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6700525$C3DDAD8C-DB68-4584-A650-CA8271A32BD9","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":"Q6700525$49412E3E-9DA7-4D2A-A215-DF0FEB8AB08A","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":"Q6700525$4D3D05C2-1FB1-493F-A7D6-ED2A026C4EDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evonne:_Interactive_Proof_Visualization_for_Description_Logics_(System_Description)_-_IJCAR22_-_Resources"}}}}}