{"entities":{"Q6726013":{"pageid":14444957,"ns":120,"title":"Item:Q6726013","lastrevid":54827681,"modified":"2026-01-29T21:07:09Z","type":"item","id":"Q6726013","labels":{"en":{"language":"en","value":"Benchmark Repository for Floating-Point Support in KeY"}},"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":"Q6726013$A48E2EF7-E288-4D1F-B560-86EB6B03E681","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"8de7846d75b94be680d997b17b60789cd5b0dfd8","datavalue":{"value":"The benchmark repository for the added floating-point support to the KeY deductive verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6726013$837DEE08-AC15-4DEE-92D8-F114A017F0B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06ba241737eceee8015c39bc333cc8c0528022ee","datavalue":{"value":{"time":"+2020-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6726013$E809A788-A258-4DFD-8340-8AF8053BAA80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0110effb5c90e4e898b92d2bf11f15b6e3707cae","datavalue":{"value":{"entity-type":"item","numeric-id":6726009,"id":"Q6726009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6726013$DBA83A3C-EB3A-4791-AE67-E933FE4704B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"624ba1b6b3867eb2e5166df274b8ee1785dac4ad","datavalue":{"value":{"entity-type":"item","numeric-id":6726010,"id":"Q6726010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6726013$A79B5807-2E42-4E30-A235-ECC1B3096791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d59545c13b81b456017180fbc12f198dd8f3722","datavalue":{"value":{"entity-type":"item","numeric-id":6726011,"id":"Q6726011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6726013$74872E85-BCA8-4694-B690-5664671BECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb5bde885ca1d652e80f6b97b8913084ddda9dc","datavalue":{"value":{"entity-type":"item","numeric-id":6726012,"id":"Q6726012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6726013$0B96241D-51FF-4A70-8748-268B08EE1D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38294c3226d3792efd0f0a6334adfdf20cdb195e","datavalue":{"value":{"entity-type":"item","numeric-id":1951608,"id":"Q1951608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6726013$1717ECE3-33E1-481B-836B-4951B362C0B8","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"4f9429eb3af6a1abdf65a442080c856871a90be6","datavalue":{"value":"6572961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6726013$88960D02-6B4D-4CB4-972A-1ADEEE224DF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b97594292668a2cff05850b118502b585490ecd","datavalue":{"value":"10.5281/zenodo.6572961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6726013$A3F76808-1BB1-494A-80FA-92B0B5A9A456","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":"Q6726013$13E78CAB-C23B-4419-B4D3-F3D76136C8BE","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":"Q6726013$5791E7FE-CF5B-4A58-BAE8-ECCE4E920C99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Benchmark Repository for Floating-Point Support in KeY","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Benchmark_Repository_for_Floating-Point_Support_in_KeY"}}}}}