{"entities":{"Q4862742":{"pageid":6892322,"ns":120,"title":"Item:Q4862742","lastrevid":47392288,"modified":"2026-01-01T14:56:58Z","type":"item","id":"Q4862742","labels":{"en":{"language":"en","value":"On Random 3-sat"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 843710"}},"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":"Q4862742$E159737B-3233-41CB-A0B1-6D52E59BC646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae034db905a0310b34b3765508b7bb710ecf45e4","datavalue":{"value":{"text":"On Random 3-sat","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4862742$FFF4E1E2-819C-4563-AF2F-F3FC691FFFF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7e1bd97cda4d0da8085b3f9b8e4f5d409bbacca","datavalue":{"value":"0840.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862742$75756A7E-6673-49D7-B310-9F2CE8F52C10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1adcf7a8d85cc4f93531241e9bbc5ab83bef6cef","datavalue":{"value":"10.1017/S0963548300001590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862742$9B5D6659-A7A5-4381-96DB-BB608168C75B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba02699842dd71b3d6f033d691f258d491b0ed70","datavalue":{"value":{"entity-type":"item","numeric-id":1748200,"id":"Q1748200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862742$198FC488-FE8D-4E8D-BBCF-8C715040630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a01746797fe0568935cdb8fd9663ac3345e62de","datavalue":{"value":{"entity-type":"item","numeric-id":672469,"id":"Q672469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862742$5869EB58-1564-466F-ABD4-826264CA457B","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":"Q4862742$16C5A758-EE77-4DC5-AF81-10918518FE3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3795412637b3de2331b3ff6904fdddc88e823af","datavalue":{"value":{"time":"+1996-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4862742$62E0CC4E-C82D-4E58-97A6-18C28BF4C3F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862742$0151B2B4-E419-4B32-A902-A49545375DCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75077bbd2808d4012edf97d8ba9c7772423e6b1a","datavalue":{"value":"843710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862742$136A5EA5-845C-486D-858A-320896A671F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862742$CA617A09-A532-42AA-BBEB-241EB3EF7DC7","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":"Q4862742$E780B994-E97A-4642-98EF-8AC7D6F80AB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30c098229d1555638f2ab2ee0bef1d30748ca11","datavalue":{"value":{"entity-type":"item","numeric-id":2553966,"id":"Q2553966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862742$862B3D9E-B382-4D2D-8171-4551506CE186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83312a3e346c7419e7c503e1050470bf3c54e96","datavalue":{"value":{"entity-type":"item","numeric-id":3758242,"id":"Q3758242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862742$A8CAD202-2D6F-4972-9509-AB19CD7780E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdf169be6e9933157800c355fb44b21e0b297fc5","datavalue":{"value":"https://doi.org/10.1017/s0963548300001590","type":"string"},"datatype":"url"},"type":"statement","id":"Q4862742$2ED4AD90-9E77-4DE5-9592-1F267EAA1823","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d901aff736bccd40f65816baf63675a89030ff16","datavalue":{"value":"W2151140339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862742$D1AB4B32-2220-4B14-B93C-0E1445A73D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a20780416c0a651fa8acba5636d9056cccf131","datavalue":{"value":{"entity-type":"item","numeric-id":3165956,"id":"Q3165956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894a403b56ce9fdfe57b35e9d401d70a0ebdc894","datavalue":{"value":{"amount":"+0.887212872505188","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":"Q4862742$B29DD80D-A212-477F-A5D9-50A2914AFADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838fcd644262926d232c9086f8a836aa80f273e9","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6264702237f76aa8528d04a65ee32dc81d09c9f6","datavalue":{"value":{"amount":"+0.8826690912246704","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":"Q4862742$847D4304-7C14-4DE2-AC89-6C239EC4C151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78da7ec0602419676af90773e62ca950f0b0e2c8","datavalue":{"value":{"entity-type":"item","numeric-id":3191968,"id":"Q3191968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81386b741d25f93fd038184b7c0f9ad8071c3685","datavalue":{"value":{"amount":"+0.8681758642196655","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":"Q4862742$649D029D-B33C-4BFB-997D-DF43459A9B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c098662167eb9d951535cc3eedbf0aeb2faa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ce864d8d653fae4394f8aa746cf90ffc112fe6","datavalue":{"value":{"amount":"+0.8641066551208496","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":"Q4862742$A1282179-7D60-4749-8B1C-C96C582B270F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"face938ba9c8ce07d5feef9cfe0e9b11f399b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":1961467,"id":"Q1961467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de9286c848373981b5d95d6d849c1a96c8f6dae","datavalue":{"value":{"amount":"+0.8631860017776489","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":"Q4862742$FE1ED7A9-C3FE-45ED-8ECB-19E51A3D4F25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4862742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4862742"}}}}}