{"entities":{"Q3758242":{"pageid":5788148,"ns":120,"title":"Item:Q3758242","lastrevid":51742901,"modified":"2026-01-19T19:21:24Z","type":"item","id":"Q3758242","labels":{"en":{"language":"en","value":"Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007725"}},"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":"Q3758242$BE406FAA-CEC7-4DD7-85B4-1D76AEE3F60D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13a0f3913921ccb52583f02016718602ce11f47a","datavalue":{"value":{"text":"Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3758242$375A22E5-A931-4B90-9795-3FC279D91151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eaaa9ebdd428b95d25266de049b4fbc97a261c4","datavalue":{"value":"0621.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758242$6964632C-DAC9-4130-A659-5C0415C5E058","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cd12564cc4b0a78138514c13fb4a29c2691fe7e","datavalue":{"value":"10.1137/0215080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758242$C8D9A226-60F7-4D46-8A44-6C2F3D051FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef63d7c6a7fe160b091b0cb280441d38c183b644","datavalue":{"value":{"entity-type":"item","numeric-id":918698,"id":"Q918698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758242$D8E5063F-CA94-4DA6-B576-59D1DF6851FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758242$C48BA1FE-2F2C-4215-987F-F7B98E930EA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758242$3388A4F2-0668-4AC7-BF87-650DBFE68E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3758242$CFE5D332-BA11-4308-BE66-6B01C6C3EA8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12bc15cb984d38d6df1e48edaddd7c3c13c75738","datavalue":{"value":"https://semanticscholar.org/paper/305e2f8b6d156d3f8b6c1faab10f8f3e489ac6d6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3758242$4EFA2886-A727-47B8-97B0-F8A41386F9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758242$71B8F457-4BE2-461A-A783-87CCD07C4980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0194641fb597ea87e5f8ee52017957a034193180","datavalue":{"value":"4007725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758242$C8F562A8-CA5E-4509-84B4-A85D59AC9FF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758242$5B9C0CAF-3A8C-423A-9B47-13067EA0C98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e622f9f46c5c7fb389eedcc27d04a8ef5c45e665","datavalue":{"value":"3-satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758242$C9269A23-5FA0-4C98-869B-90656BBF9F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758242$E0538D8E-4CE3-4570-BACB-640E65F212CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758242$23A800C5-7E48-4BF3-B2DE-1E753A24E00B","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":"Q3758242$EBD67FF0-57EE-4439-99CB-A087348C236E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eb05b1cb75b5a2057b7a3dfa6e35c7dbfb3859a","datavalue":{"value":"W2164346692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758242$2077D31C-1B80-4DF6-B9B0-A4BFBBDE942C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c44f22df52e492976713f563fde4e11d159f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1115189,"id":"Q1115189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d6013c2b5d89dfb5fd83935461c31345755560","datavalue":{"value":{"amount":"+0.9095523953437804","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":"Q3758242$8398DCF9-04E3-406E-80EA-37EE9DEAB3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2f0d759626dd671d8e961165b77fa1b98dba8b","datavalue":{"value":{"entity-type":"item","numeric-id":918700,"id":"Q918700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e963c464b3b30b668fafe17b79903240ae1948da","datavalue":{"value":{"amount":"+0.9046303033828736","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":"Q3758242$2FB081E9-AFBF-4A4D-833B-D2DEC624FB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb15256d2254f35851208fe603f797e906b9f96","datavalue":{"value":{"entity-type":"item","numeric-id":3827800,"id":"Q3827800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b035b53ddc2ededcf41660c9be2c0be9f8c27d3c","datavalue":{"value":{"amount":"+0.8864617347717285","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":"Q3758242$560A7314-2746-4EC3-9D1C-F48E3DBDE0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bc8c95cb65fffb94f8ebe1a88bc95da2e10d30","datavalue":{"value":{"entity-type":"item","numeric-id":5486323,"id":"Q5486323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77996bae880f114ef64161bc731dcf60f7baf890","datavalue":{"value":{"amount":"+0.8617290258407593","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":"Q3758242$14E059FD-75A9-4788-9024-669FBF07105F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2068748f59fd6e2e2a72df0bd8ccdea859c138","datavalue":{"value":{"entity-type":"item","numeric-id":2747196,"id":"Q2747196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0429b868f98b956bac99607605b9ceb265a0e40","datavalue":{"value":{"amount":"+0.8600999712944031","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":"Q3758242$5EE66856-7FFE-4701-A878-2B2283CF9EBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3758242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3758242"}}}}}