{"entities":{"Q741088":{"pageid":742937,"ns":120,"title":"Item:Q741088","lastrevid":64062060,"modified":"2026-04-11T17:23:19Z","type":"item","id":"Q741088","labels":{"en":{"language":"en","value":"Short propositional refutations for dense random 3CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6342367"}},"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":"Q741088$68805494-8BF3-46B0-A66D-9F43EB9AF556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"489ad3c5dbdfc116fa23090ef681b5877a10b6a2","datavalue":{"value":{"text":"Short propositional refutations for dense random 3CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q741088$6D801EEC-F513-4782-846E-E9D957CAA267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c493a00b1b615616a716c7c39796e54929ab0b5","datavalue":{"value":"1391.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$B5B38B23-9F2E-43C6-9076-BC5F13F3EC24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$7C3BAD91-99A2-480E-A3E9-F9E20D072A09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$C0054510-FC3C-4C12-AD81-53DBCED6C2B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a50794c4d3cd462e6935f5d99c79b15a0a0d6b7","datavalue":{"value":{"time":"+2014-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q741088$23952B7C-36AD-47BB-A8C8-BC4D86D69E46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$63B5D211-F40B-4408-AA1D-8C6137FAAAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$FDDA500E-85BE-44D2-9D99-6181BF8437CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$77B61946-E1C7-4A95-86B5-4DF2248B737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$BCB6EC4A-604A-4597-866F-6E221C5BA516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$F21391B5-4ACF-4DC6-8566-C60F7F01CBF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e052652f61818c9ee06df832e502bd939941e04","datavalue":{"value":"6342367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$4597797F-1038-420D-ACCB-850D08830CB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q741088$53105E02-C462-4E27-B912-43A65E1A2184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f00ddf55236ec758836dfbad1ca7df761532bf","datavalue":{"value":"random 3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q741088$9824828B-AD89-42CA-91C0-BB534F19C31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f22c623631da003c39b0a2a559fd5c193a33a0","datavalue":{"value":"refutation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q741088$3EE0067E-07A3-4EC2-8789-DB2448B86F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263d7f995c1e8979ae4aeab1e04000a6e97301db","datavalue":{"value":"threshold logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q741088$109725C6-1E8A-4D14-917E-443E1937057E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q741088$C9DF2B0B-9FCD-4E30-867F-5FF2B8B96F8F","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":"Q741088$30973052-1FA8-408C-AB69-1C99F3031C1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b635aa95e4db31d05d6602a59a96d63b4495a807","datavalue":{"value":"https://doi.org/10.1016/j.apal.2014.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q741088$DF83398D-0953-4864-B436-550D488B5CC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eff221aaa2ed6a435a9dc84e8fe522d00ac1d12","datavalue":{"value":"W2950542447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$8A6E5E97-282C-4CFC-B22F-44F02C18B16F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85446647c93831c8769297549b4e387bf4a6c96c","datavalue":{"value":{"entity-type":"item","numeric-id":3581425,"id":"Q3581425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$D8AC0BBF-4B0D-4996-8915-BD3F0E1DFC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088d50352df9ad001d77073382165c77d3798fad","datavalue":{"value":{"entity-type":"item","numeric-id":3395034,"id":"Q3395034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$529D39AC-96AD-4D45-A8A8-DA49D2851E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cfde3d28bdb7498ab0195cc0775857113fa16a","datavalue":{"value":{"entity-type":"item","numeric-id":1854546,"id":"Q1854546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$88229542-1792-471D-BFB4-F8672C1120C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$9B401DF0-5942-4857-B3F7-3048E24191FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f03ded50291ec566e3ea20732155eb198bbf","datavalue":{"value":{"entity-type":"item","numeric-id":626686,"id":"Q626686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$EC317C71-31E6-46D2-B906-A0112F78661D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$1A7B7D62-C5AE-46FE-AE76-5AEB9AB3676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$0D244B8C-DD6F-484F-90E2-CE02C2C08A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$FD15F5B8-0F40-4D73-9E50-54C18DE19CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d1b169c78093ce8db60dab660d64c1863559c8","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$44B1C446-9FE7-4586-8F89-1628B4E44A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$F4790481-CD89-4992-A5E2-676C004AF516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$B967F589-CB1B-4C91-9F58-883DFC470BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984975ecbccfcfe41323be323bdb608bb03eb8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5465359,"id":"Q5465359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$63E030EB-D880-4CD8-BB06-A361D21FFCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$61DBA4DD-AB95-416B-A970-E439D5C5FDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$10A88893-0255-4E41-B2F0-0B41E56EB39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$9BC2B13C-5690-4571-A0F6-8E2B9E7B0934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$2720ACD5-7453-4D4C-A36E-C42AD03413A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2302f8b1154a95a099756c11ada112026323ac","datavalue":{"value":{"entity-type":"item","numeric-id":3002778,"id":"Q3002778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$A968B6FB-6DFD-4710-94E9-13D02ECE6187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f47fdc267e9048062d8037937860004fa3ce54","datavalue":{"value":{"entity-type":"item","numeric-id":5470697,"id":"Q5470697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$A4A568A9-7623-43D8-8B41-57417E13F7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65457ad371a134f48c30d8d3c2237f83e8c3be6","datavalue":{"value":{"entity-type":"item","numeric-id":2946621,"id":"Q2946621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$7BF99AC3-B0F5-47E6-A1AD-34ABB7ACBC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac0c37f379af66489170b21bf7f88d1cb9d24ef","datavalue":{"value":{"entity-type":"item","numeric-id":2762790,"id":"Q2762790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$C8D58637-4930-4B6F-8A6A-3A981E7522E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0169f5f09b1bd52386ad50752f6663af482d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":3439113,"id":"Q3439113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$A2644BF9-4A49-4893-81D2-6F98387F3FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$0A3DF922-E1B8-47C5-B830-8348BEB51973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$372F286E-D66D-42EA-B905-75DAA076A7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3f076d6c347421c94147e0bddcaa6a59d55251","datavalue":{"value":{"entity-type":"item","numeric-id":3697157,"id":"Q3697157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$059FAD7D-0A76-468F-9794-2ABAC14AC129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dcb28b126a1c499df9639b6e12fa52c02ce0431","datavalue":{"value":{"entity-type":"item","numeric-id":5415475,"id":"Q5415475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$21AC1D39-A8F1-4CA4-9EAA-A80B1C80B798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$8C4BC842-8188-462B-AB13-35F2420C0A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$0653E627-43F0-47E5-8FF9-5C3F7B42D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$958FC35C-838E-45C4-AF5C-993B0090399E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$FD3219C6-81A2-4F41-A30A-3D1098B25FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b195aa3313cbc2f113266d59b0433801d69fb","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$14195BC9-8A4D-4A8C-96CA-EAF8F420B28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cace26d47097930e856c9faeb7cdfb16b89c19","datavalue":{"value":{"entity-type":"item","numeric-id":4527041,"id":"Q4527041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$A685A906-B840-4772-AB4F-7B00148FC35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e2002518c616891ffa64505d14e095f63786ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2986826,"id":"Q2986826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$D5A31AB7-70DD-474B-A621-78D1AB6C8BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664cdfac17b75fe19fb340677688c46607500b32","datavalue":{"value":{"entity-type":"item","numeric-id":3540179,"id":"Q3540179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$1A379603-7886-48D4-88A6-5BC03AF13F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6601e401227e4ccf417963f0654247aa09bd6310","datavalue":{"value":{"entity-type":"item","numeric-id":5310650,"id":"Q5310650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$4C5D716C-2F56-41BE-A9C4-CCEFDA938948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$E84AA883-98F7-4E46-BCD4-8ED06B7E9906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$68B6FA77-F2E9-42F0-9F85-12703E7605FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f4859b896346c19dda4c5c4345766d2110894c","datavalue":{"value":{"entity-type":"item","numeric-id":1886325,"id":"Q1886325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$F71D0B79-E71D-4BC2-BE08-CBC1F9ABE721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326c44df2a80f514f80fc72eba9aed1ce2d90a7a","datavalue":{"value":{"entity-type":"item","numeric-id":5167811,"id":"Q5167811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$B04B900B-D651-4E0A-956A-864DC2639BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q741088$BA2BD129-4B1C-457A-AF64-CADE3CE284E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8aa1fc8ca76c3dc5c59f82fa3a908c3c35847a5","datavalue":{"value":"10.1016/J.APAL.2014.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q741088$F2319A00-BB19-401D-9E33-F6EB91953ED6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad17e3776099c6bc73b43c18ae884fd06a6b03","datavalue":{"value":{"entity-type":"item","numeric-id":2986826,"id":"Q2986826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e248c7a079bd38706dcd4aa84a84a96968a15d7","datavalue":{"value":{"amount":"+0.9987961649894714","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":"Q741088$A7FE1B09-8F71-4B8B-90A0-96C777419F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92efdee555ab22f176cea1501ed1d823066cc0ca","datavalue":{"value":{"entity-type":"item","numeric-id":2939527,"id":"Q2939527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db860470005c244a0cde436cee8f8c1447b26de","datavalue":{"value":{"amount":"+0.9824374318122864","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":"Q741088$A3FAB2D2-37F3-4D48-909C-059D73CC4569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e677f39801a5f7bf8d9ab844527875897970016a","datavalue":{"value":{"amount":"+0.8625953793525696","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":"Q741088$C14E4AF9-6B81-4856-82E6-EC165FB6C285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dbb18769caf5d61536c0850f31f8ff99f5ef29","datavalue":{"value":{"entity-type":"item","numeric-id":2311546,"id":"Q2311546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e677f39801a5f7bf8d9ab844527875897970016a","datavalue":{"value":{"amount":"+0.8625953793525696","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":"Q741088$D569A86D-0FF6-4EB1-966E-99FD9A080EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8a9635fbb364cca9516f92e620ee63245068d6","datavalue":{"value":{"entity-type":"item","numeric-id":3002778,"id":"Q3002778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0faa25c6fb26b663dc4ff0803c44edaa457b49de","datavalue":{"value":{"amount":"+0.8590217232704163","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":"Q741088$F58DD97A-602F-4BE9-9923-20CEBD80025A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Short propositional refutations for dense random 3CNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Short_propositional_refutations_for_dense_random_3CNF_formulas"}}}}}