{"entities":{"Q4323003":{"pageid":6352604,"ns":120,"title":"Item:Q4323003","lastrevid":81811397,"modified":"2026-05-06T19:24:42Z","type":"item","id":"Q4323003","labels":{"en":{"language":"en","value":"On Average Case Complexity of SAT for Symmetric Distribution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722154"}},"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":"Q4323003$57DF1BCD-094C-44AC-BC8E-5DD75924BA61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45abee66379f6712996654c37c5b4ef3927b5756","datavalue":{"value":{"text":"On Average Case Complexity of SAT for Symmetric Distribution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323003$980300EB-9148-4B0E-8D75-42E1AA462684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6fe980dd4dfa58c71cb0c5551f14ae3e48f8dfd","datavalue":{"value":"0989.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$8FBBAA20-150B-48B7-A636-8655DBC92C72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2371b7f42a51e237d519f56e1fa9af5fa26d65f8","datavalue":{"value":{"entity-type":"item","numeric-id":4247199,"id":"Q4247199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323003$F43C0BA1-F344-4A7B-9BF1-E71B29D2C7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323003$BF70FACC-E3EC-43BD-A7FB-EF5F2B455E09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4c7b0f2b4b2e00db0c2bbeef25414a187777048","datavalue":{"value":{"time":"+1996-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323003$86128902-FAF1-4F7E-82E3-FF7F82A4C3E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$2B6A4659-28C5-41FB-B204-1BF711288701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$ACB03D80-C800-4F04-9AE3-42F25BA416D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$B888D368-48AD-4148-9750-3796FBCDC727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$A1F61C42-6C9F-4D5D-B03A-88EDE72C9172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab17bcecfa2a0fdf046b533f450f7399c3f6bad2","datavalue":{"value":"722154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$D19D0FF0-9D62-40BF-9B09-881BADACB711","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de6e6ec99e87a64046813cb3b5f6f74ec4a4a7b2","datavalue":{"value":"average case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323003$967EC087-F0BE-4BAF-ABBB-8425DC54AE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6a700a002c6fe1fcd568fbdac44e45ecfeda53","datavalue":{"value":"probabilistic analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323003$5BEDC3BA-DA1D-4880-A154-4CB7312E2DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323003$6B8C467A-F67A-4C43-9BCB-11F437396A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323003$3200A829-C08F-4C59-8BCC-A0DF9A540632","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":"Q4323003$58D633FD-FFF2-4002-B7F6-60D0CB7AD880","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"325193a371fd280e092122a5ed3f902c9f85cb67","datavalue":{"value":"https://doi.org/10.1093/logcom/5.1.71","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323003$4A9761DE-66EB-4963-B529-45D146113841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd4d839a1642cc6edd7feb7d26afe5829ed77044","datavalue":{"value":"W2001598818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$6CF54581-0B1C-4060-85A8-D96B95E59737","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3980bf24ae8200dc12a9b07f8aad741607d664b0","datavalue":{"value":"10.1093/LOGCOM/5.1.71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323003$F84FB58F-AFD5-4738-B599-E5F7EA41E877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e99a3a7dffe8f26e23f4e374f2ca7da6204cb79","datavalue":{"value":{"entity-type":"item","numeric-id":4636521,"id":"Q4636521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b88f121eafb6ea2fa310d82400bc88a468595a0","datavalue":{"value":{"amount":"+0.8856684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$F0BDEA8C-B07B-4C66-9DBD-7BAAD1B2BAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed781d8cbdb028dfc704eaa82dc5c2d83db09513","datavalue":{"value":{"entity-type":"item","numeric-id":5311247,"id":"Q5311247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be53ec8b6e9105c1fccd0e183db094c5dea6334","datavalue":{"value":{"amount":"+0.87994283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$985B30AA-44D6-4DE9-B62F-CA3C176C683C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f4634f1db595a3e79480ec64c7b44ab3ee8012","datavalue":{"value":{"entity-type":"item","numeric-id":1370606,"id":"Q1370606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08211181b765998a08eccebfdf5924c64ced949f","datavalue":{"value":{"amount":"+0.8695691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$7C0F6226-2126-44A3-9F01-087F49D62F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d35a30369dd98c4cdea2d0346b447a53aa8d88","datavalue":{"value":{"entity-type":"item","numeric-id":2064373,"id":"Q2064373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cf49f40f13f19a73be85ca0c47918ba966f04d","datavalue":{"value":{"amount":"+0.8620771","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$55AF8700-F8AA-4C8D-8371-A8E0F835628C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef129483f337ac01ba7bcb0f8d281e952c55fe6e","datavalue":{"value":{"entity-type":"item","numeric-id":3811764,"id":"Q3811764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fdd9a772689a63fb4fea2da23e5e89a5d2d0e7","datavalue":{"value":{"amount":"+0.86003613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$15FB5523-994E-45D5-B510-B6A117A539D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae14f460039962e32710c4bf9141958f43bba35","datavalue":{"value":{"entity-type":"item","numeric-id":1190984,"id":"Q1190984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d657174e81507c633bbcd089d37b5cb7d3a032a","datavalue":{"value":{"amount":"+0.8588373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$2D6AF6B4-5B07-4CF6-B3E5-4DD4A3632721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68741268776d7abeb0827986b8dba52095ccbf46","datavalue":{"value":{"entity-type":"item","numeric-id":1421490,"id":"Q1421490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9793ac8b30d3fa6ac358e86c9d05be986231ef34","datavalue":{"value":{"amount":"+0.855767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$8E63AB4A-6911-49ED-91E1-22EA91D6FA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea66036bcc39b03103c194b053ff89eea8f2f1fc","datavalue":{"value":{"entity-type":"item","numeric-id":4256141,"id":"Q4256141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754e84adc4b58dbc55881fa57a1cbcbe0f3ab99b","datavalue":{"value":{"amount":"+0.85171854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$87997D7A-C9CC-4F10-93D2-09C9CEF785C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4fb9d2bb3522a2a88bc2eaf4f45d11abe1e947","datavalue":{"value":{"entity-type":"item","numeric-id":1878531,"id":"Q1878531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3774e350cf487b35fcbd390842a59315ea7cddd4","datavalue":{"value":{"amount":"+0.84846175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4323003$16D4C5CE-C12F-41F9-B614-DE906146D8EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323003$5887F936-82DB-4AEA-A6D2-A3163CA0C254","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Average Case Complexity of SAT for Symmetric Distribution","badges":[]}}}}}