{"entities":{"Q1961446":{"pageid":1972188,"ns":120,"title":"Item:Q1961446","lastrevid":47432707,"modified":"2026-01-01T18:00:44Z","type":"item","id":"Q1961446","labels":{"en":{"language":"en","value":"Satisfiability threshold for random XOR-CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389863"}},"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":"Q1961446$A90BD60D-0DDB-4C84-844F-F0E5DECB1B9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f3dd97c5ebff1f3063b1040e0f632fe7e13fb49","datavalue":{"value":{"text":"Satisfiability threshold for random XOR-CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961446$CE54BEFA-2046-4720-852F-0FF95EB12F82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63eab8237993e2fde1623694d4977a8baa7ffb48","datavalue":{"value":"0941.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961446$BEA34B04-4D96-4B00-86DB-F0B189EAA085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"037931502f8a398eb724331c31febd1a79152947","datavalue":{"value":"10.1016/S0166-218X(99)00032-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961446$B3B39687-DD7B-4992-AA52-4096E6F490AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$D179584E-A2EE-4521-BAC9-3FEF259C54A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e974d97bfd43337dd9696788581e32a53e631389","datavalue":{"value":{"entity-type":"item","numeric-id":598195,"id":"Q598195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$AE5B92A2-637A-4ED1-A9D5-A5EBC3ECD2DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$4C8F303C-3E51-42AF-AB01-ACB427AB8BC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961446$93C524B0-E53B-4B13-AFA3-D1CA0276C973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961446$F6F7364A-83E5-47E6-BEFD-2DF415879C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca42b7db989a4bc1f4ace4cdfd636e5bd27b518","datavalue":{"value":"1389863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961446$DD2B2B28-121C-48D1-8F71-F2FBEEDACACD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961446$6EDF2A2E-63C2-4414-9900-D74A6D7BDAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961446$481C9C99-2E86-4498-B5A2-0B3FB099917C","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":"Q1961446$38ACF0B9-DB85-49B8-BE41-2C94D5058BD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$25DE0B8E-F20C-429C-8E88-A72046537531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$2B89E861-338C-4043-B274-FA03C41FAC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$6B1E8CF1-FB43-4219-A739-749142ED4722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927b3bb72268e811f46476ea8559c6205f6bc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":1917076,"id":"Q1917076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$6A20BCF5-4742-4BAB-8765-814AE9DE28D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd227013a96dd65d0289b90d93ff4bba0dd80ab","datavalue":{"value":{"entity-type":"item","numeric-id":3286850,"id":"Q3286850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$163F9717-36C8-4AF9-930F-789966EFF496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a4852afd6a2b38839e317858c988b60242805d","datavalue":{"value":{"entity-type":"item","numeric-id":5512197,"id":"Q5512197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$94EEC045-BF0E-447C-B854-2D441115D101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c460f983de9e6a420aef566a3398a70e655aa7d","datavalue":{"value":{"entity-type":"item","numeric-id":4876696,"id":"Q4876696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$881B5AC3-113B-4445-9AFF-EA1CE47DAF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b411fda6a167c98dd15e01e956d8e897fa4afe","datavalue":{"value":{"entity-type":"item","numeric-id":5600562,"id":"Q5600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$B1AD905A-D720-4F5B-BE3D-FDC26D3C598A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$E8CC47ED-70C3-46E7-B33D-8225D20D62AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f19a85113fb7d8cdb6659494d96a596a8c4d9","datavalue":{"value":{"entity-type":"item","numeric-id":3723699,"id":"Q3723699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961446$19CB3035-0C3B-4E68-B497-D4F2E6CCC473","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2401dcb30fc992576247d730479e08e662f2f386","datavalue":{"value":"Q127014902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961446$59BF3AFD-CF7A-43C6-9568-9255E26189D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cc9f11bb82e66429652fa3a2f292ace5ab5022e","datavalue":{"value":"https://doi.org/10.1016/s0166-218x(99)00032-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961446$DE0BF55E-F04B-49E6-80F5-07939A874CC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc10748130b97b2900a297e9560c774010195a6","datavalue":{"value":"W1971378428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961446$B88E66A1-3140-48B8-9AAE-DF3CEDBC03AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59a16b4b19c4c9046ca01be7bd0329dfc266ecf","datavalue":{"value":{"entity-type":"item","numeric-id":4825480,"id":"Q4825480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03140294c338d48c6edb91a3db7622b97c49221c","datavalue":{"value":{"amount":"+0.9032087922096252","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":"Q1961446$7374D613-833A-4ACA-B6F7-9C040C8ABA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da0a580727772c96c1fa9c952f4f5395ed79c23","datavalue":{"value":{"entity-type":"item","numeric-id":627513,"id":"Q627513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7faa3c293bb7910840939da23c5ce3ce2c6605e","datavalue":{"value":{"amount":"+0.9008641242980956","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":"Q1961446$687E3EAE-872B-44C3-9314-FAB50F462689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30990fe1c15e9b7c6746ef48dc28b608040d4bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4825479,"id":"Q4825479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cef39230d8270d257af0b7545d342a16d211697","datavalue":{"value":{"amount":"+0.8987719416618347","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":"Q1961446$5D06B190-CA77-4F25-A7EE-324F0DED3C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de950c9cc40e206547c579849a208f175d7b3de4","datavalue":{"value":{"entity-type":"item","numeric-id":4802163,"id":"Q4802163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8a27c2fe1790d2472671a81c01a747e1d313a3","datavalue":{"value":{"amount":"+0.8860633969306946","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":"Q1961446$8D780292-82FE-4E94-80FC-350B14F13A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57815097ddcc4f21c757b4364660d08c758a3eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1565907,"id":"Q1565907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62520d760aec595e9dd1735415e46cdd9fabeb8","datavalue":{"value":{"amount":"+0.8781262040138245","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":"Q1961446$3D560F10-FD9D-494D-9687-162677E0AA20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1961446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1961446"}}}}}