{"entities":{"Q4511484":{"pageid":6541077,"ns":120,"title":"Item:Q4511484","lastrevid":41907275,"modified":"2025-05-14T15:00:40Z","type":"item","id":"Q4511484","labels":{"en":{"language":"en","value":"Bounding the unsatisfiability threshold of random 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523256"}},"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":"Q4511484$F87E457C-BB11-491B-83DE-61D8059D4500","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"903a61926809a77ed20a14d31a66cef8f9a5e546","datavalue":{"value":"0958.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$EA7DC379-53AB-49C5-A234-DDBE59773E58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"069e814aa734681bf0a12485160cdb2936fe3e2f","datavalue":{"value":{"entity-type":"item","numeric-id":173690,"id":"Q173690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511484$A59F9B8B-C9F2-41C0-9BAF-A23404F6DAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"470ab19ea59c903ef70cce34096820e8d1297da8","datavalue":{"value":{"entity-type":"item","numeric-id":215099,"id":"Q215099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511484$80E0D4EC-D0F5-46B7-B1B3-4227D0BD738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07d8ca7c94b422bbb8814e544613a749d253da3e","datavalue":{"value":{"entity-type":"item","numeric-id":607610,"id":"Q607610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511484$B1FCFE44-2702-41BD-9E58-67DF470FCB7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"596bcab15d057c5a3be66976ce230a7e445b7657","datavalue":{"value":{"time":"+2001-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511484$5AC67C9B-40C4-4189-9E1B-5FFD808118BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$03F6353B-177A-4E59-91A0-CC122096BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$E965BA88-FC7F-413E-95C3-B82D3D91A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$695E7653-99D1-44BF-80A2-B8EE6914D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$02BCE896-2600-46CA-9C3B-899C74B7008F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f7d24b85f96e5287b63601b7b8acf7cfc12bd64","datavalue":{"value":"1523256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$4FEDE863-8CF8-4763-A5C3-0AEA9DDDE75D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89d2f0de95b34dc530f2c07889254256baae93c","datavalue":{"value":"unsatisfiability threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$10B23FE8-82D6-4984-A1E2-8ECA51533D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c65a943a54cf539f6889bf7eea6689515dc74d","datavalue":{"value":"Gaussian coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$6F23216D-44E8-434D-9804-0C573F98AF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$9145AD75-3002-4ED9-8257-2E545DF54AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d90950a73bceb97c14293d72b737bf18a4224b4","datavalue":{"value":"satisfiability threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$2AFC1A40-6CC5-49D3-9CEE-F5433ECE23A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f00ddf55236ec758836dfbad1ca7df761532bf","datavalue":{"value":"random 3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$8901442A-5A55-4B65-BE93-1E8BEE7158EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3563a3016856369f1aea328553a032f22ecdbb82","datavalue":{"value":"spin system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$813590A5-E4D8-427A-B312-146B323B9442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d4ac74482fea4b896682b9463a3d3e6cd45458a","datavalue":{"value":"statistical physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$ECBF0518-ABD5-4EB6-9527-68FBACABDFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cd1c8b04bbd23ad363ddbdfdb8fe17bb1bfa7e","datavalue":{"value":"Rogers-Szeg\u00f6 polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511484$B677A695-AD77-434D-92DE-6F03249F0D19","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":"Q4511484$BC820F13-62D0-4F43-A070-B472D64E6EFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a24ccfa37f4498e408ba946fe3242954da4c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4310029,"id":"Q4310029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511484$68550EEA-333D-4FF0-BFEE-9B25750714D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb221f3eccde88d4acebba0ceb55913eeaf6f415","datavalue":{"value":"W2132240307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$F8438BF6-EC72-4063-BDFC-B2AE1C41A648","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"238f4ec2910ff510753a5fa4e455a852bbc977d2","datavalue":{"value":{"text":"Bounding the unsatisfiability threshold of random 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511484$1EE20E65-DCC5-48E4-84F9-E079E005D00B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635a733bd0ef83e0f3c19f9acd9be87a73430639","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73151d396afea01467a0261ffb5b5f660b303a6f","datavalue":{"value":{"amount":"+0.94260323","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":"Q4511484$1A4A4929-065B-4AC3-BC5E-94859F98E3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a8a9b4b6f7a993c5971c2f1e46d2cb42085cf3","datavalue":{"value":{"entity-type":"item","numeric-id":955013,"id":"Q955013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65134266ed930122cea21728b95bd6b8cbc1d4f9","datavalue":{"value":{"amount":"+0.927815","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":"Q4511484$97BD3F42-AADD-40B2-841A-A2DE0A303EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9031456c40fc1e4130be49ff750e823159074c73","datavalue":{"value":{"entity-type":"item","numeric-id":1408384,"id":"Q1408384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b2de7ce6c18b8c0a0a343cfd154e97789c54cc","datavalue":{"value":{"amount":"+0.9212238","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":"Q4511484$EB59CFB3-C237-43A2-8869-85F93936E264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47346030bf14a865d018673d2fb08721168c935","datavalue":{"value":{"entity-type":"item","numeric-id":3140436,"id":"Q3140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77447d892f59038d9a6b3471bf2a00e1ebdd788","datavalue":{"value":{"amount":"+0.9179673","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":"Q4511484$F3B0399D-A746-4966-A961-8654512355F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab6960da7e50f78b8d3505d37f4c632463913d8","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85835002e5b8ad4effa9e9aa0a7804a89cf7dd4b","datavalue":{"value":{"amount":"+0.9166677","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":"Q4511484$095DA59B-3D43-474C-8EDA-F30ABD0EFCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482f55c95270d7025f056a26d71c005b387dded1","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08edfed5e323718e23a59007273f87f579ad9390","datavalue":{"value":{"amount":"+0.9162695","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":"Q4511484$FCE295B1-2510-4B19-8B1E-E361825EED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c389d951ae275b35ec2db4131ffc15d9ed9d09","datavalue":{"value":{"entity-type":"item","numeric-id":5034546,"id":"Q5034546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84401d42ebf22b34b5bb72a8a6e079ffb38e983","datavalue":{"value":{"amount":"+0.9152087","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":"Q4511484$50804889-E2EF-40E8-8B60-BD37447BD4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30dd8e7d7b2dbd57474a049562d10de1a2c21638","datavalue":{"value":{"entity-type":"item","numeric-id":4930582,"id":"Q4930582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d101edb0fd4c7a54c2a3ef214ca8b31c46a2133","datavalue":{"value":{"amount":"+0.91311413","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":"Q4511484$30A57EE0-5B1D-454C-8037-7F75E880742F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d995963dd645485f6c99eb8199843af1334b1b","datavalue":{"value":{"entity-type":"item","numeric-id":2910950,"id":"Q2910950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f539ad5a86c32c015840dd297013fb5f3f76402f","datavalue":{"value":{"amount":"+0.91294354","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":"Q4511484$BD0A3CEC-B9C6-4C1B-97C2-D3D3A78ED407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ed73743ad20a62870083d5c8fbfefc43f98d7ba","datavalue":{"value":"10.1002/1098-2418(200009)17:2%3C103::AID-RSA2%3E3.0.CO;2-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511484$292BBBE8-6D77-4B0C-8293-FC86F58AF1C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b29204cfea04de3c229b062e832b3d7c342f7528","datavalue":{"value":"https://doi.org/10.1002/1098-2418(200009)17:2%3C103::aid-rsa2%3E3.0.co;2-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511484$159E57BB-FA1F-4E84-9759-E9225152D371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511484"}}}}}