{"entities":{"Q112935":{"pageid":114410,"ns":120,"title":"Item:Q112935","lastrevid":105586421,"modified":"2026-10-10T17:19:36Z","type":"item","id":"Q112935","labels":{"en":{"language":"en","value":"hedgehog"}},"descriptions":{"en":{"language":"en","value":"Property-Based Testing"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"438d0eef0223375d3a92def8ffc6a10a8bf1ca95","datavalue":{"value":{"entity-type":"item","numeric-id":57080,"id":"Q57080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$40C0F615-ED0C-4713-BCDA-591CF558BD11","rank":"normal"}],"P132":[{"mainsnak":{"snaktype":"value","property":"P132","hash":"e1b2d30b17d57a437afd3421e6daf6ef7c7085c1","datavalue":{"value":"0.1","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P28":[{"snaktype":"value","property":"P28","hash":"d108ef826d3184bcc969d7bea0fb128b273477e9","datavalue":{"value":{"time":"+2018-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P28"],"id":"Q112935$4F48AF44-D682-4604-9D21-6088F224E090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P132","hash":"b542975f358e64266fc8bf3287bc018a1e05a763","datavalue":{"value":"PACKAGES.rds","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P28":[{"snaktype":"value","property":"P28","hash":"bdab782bc09c5c1d8687a0515dd3ffbe9dda94be","datavalue":{"value":{"time":"+2026-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P28"],"id":"Q112935$7411A8E6-6E54-405A-9A80-54156B2F95AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P132","hash":"46bbeb687c37ca8b18cce891ac55fb67a6a23de8","datavalue":{"value":"0.2","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P28":[{"snaktype":"value","property":"P28","hash":"80754338ca6ae153ab341cd4d5443fd01c748104","datavalue":{"value":{"time":"+2025-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P28"],"id":"Q112935$BC9AEAC6-E412-4F82-9733-56C7E601278E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4bed498e4e59ff4afeccdc6690f6a0a51f41db9","datavalue":{"value":{"entity-type":"item","numeric-id":149007,"id":"Q149007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$C5F524B4-9643-4EFE-B5F8-B63BDA1D7E57","rank":"normal"}],"P19":[{"mainsnak":{"snaktype":"value","property":"P19","hash":"e313c2065092c4d7e49a0219469af2dd6f070842","datavalue":{"value":{"entity-type":"item","numeric-id":149007,"id":"Q149007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$3DF4C5DB-FADF-4D72-87CB-ED79E94724FC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"798f7287b894eadb2b35f0ab871accc413b115fd","datavalue":{"value":{"entity-type":"item","numeric-id":56842,"id":"Q56842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$116B17B0-1422-4998-A93B-80C02981FF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P163","hash":"b26fc7b7fb6977874892e45a4763e1c915d89707","datavalue":{"value":{"entity-type":"item","numeric-id":57086,"id":"Q57086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P188":[{"snaktype":"value","property":"P188","hash":"f6b94a2983803ef223a00caebcd0c14385893694","datavalue":{"value":"https://cran.r-project.org/web/packages/hedgehog/LICENSE","type":"string"},"datatype":"url"}]},"qualifiers-order":["P188"],"id":"Q112935$27B90FAC-164E-4653-9EB5-769C2813BC85","rank":"normal"}],"P229":[{"mainsnak":{"snaktype":"value","property":"P229","hash":"57607f541e422a9e009078bc0d0bb33f0ca4245e","datavalue":{"value":"hedgehog","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q112935$BFD5F452-E6C8-4F89-8A39-475B80781759","rank":"normal"}],"P114":[{"mainsnak":{"snaktype":"value","property":"P114","hash":"251fd109c2cd8c1ee39b48cd109c9f4b1c9fcf5c","datavalue":{"value":{"entity-type":"item","numeric-id":13519,"id":"Q13519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$151C150E-CDD6-4C3F-95FE-46C85D1C2525","rank":"normal"}],"P342":[{"mainsnak":{"snaktype":"value","property":"P342","hash":"c5c82c389a3ac1cd128a5533327d238ca7f9491b","datavalue":{"value":{"entity-type":"item","numeric-id":31172,"id":"Q31172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$5A0BBE49-6B1F-4DAA-9E8E-613A3C52BBD2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q112935$397A63E2-2FD7-4E4C-AD52-F9917DB47354","rank":"normal"}],"P170":[{"mainsnak":{"snaktype":"value","property":"P170","hash":"13d146b47eb9624f43a17b2da23eda3610cf8bd3","datavalue":{"value":{"time":"+2025-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q112935$8CC52B49-AC40-44AC-951B-9F929D787EFE","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"61c3b0ee51d7a79f6fdfa763623807ee82244a95","datavalue":{"value":{"entity-type":"item","numeric-id":54216,"id":"Q54216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P132":[{"snaktype":"value","property":"P132","hash":"be237c7c47ffee2f42c33f070a7b0b7569e04e23","datavalue":{"value":"\u2265 0.1.6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P132"],"id":"Q112935$DC38A385-81BB-4730-9B23-34152FD8C6F2","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"5514da3612564c9364339885c95834b11778ea04","datavalue":{"value":"Hedgehog will eat all your bugs.  'Hedgehog' is a property-based testing package in the spirit  of 'QuickCheck'. With 'Hedgehog', one can test properties  of their programs against randomly generated input, providing  far superior test coverage compared to unit testing. One of the  key benefits of 'Hedgehog' is integrated shrinking of  counterexamples, which allows one to quickly find the cause of  bugs, given salient examples when incorrect behaviour occurs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q112935$214678AA-55D9-48C7-BD03-98E2E53B4C30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hedgehog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hedgehog"}}}}}