{"entities":{"Q6572555":{"pageid":14183710,"ns":120,"title":"Item:Q6572555","lastrevid":95765594,"modified":"2026-06-05T09:43:48Z","type":"item","id":"Q6572555","labels":{"en":{"language":"en","value":"Automatic test-case reduction in proof assistants: a case study in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881131"}},"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":"Q6572555$16422455-0E5A-4262-B051-0333D2300D9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d503f65576f709cc56941c124aa2f034ed000a0","datavalue":{"value":{"text":"Automatic test-case reduction in proof assistants: a case study in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572555$52582595-9F8D-4A0B-8332-5BE46EA9E6A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed360e5a5b6485d0ec642ab4e5a8b7cc72636740","datavalue":{"value":{"entity-type":"item","numeric-id":1791168,"id":"Q1791168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572555$C644908A-86A2-4084-8F75-8DB522A9E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84e4d461c11a055e25dfaf665184896cddf95cb1","datavalue":{"value":{"entity-type":"item","numeric-id":3989747,"id":"Q3989747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572555$6494F0A0-5E7E-4454-9583-DEECF54F7B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e0e8317f635e2bdf3cc60151727fecaa383fc2","datavalue":{"value":{"entity-type":"item","numeric-id":6572553,"id":"Q6572553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572555$1B3DFA62-C7CC-4F10-A3B3-0CDFF75BB23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572555$F10A71AC-FF30-4AE5-BBFE-EF12F1CD5D34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572555$44A71E37-40CA-4D94-8731-59AC7E0996AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572555$E4734976-4462-4680-8767-8264FA6F58CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b676732e79b0c23c03dc780b0afab814c05e53a3","datavalue":{"value":"7881131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572555$0E9043B5-3412-4531-9438-39F8799E0183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572555$EE8C81CC-0CAD-4AD9-AC68-792859A00891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad41d0952f3be446b3e0fb39ae4b39a26babb4c4","datavalue":{"value":"automatic test-case reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572555$EC4F0B45-47F4-4320-9C8C-FEDC8F9DDD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572555$DD804F42-A536-4A42-AFA9-D35310281032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"283487c875ef2adeb28e7e8f4a99fa9d1391b221","datavalue":{"value":"bug minimizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572555$8394B18A-5CC8-48D0-8AB3-D506AB33F473","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":"Q6572555$D459F74A-7888-4CB1-A760-37E04D265BF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37f53d3305643dda424033b0fada67696740081f","datavalue":{"value":"10.4230/LIPICS.ITP.2022.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572555$66B370B7-E969-48F6-B20E-8D4A5D10F1E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic test-case reduction in proof assistants: a case study in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_test-case_reduction_in_proof_assistants:_a_case_study_in_Coq"}}}}}