{"entities":{"Q519906":{"pageid":521673,"ns":120,"title":"Item:Q519906","lastrevid":62455725,"modified":"2026-04-11T06:12:49Z","type":"item","id":"Q519906","labels":{"en":{"language":"en","value":"Small-bias is not enough to hit read-once CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699123"}},"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":"Q519906$B8EE6918-81D4-4D00-BEF7-4EC7D7A0959D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3064d04755479dc649cdef78e7c9cc947c57ab67","datavalue":{"value":{"text":"Small-bias is not enough to hit read-once CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q519906$EC21B6F8-286C-4E17-B60B-280BB99AACED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03598697881ceb0f8a88e6adaacd4d4786f9ba63","datavalue":{"value":"1364.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519906$7E94670C-C819-4158-B149-690F8CF4FFBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9992c3c42f1eb6049b2b5c31c39ce15937c90ccb","datavalue":{"value":{"entity-type":"item","numeric-id":519904,"id":"Q519904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$89270F1F-3A56-47FC-A871-8CB470E512C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f151fb9d8c2c717c3b7214e094b1721f6e91f47c","datavalue":{"value":{"entity-type":"item","numeric-id":1408548,"id":"Q1408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$47EA1C2A-1EC5-4EF8-8407-0F5474142C94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$477C8A3D-3E37-474C-91D3-F38950235729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72c0e07ad537fb33330a33ecd7818cc14403de47","datavalue":{"value":{"time":"+2017-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q519906$772DD4A3-330C-4812-B507-E8B029538E71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519906$B63C6888-FFEA-48CE-946D-FD7D212E4A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519906$024F95F5-B734-441B-9747-B24FB30A5B55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9d8527d43793c884ce1ba6a1b46c9f8a95bdde1","datavalue":{"value":"6699123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519906$E6F43D02-A271-4B17-912C-04A099DAF6EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0539db072e4ee5849e5383c82c9881917950f74e","datavalue":{"value":"pseudorandomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q519906$7B0B185A-A61E-45AD-9DF2-046119A99665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4282d5db6721a0519f4f520381157fa14d63ade","datavalue":{"value":"hitting set","type":"string"},"datatype":"string"},"type":"statement","id":"Q519906$E8E5C8D2-0163-4377-B501-9376D1AB890A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1aba84f43b2dad15cda3b8807b8f9bc45582250","datavalue":{"value":"read-once CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q519906$56AB99A7-E90A-4D42-AEA4-19D5D108F7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b72c51892fbe524ce83c5bee06ef0979e5f3125","datavalue":{"value":"small-bias","type":"string"},"datatype":"string"},"type":"statement","id":"Q519906$8A33D92A-2C84-4C74-A813-391E0A9C7E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4331c4bdcfbebccd8c6bfc8998364ad4a36570","datavalue":{"value":"harmonic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q519906$03EA8F30-E5A1-48FE-B8AA-730B87B8BE80","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":"Q519906$4519E8EA-9FB2-4552-BC37-7056B54B121F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01fb6e1e2bdf31aa40e65c5dd057d86477ebf5e1","datavalue":{"value":"https://doi.org/10.1007/s00224-016-9680-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q519906$FE3CA43C-41BD-40D5-9EB4-5455B00CBCC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e77810bee7a3d9a1a8d96fee8494b191f82c80c","datavalue":{"value":"W2345543786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519906$0B43E5B2-1850-4D5F-8606-2D68B73683D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e28a002bf44928c8dadfd62c077c3d1e812243","datavalue":{"value":{"entity-type":"item","numeric-id":3541801,"id":"Q3541801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$AF6E2F75-F8A0-4D35-B403-5F704C34FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239f7531821cb89a50b21c1ce9dac798dc4c9259","datavalue":{"value":{"entity-type":"item","numeric-id":3841044,"id":"Q3841044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$7FD85560-2799-482C-9378-C6474DB1B913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a3c4a236e1a86a9306468a70629484f76019f1","datavalue":{"value":{"entity-type":"item","numeric-id":4014640,"id":"Q4014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$B923D38A-F55C-4230-93FC-E9F481D5FDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcaf40421e67c7641ec8bb2f68d80afa858cfac","datavalue":{"value":{"entity-type":"item","numeric-id":3654376,"id":"Q3654376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$6AA7A01F-6125-4C54-94F5-E3AE7E611ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80f354b54f554d250604eab5d2a5e1e5b8a6705","datavalue":{"value":{"entity-type":"item","numeric-id":3579633,"id":"Q3579633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$3620381E-6D7E-4ABE-B96E-6EB1CAE7327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a581f96e8cabd60b98280dbc93b840cb31eb7421","datavalue":{"value":{"entity-type":"item","numeric-id":3339289,"id":"Q3339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$9F88722A-6EF3-4EC6-A09C-D6060F4318A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d44d594158b46d7626257750a29857255d94a89","datavalue":{"value":{"entity-type":"item","numeric-id":3588430,"id":"Q3588430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$EE8D8E5C-FDEC-418C-86AB-0AFE7FB3F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118570697953b1b334926bcb50f9d1763a09efd0","datavalue":{"value":{"entity-type":"item","numeric-id":2947540,"id":"Q2947540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$E64EA56E-13D5-463A-A441-BA3599DE36C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc79bbac2f848100a966a182e11ca63cddd39c35","datavalue":{"value":{"entity-type":"item","numeric-id":4526985,"id":"Q4526985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$E1C985A1-27C9-4BB2-B6FD-E88E01A8B564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb508d29d736eb2a84de8acffa5964c396269901","datavalue":{"value":{"entity-type":"item","numeric-id":1174115,"id":"Q1174115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$0C55C3E4-5BB6-4305-9CC3-452AC90F8180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb8956ffa09b898ad462dcc2c7764205b1c7ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3638908,"id":"Q3638908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$D16F7D53-5B0C-48E8-8FF2-3C393E24566E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d4923d3312b075b7c1a0186cd30d7b82a3aa70","datavalue":{"value":{"entity-type":"item","numeric-id":808707,"id":"Q808707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$F06EB0E5-4FE7-443B-9E35-281108DEC485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007bd703399f8c70c71a1859bf730bc1b15e69fd","datavalue":{"value":{"entity-type":"item","numeric-id":3638911,"id":"Q3638911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$A26AAC0F-8F5B-4FF9-8AEF-E9BD18BC919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101d2a208d3cae6ba488f21ad6bdc10331e25940","datavalue":{"value":{"entity-type":"item","numeric-id":3137711,"id":"Q3137711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$CC4C0EB3-E1E2-46DE-88F6-3EB52B8935B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$F17A25F4-EAEB-43C2-84FA-CC52C40ED54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16d300ed6a2362d85e7631ffdfa241212488f99","datavalue":{"value":{"entity-type":"item","numeric-id":3007622,"id":"Q3007622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$CFA3B92B-29EE-481B-BA0E-1EFD76D77F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9714020379e2daaf8967db531da8411a1f26e54","datavalue":{"value":{"entity-type":"item","numeric-id":4061445,"id":"Q4061445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$B51B5E3B-B002-49EA-85C9-FE882B774743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250c4338a959373b69ce7bf4186757f4a9ceae93","datavalue":{"value":{"entity-type":"item","numeric-id":1177057,"id":"Q1177057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q519906$531FE888-0C90-47C3-B110-768DF93256F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d66bc8cdd4f395c663c8c2f6539b442bfd8d8747","datavalue":{"value":"10.1007/S00224-016-9680-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q519906$9CD4CFE2-5838-4F03-AB3C-2A6E855C0791","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a03e77244b17d43350678cd29532c31ffecba8","datavalue":{"value":{"entity-type":"item","numeric-id":5002692,"id":"Q5002692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31abb1d50bd485b08f65c6e1390929ace76b0c12","datavalue":{"value":{"amount":"+0.7951216101646423","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":"Q519906$1F3B3550-99AC-4F11-9619-362E8140CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b95ce601537bbe80bed84661f01369fa7478d0","datavalue":{"value":{"entity-type":"item","numeric-id":4602401,"id":"Q4602401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccd5e233a603ab652df6aa1f29538fa4819b355","datavalue":{"value":{"amount":"+0.7900412082672119","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":"Q519906$7256A742-ABF3-4154-B5D9-F8BEBF6026F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee27f07895b4cb93b49d1730e10b2349fcbfe95","datavalue":{"value":{"entity-type":"item","numeric-id":3137711,"id":"Q3137711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560e21dd3f2b0bfa90c15a931a7a4cb45656832c","datavalue":{"value":{"amount":"+0.7611299157142639","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":"Q519906$D32EA687-59F7-45BB-8822-6FE4B8C2C74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e671a0690ad980e366ef5fe7287170693cd28dca","datavalue":{"value":{"entity-type":"item","numeric-id":5236220,"id":"Q5236220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560e21dd3f2b0bfa90c15a931a7a4cb45656832c","datavalue":{"value":{"amount":"+0.7611299157142639","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":"Q519906$D946F815-8E12-4F88-B274-6CE7FE83EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83511cb43fc0238dc7bdcc7fa37d50a9a28c095","datavalue":{"value":{"entity-type":"item","numeric-id":3588430,"id":"Q3588430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca37238831a77f284cc090a75f5bc987a577233","datavalue":{"value":{"amount":"+0.7428666949272156","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":"Q519906$D0CACC6A-2A54-4AAC-9999-9EA8FAD30D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Small-bias is not enough to hit read-once CNF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Small-bias_is_not_enough_to_hit_read-once_CNF"}}}}}