{"entities":{"Q5501191":{"pageid":7530751,"ns":120,"title":"Item:Q5501191","lastrevid":52318787,"modified":"2026-01-21T10:48:15Z","type":"item","id":"Q5501191","labels":{"en":{"language":"en","value":"On sufficient conditions for unsatisfiability of random formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6468749"}},"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":"Q5501191$1C16D6B4-A23D-4F4D-869B-5867B907054C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62d51d9e7dcef35ca8caced93e2ee9855429a1a4","datavalue":{"value":{"text":"On sufficient conditions for unsatisfiability of random formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501191$7E7F66F6-7429-44ED-9367-C1C3266DBE52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"307b0ff6cb51b21bd524728cc82694efbde59c20","datavalue":{"value":"1316.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$16331F84-C536-4476-99B3-BE3F3D7E1D43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c7475850d3200583c1b8b3a9e0e33beed8e41d","datavalue":{"value":"10.1145/972639.972645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$2DE3BF37-C6A4-4471-B0F6-1580269EF50D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501191$4F866765-7038-45FE-9BA8-9C4D828F2CCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501191$B3322E9C-A7AD-4BF6-99D2-D928389EF033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ebeda463aa8b20f41e68dba0719b27436709d9","datavalue":{"value":{"time":"+2015-08-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":"Q5501191$50EDEA11-6941-49C6-A347-F1DD6CC95DA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$D6E0B2C8-8286-4BF6-843F-2A8A8E8B1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$D27C6F12-E16C-4FCF-B7F8-8CB6A9B5EAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$D51B3437-B4E6-47F9-8DF3-3B4FB6A0F9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$F2CB3CCE-E9BF-4B5C-9BB6-6D9C8989BCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$984E045A-C16D-4E75-A9E3-251F44EA0164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$A6EF884F-F106-41B4-B3B4-814549B7DD1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9762ae9a31cd926c3856ba6e1ebddaa136612397","datavalue":{"value":"6468749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$403FF631-973E-4C28-BA29-99330F3A4451","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":"Q5501191$DCB265FE-36CC-4C45-84AF-C07733FBFDA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bc1e71e59fcbc32e79a341336a37a11d1672673","datavalue":{"value":"https://doi.org/10.1145/972639.972645","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501191$2EBDE872-2471-46B4-ABB6-111B0FFC1A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b362d5f61b4e0b95b2af1e163267da4c7bebdab","datavalue":{"value":"W2123581574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501191$92FF5F2B-BD02-46B3-AB8F-74E476B8525F","rank":"normal"}],"P1643":[{"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":"e71fea364f8397d016c6ef9519fdda0443509751","datavalue":{"value":{"amount":"+0.8622286319732666","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":"Q5501191$F20104A3-51E1-45B0-9F3C-F29923D1FEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f8fd2ea61e9cb48fe2ac4632854cbebc6c8571","datavalue":{"value":{"entity-type":"item","numeric-id":3439113,"id":"Q3439113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71fea364f8397d016c6ef9519fdda0443509751","datavalue":{"value":{"amount":"+0.8622286319732666","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":"Q5501191$9B60DE4D-B772-4351-AA2B-269E032391EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e2ce5af33dc165d9887836c40a254d4cb8025c","datavalue":{"value":{"entity-type":"item","numeric-id":5175988,"id":"Q5175988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a1f07391d10f634af21348d9a6b494dfe2f23a","datavalue":{"value":{"amount":"+0.8193044662475586","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":"Q5501191$1BCE3701-80FB-42A8-A4DD-D0B3C645073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3917e3e7fe2dc83b3de6c719e805f0e55c1c890","datavalue":{"value":{"entity-type":"item","numeric-id":5466490,"id":"Q5466490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491dd836618a48d822c6237e2ab193ce4ba625d4","datavalue":{"value":{"amount":"+0.8178502917289734","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":"Q5501191$CDF1F775-A523-4BC3-B145-BBAB5B5BA6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72ebd5ba42a7b350c8370f88997b631f6111f57","datavalue":{"value":{"entity-type":"item","numeric-id":741088,"id":"Q741088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efaaae158589e637abc879344e95cf1f9524752","datavalue":{"value":{"amount":"+0.8165431618690491","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":"Q5501191$0A5F0E81-47D7-4520-9527-74586F5A13C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501191"}}}}}