{"entities":{"Q3552504":{"pageid":5582408,"ns":120,"title":"Item:Q3552504","lastrevid":88521647,"modified":"2026-06-04T14:44:53Z","type":"item","id":"Q3552504","labels":{"en":{"language":"en","value":"On the random satisfiable process"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697166"}},"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":"Q3552504$B94218CC-91BB-4615-9B07-7BCCE4AE9609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"869cc567558bfe1b232236da2c6238fe384c2cf5","datavalue":{"value":{"text":"On the Random Satisfiable Process","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3552504$8F311478-3324-4064-9BC5-6EF19C57A032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3e245b71282fc0d0646bbd4b444a177de2021a4","datavalue":{"value":"1214.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552504$FEF730DC-3C76-4C04-B2DA-FEF96A68E8A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de6ac4c8eb603a8b091bdab3fc568073c1082a7","datavalue":{"value":"10.1017/S0963548309990356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552504$9E0D6088-B68D-44C9-B0FF-E2965E5414FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1cf400bc99a406c4d5dfcfdd4d04f10c4dc1f7f","datavalue":{"value":{"entity-type":"item","numeric-id":178700,"id":"Q178700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$91C25E6F-1EFF-406A-B2AF-47827221086D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06c2bb062e1c2d6c7d8effed64a3cc8e206996f8","datavalue":{"value":{"entity-type":"item","numeric-id":248242,"id":"Q248242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$1FDCDBD9-B6EE-47D0-ADFB-CDD032A09A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"502bbb6d3842faa7531646862d34737b11134d06","datavalue":{"value":{"entity-type":"item","numeric-id":1584432,"id":"Q1584432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$D7B49B2C-443C-4A8D-BEEC-A25B2046470B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc98aa839a361f8a72b00376d60e99225cffa57","datavalue":{"value":{"entity-type":"item","numeric-id":2703019,"id":"Q2703019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$A1A9CB5C-81BE-43A6-8BEA-E0FA9F79D5D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3552504$39A53038-C32B-4584-B4DD-B6265843586E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25de185efe9b495c41c251f4a323844f086ecae1","datavalue":{"value":"https://arxiv.org/abs/0807.4326","type":"string"},"datatype":"url"},"type":"statement","id":"Q3552504$05BEC780-2119-48AB-9045-AE69FA040421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552504$BF22F66D-AFE5-40D9-A797-636CECB210B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05687fb26e0bc6d97cf302eabc24ef779b6b9e31","datavalue":{"value":"5697166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552504$0DED3307-5860-48BE-8293-D36D8EA7EE67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66a477f9c66fad934bd6d11088c3fa05e2bfc652","datavalue":{"value":"random satisfiable \\(k\\)-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552504$1CC44EDE-FB78-4541-BA09-0CCFBB595A4A","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":"Q3552504$0A3DD2C0-957C-4A5B-B5E5-83DFD7F5E7AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"322bcc83598ef0c2692ddeb6b7617512d44c48b1","datavalue":{"value":{"entity-type":"item","numeric-id":4697820,"id":"Q4697820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$2F15B86B-FA66-461E-8D9C-8DC79E4037D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a710b7359cc1f9233711666338c1335fba582f97","datavalue":{"value":{"entity-type":"item","numeric-id":4276003,"id":"Q4276003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$1F710E9B-7FC4-4ED8-B7E2-546F5330780B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa679112275286059cb418ed9dd790640c7993de","datavalue":{"value":{"entity-type":"item","numeric-id":3419609,"id":"Q3419609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$6B52667A-C474-4CE6-846B-C13FCBA79C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63223a2b10e799e0a620d9698b0286ebd9668db5","datavalue":{"value":{"entity-type":"item","numeric-id":5441360,"id":"Q5441360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$9B572F7B-185E-4716-9C80-32E1EB4739D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4dbae4b58d0c22e5044af294e0ec7f5b216b29","datavalue":{"value":{"entity-type":"item","numeric-id":5454361,"id":"Q5454361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$44C4DB0E-CF36-48B2-BEF3-FD3954E2AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295a971de1672eaa359b82adb4ba3348850ddfdf","datavalue":{"value":{"entity-type":"item","numeric-id":5538637,"id":"Q5538637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$8F40A337-F95E-4E75-827F-8EE6074D7574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7386c650f924fa9a8b59b1df61c73ff4466045fe","datavalue":{"value":{"entity-type":"item","numeric-id":4376197,"id":"Q4376197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$11DCED2D-02F8-4A57-8CE5-1A721EBE63DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$E5BB8099-1FCE-4F74-9EEF-15B993D889E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddfc83f5b714343196ebaa8ce4d01083c02952cf","datavalue":{"value":{"entity-type":"item","numeric-id":3595409,"id":"Q3595409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$9D2B3EDA-7FDB-45A9-942E-FF0BB478440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552504$866E8103-141C-428F-8A2F-D5A1D49E5D99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e351a0e95250132a2bfeab89331a36b7ed871473","datavalue":{"value":"W2083392982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552504$A86344A4-2D22-42E3-A980-8E6D01CC7EDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce923eacc97dcf52d2ee2c6ad6cb58dbda7f936","datavalue":{"value":{"entity-type":"item","numeric-id":3576756,"id":"Q3576756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e99850a3104b8404454fbee71310bcf2b7797e9","datavalue":{"value":{"amount":"+0.8852053284645081","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":"Q3552504$3286EBB6-0543-4758-9F87-66BC61373034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9067b2eb14c09726eff772ba856f3008686b12","datavalue":{"value":{"amount":"+0.8449968099594116","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":"Q3552504$69C50125-C074-4F7F-A304-7DEED6EF9F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4da15a7f718b0791317b37016a732e4a6ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":3638042,"id":"Q3638042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e700b71002263cdc8ddd25739f4df15d29c45db6","datavalue":{"value":{"amount":"+0.8350765705108643","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":"Q3552504$AD40CFA9-53A1-4495-9B35-7F6EF2801906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0dba4b25818cc95965bf3e059cd3e940c9e257","datavalue":{"value":{"entity-type":"item","numeric-id":3514702,"id":"Q3514702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df815c656b05d49fffc2b1069ffb2330810003d3","datavalue":{"value":{"amount":"+0.8340896368026733","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":"Q3552504$58E96773-10E3-4685-957F-67EA4BF724DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873428e5aa7859779d79a6d2386cb091088772a6","datavalue":{"value":{"entity-type":"item","numeric-id":5390578,"id":"Q5390578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc185ac3cdea106ed3b1e6227f515f8ebba1fdb","datavalue":{"value":{"amount":"+0.8293865919113159","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":"Q3552504$03577A46-D1B7-4749-8D37-998E4C743DC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the random satisfiable process","badges":[]}}}}}