{"entities":{"Q2225478":{"pageid":2236221,"ns":120,"title":"Item:Q2225478","lastrevid":71606724,"modified":"2026-04-13T23:21:53Z","type":"item","id":"Q2225478","labels":{"en":{"language":"en","value":"Learning inductive invariants by sampling from frequency distributions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307317"}},"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":"Q2225478$173AB258-41D0-4FF2-9074-9B4F0271B2BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"497f8de9764eccd9c9adebc1d6e2871320393edb","datavalue":{"value":{"text":"Learning inductive invariants by sampling from frequency distributions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225478$3FBC9A94-0B9B-4921-A8CA-80FE3B67F1EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"943284d4f8734220e035af2857e7b1e4b34f6a1b","datavalue":{"value":"1506.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$7A3E724A-A7F6-4665-ABBC-B3B540C0DF0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$E3BCECD7-C78F-4A69-80BB-82EC13238530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b0dc6ae86c4cd50dcdfbc1bd8bfb5cd180f0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2225476,"id":"Q2225476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$4521CF81-AD1E-4A7D-B1D1-466D6991D2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eb89254740d46c5cebcad6f9a27aaf32b26e7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2225477,"id":"Q2225477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$B6B8A455-A708-46F1-BED4-9975BEE2836F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$9B8923A4-58E4-484C-B5E6-AAA22728FA06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225478$1399EEA8-AF0A-45CF-BFE2-C17D7BD468A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$51A3B5B3-914A-419C-BD42-CE534CCF2FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$B82A32ED-9540-4199-A1AA-534032D75B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$B5D2F5EC-22E5-4C55-A584-F0199672947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$B3160304-BB50-4862-9505-CE295230E1DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82bf5c50dc30dea8b915a800aef5ad48cfbb9a02","datavalue":{"value":"7307317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$E95B7C36-ABE6-4D73-9766-BF80B0965F2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225478$DBA59199-CF8B-4B2E-8BAD-E5D291F76676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535f65541f41a57140701ba196c6989224dff34b","datavalue":{"value":"invariant synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225478$11FDFFD7-DD6C-459B-84B8-B9E8420C1E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb06252eea3fc1acdd54ecc8afe7b2066e2cf645","datavalue":{"value":"syntax-guided synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225478$9E740ABD-F826-4995-8098-BB179DD9AFF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$B046FF7C-2991-4E9F-B3AB-3C7D347D0B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$EFDA0376-5188-42B9-942A-CBA96E77C8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5c3d77af61a9360368d702ca8667959237a71f9e","datavalue":{"value":{"entity-type":"item","numeric-id":21727,"id":"Q21727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$31633D28-7690-4D81-B1AB-31F7CF525CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$E7E2B643-9FDD-4D55-9EA9-DF2547D6637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c604c686f18ab16ddce566dfe46258d89599b385","datavalue":{"value":{"entity-type":"item","numeric-id":36242,"id":"Q36242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$E8E54C3F-5D35-4F85-800C-46E7A1AED6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659ec6df80784febf79544dad7941eca84d6aede","datavalue":{"value":{"entity-type":"item","numeric-id":39348,"id":"Q39348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$647A81F4-3804-49D4-88EF-C2A91E9487C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$E296C218-47B9-4924-A639-242454B5420C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$F83FC98D-EFF8-474C-9404-E5A410355297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fde53d0683e968e76e459aa71fdda47ca0abf6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5973602,"id":"Q5973602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$224FFB8D-402F-46ED-8540-8870DA583AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$B55E0C10-4B83-4150-BC34-308FB5B7B91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$2F497302-1302-4ED3-B938-BAB9127B6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$460E856D-54AC-4B5A-B27D-1812058816A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"109e91091708f7142f2c9a4ce67011a990daf85c","datavalue":{"value":{"entity-type":"item","numeric-id":31315,"id":"Q31315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$960D2143-4225-4186-9D41-07F3DBA8E90F","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":"Q2225478$DE804BEC-8CC6-4B96-AE67-1C12E6457032","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35226dd2d01cd8192004e7ff75da5e47adb44d0f","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00349-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225478$6A5F10B4-0722-441B-B1B8-6E8CA6FD177B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00a58566f2f9c58e077df35cb53ce04e4854b39f","datavalue":{"value":"W3100075217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$D9A5680A-C9C8-4485-A277-7E4F7A87F1B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c84bacb2156f6dee41dbae90f188191d14ff028","datavalue":{"value":{"entity-type":"item","numeric-id":2894271,"id":"Q2894271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$93EE95B7-4A97-4436-A089-2E923FB2C346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$CEC317A4-76B8-411A-9D7A-3A105ED65903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3406683ad00aa9363d90c4954863b73476c44d","datavalue":{"value":{"entity-type":"item","numeric-id":2843317,"id":"Q2843317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$928E9473-95DF-40F4-9518-66D87323FC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdd88c0187437df1dd77abdaba504f2664c711b","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$957FF9A3-401D-4FD7-9C9A-59E769D0D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$0903AA67-E65F-4FB5-8888-25CCB73BC5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$44505395-AC77-4EA8-9A41-9477AC03971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$C912F985-6A25-4F0B-ACC8-D706DE599289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a169be9a17e29e5ed123c147edd3744ffeefd68b","datavalue":{"value":{"entity-type":"item","numeric-id":5016383,"id":"Q5016383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$8562DB7D-E60A-44B0-896F-4A82B833258A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$72DC75FA-E048-4014-A768-930303D8993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704f4865753d98c89f37be5b7076fdcd1d4df9b4","datavalue":{"value":{"entity-type":"item","numeric-id":3460090,"id":"Q3460090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$E89FA083-D47B-471B-8F98-E49B911AFEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e6dd0047866bfc8e77788fb7e9f9e563b66da","datavalue":{"value":{"entity-type":"item","numeric-id":4633561,"id":"Q4633561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$733769DF-6308-4030-8336-0580883EDBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9c1a283ac586a13f0aa6ed9f45bb4b26c3373d","datavalue":{"value":{"entity-type":"item","numeric-id":6045001,"id":"Q6045001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$51B29FE6-9154-4B47-AD9F-ACC584CA7779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$00CF4941-1AA8-4C5E-8995-1CA2A75752AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015bf62b042bc92d62e472212af84dfe1c997bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$206C8F59-DB82-4B4F-A728-CA5ACA8336EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$40CEA958-508D-4487-9451-72365FE58F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$583503E8-8F38-4713-BBF6-739B8AC68A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$FA057362-18CD-4BB7-80DC-7A3287A67E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3a5e3bf8edae398f2b61b56d57d442756c8064","datavalue":{"value":{"entity-type":"item","numeric-id":3303897,"id":"Q3303897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$32D6CD8E-2BE4-493A-A7E6-854C5FA2EEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$B54EEB4E-3595-42DC-BFCA-52C0A5A0637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$C712AD62-2E59-4F90-9839-DBC0B012449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$9D43742C-6B1E-474E-9533-79E3D41BDB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a1f57d31f37ba9bd0f9ba09187b833ecd83362","datavalue":{"value":{"entity-type":"item","numeric-id":4645746,"id":"Q4645746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$7428ED0A-F240-4BE3-9833-DD66897BFABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93abf431569bdbcea87c1d44b0c664ae14c573d","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$D77B00DB-9153-4BC0-946B-06372764E86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707165a093156462bd4a3f8762120c7cb6201ae5","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$4C42C45C-75D6-450F-9EB7-A66AC77D2EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e478b454a848e966dd19d4bc1adbaf619f7c7421","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225478$AB813866-C84B-4872-B4BA-7A290910DA75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f043eff7b5110af053495654f33a4dd0f4612b8","datavalue":{"value":"10.1007/S10703-020-00349-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225478$3C616331-2F42-4F64-A859-34E4348E4B67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12b6e66d2cdc3b79b97de95317b52bc6c15a398","datavalue":{"value":{"entity-type":"item","numeric-id":669285,"id":"Q669285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fa68f8594f56fc710e39e090e47bd735b00934","datavalue":{"value":{"amount":"+0.85673094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$FDA9B766-3963-4811-81E9-FCB74CD39272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e0edcf8c8974f738dc3d607a0d4549a39f5a4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2827477,"id":"Q2827477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f4943586b28b343051188f3c87ecb6c10d2682","datavalue":{"value":{"amount":"+0.84624964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$33B35C4C-0954-4018-A4D4-49FBE6327D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9dba8d6c9fae228fc5a7b1574c44bfce00ab3c","datavalue":{"value":{"entity-type":"item","numeric-id":6487311,"id":"Q6487311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8a1d08ad0955d4fc496d9e23ce6fb6b84f660b","datavalue":{"value":{"amount":"+0.84053344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$71A2A09D-18E8-4627-9675-86A87E90960D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22e50888c5d3648ce421077ed30e35f578e367f","datavalue":{"value":{"entity-type":"item","numeric-id":4728266,"id":"Q4728266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaefc30e1157768bd53410d5baaf298f4a7a2d2","datavalue":{"value":{"amount":"+0.8307867","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$7BC36D6F-418D-40BF-8E1D-CF42B5C14BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8a65cc03be4ad38615caab3839c75c80594310","datavalue":{"value":{"entity-type":"item","numeric-id":5941566,"id":"Q5941566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7a58b736f3cca0e4df6a7c40ebedfada059050","datavalue":{"value":{"amount":"+0.83068883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$9B746744-5893-4EFD-ACC5-8E6AAF22DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843820d05cdaadc1e11804c29b7d370d0d716a49","datavalue":{"value":{"entity-type":"item","numeric-id":4846731,"id":"Q4846731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8dd78d0f691792d231a68ca1be6ca235f3b81e","datavalue":{"value":{"amount":"+0.82535803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$9FEB49DE-D201-45DF-BD45-546CB6DE5F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4249bac57b24929ac60c59049a1c3fb82a99f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":5459628,"id":"Q5459628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4eb49c66f7e60fd1ee920ef505ca0a271b8406a","datavalue":{"value":{"amount":"+0.82369393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$6469CE62-25F3-49A2-B813-A27CF23D7A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065fc5873b60caabee5bf41408cb9f3363f6a637","datavalue":{"value":{"entity-type":"item","numeric-id":687090,"id":"Q687090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f306d2b50190e1d8c88b675ef7e5c146e776d7","datavalue":{"value":{"amount":"+0.82174784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$F72FD7A9-4D44-4FDE-9EB1-92CAC8766581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3dae0dd4c797c3bed8d89444ebae806f8da8bc6","datavalue":{"value":{"entity-type":"item","numeric-id":2447262,"id":"Q2447262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260096c5eddd40a7da82ab1ee853881e90648d60","datavalue":{"value":{"amount":"+0.82093865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2225478$C3CE3692-285E-4D5D-A69E-002D198C4A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning inductive invariants by sampling from frequency distributions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_inductive_invariants_by_sampling_from_frequency_distributions"}}}}}