{"entities":{"Q2290678":{"pageid":2301421,"ns":120,"title":"Item:Q2290678","lastrevid":73652034,"modified":"2026-04-14T16:48:01Z","type":"item","id":"Q2290678","labels":{"en":{"language":"en","value":"The power of random counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7159854"}},"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":"Q2290678$D942AEDB-AFCC-4EEC-B69D-ACADB7B3F2F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcaca56c1156c90280b70d52eb21e4f62bcc1533","datavalue":{"value":{"text":"The power of random counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2290678$D3EA871E-E984-484A-A8D7-96CA180F28E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32d83f0b7dc2ce09825e700591f8b02fcdaf81d9","datavalue":{"value":"1436.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290678$240E2FA4-D0C2-4731-86D3-CCA8EC03F07F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872cb1a46370e0c83f201b79a3fcb92c3a33baf2","datavalue":{"value":{"entity-type":"item","numeric-id":329609,"id":"Q329609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$7BE41B76-CBF9-44EA-85A9-5C65A6D60451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aeadcd3536f57481e304970ade85dc0e11c2b2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2290677,"id":"Q2290677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$E32A2E7D-6347-44D4-81DA-C8F53858F3B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$11A2ED76-2BDD-4ADC-BEA1-6F58A096038E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36449951a56e6135e4ec71fa99d76436027843e1","datavalue":{"value":{"time":"+2020-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2290678$591CF26C-907A-433C-BB9B-3E3E00909B8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290678$9D0FA06C-F136-48A8-BC6E-D475C0BFB2B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"461445e4db7fe6c9995b2b20a2d20a9261b331f2","datavalue":{"value":"7159854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290678$CCC66E49-1575-4391-BA76-4A71A2C8F2E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05708f0e8bc4e8cb82bf684914573389a05defc","datavalue":{"value":"proper equivalence query","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290678$57DDBFB8-184E-44FF-96CC-821F208F2C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6deb46a65d1fb0120ae1a2f485c56a923a905e","datavalue":{"value":"exact concept learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290678$CAE72ACD-6C79-4228-B567-C0FF8FD9B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2754e4ce5d0edacfbdf47ed47deb9fb0f4d7ae","datavalue":{"value":"model learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2290678$43736ADE-C0CB-42EE-A5FF-ED4306C098D2","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":"Q2290678$58006916-9D90-43E0-8103-BA5DA808911C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9c89a45d8110d9f0fe29dd0c2c6ff20a8700390","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2019.11.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2290678$4F4CF36C-203C-41BD-A5E6-8B2EC18CA555","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a88bc77c64ef32573f5a42c3a49925f8550c4c92","datavalue":{"value":"W2989116986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290678$E64C5E23-C42B-46F8-83A0-B89BCBCFF163","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1192fa7bd6d09a7a4ce84353df2cbdcccc265cc6","datavalue":{"value":"Q124965940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290678$106547DA-663D-4EC9-A485-EF38D02BAC49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$2C80659C-9129-4123-986F-BED945739C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$070D32E0-6E44-4B32-BB1E-D06F7CE590DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb01b5e273a43c6e5f8af95d2c5d32adc089d9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1426146,"id":"Q1426146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$7655D20A-74BA-4D4E-986C-FA1BDCD740EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$1D3B6BF1-6EEA-4A50-9191-2737342E6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$24E90C5B-E5D8-4D70-A533-B1AE3EDEB731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3eba3038c9cf05ae14c6854d252129846d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":1892202,"id":"Q1892202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$7931A6F0-DF98-4DB9-A3C0-684F6249EA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0ce99fb554355108ab378e34dd7938c2fbc7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1342520,"id":"Q1342520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$3EE1268E-5113-404F-81FF-73C9C1D76186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84fe142876319c1801d90692f9f0fb104b1ab44","datavalue":{"value":{"entity-type":"item","numeric-id":4299296,"id":"Q4299296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$1AFE883C-FA9F-43E9-9841-B4C5DC656F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0741e1f99ce43c808f833717b01c6f2185b25475","datavalue":{"value":{"entity-type":"item","numeric-id":749233,"id":"Q749233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$67E4E831-139C-4AC1-9E02-9DFAB532CB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$6D6D0F30-01CC-409D-9DD6-1DF075863810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff2f42450033ea8f40407d5c999434b2a0f9f04","datavalue":{"value":{"entity-type":"item","numeric-id":5396611,"id":"Q5396611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2290678$49F71893-7FBA-4735-9899-35EAA2038372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5274a2beddca763409f10eb748258dd2831ee463","datavalue":{"value":"10.1016/J.TCS.2019.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2290678$864B226C-0E07-4E70-A546-C6954515CAEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6782c84418d8724dbdffdb623a49c8b0181a435c","datavalue":{"value":{"entity-type":"item","numeric-id":4645661,"id":"Q4645661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5256d5ea62668749f19f87f0b97808b30d5289bd","datavalue":{"value":{"amount":"+0.9993336200714112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2290678$EEF60ED6-F0A1-44C6-81EF-A5E604AC0BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7fb176d51c65337d03a3ff03be7575d13e88cb","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b331a20ee839f4ee4e9c0e69a6b32f9c630d54","datavalue":{"value":{"amount":"+0.8073604702949524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2290678$CBD3318F-9955-4490-9568-E63A24516308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24629ed51b6ee33a7fa70f27f3145dde373b8c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4013555,"id":"Q4013555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ae229ce3b09f1de5d68fd6db9eb4342b07f813","datavalue":{"value":{"amount":"+0.8037307262420654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2290678$4C6E1631-4F05-40C4-985C-9623701103E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a521b8519101aed8a35c99b72314125898d4cc47","datavalue":{"value":{"entity-type":"item","numeric-id":5172697,"id":"Q5172697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5116cf706add1110874b645f09f14ebe62b42387","datavalue":{"value":{"amount":"+0.8027331233024597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2290678$0319FD5E-601E-4E2D-981B-A2D7464A9F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd9bfb26ae3bdcea52062f729db82996722be65","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9f39840f0299871b808e0e3dcb4548b2afb2e9","datavalue":{"value":{"amount":"+0.7822403311729431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2290678$944AFA2E-6E70-4BA5-97F6-1F3E86B364AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The power of random counterexamples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_power_of_random_counterexamples"}}}}}