{"entities":{"Q808705":{"pageid":810553,"ns":120,"title":"Item:Q808705","lastrevid":64494855,"modified":"2026-04-11T20:16:24Z","type":"item","id":"Q808705","labels":{"en":{"language":"en","value":"Probabilistic approach to the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211503"}},"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":"Q808705$C27B821E-D969-49FC-98EF-C8D7ADF3A301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2141c9fe87be8c9ed7d7223739bfa1980dd7b39","datavalue":{"value":{"text":"Probabilistic approach to the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808705$6FA32F37-437C-4BDA-B260-BCC0C63E8061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aa119324b5bf9f84290e9d7915b5fb376e3a0e3","datavalue":{"value":"0732.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808705$C62D2724-3C2B-4CC6-ABB9-98C48BC8F1D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c6b9b642176018b0ab7dfbab0ef6b2fff51bb5c","datavalue":{"value":"10.1016/0304-3975(91)90316-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808705$D7121780-38D2-47E5-A44A-7ED99F8BE870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfae979f0a47bfa42d8c494b5d7ad537e92bd6b4","datavalue":{"value":{"entity-type":"item","numeric-id":808704,"id":"Q808704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$0A319597-C5B5-424E-B242-1D8025756B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e658c3bfa53d6b8c25e711671c26b33eef5b2243","datavalue":{"value":{"entity-type":"item","numeric-id":319365,"id":"Q319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$369099B6-0039-4A52-9B56-95D90075816A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$13287317-615B-4BDC-955F-366406897E1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q808705$8C20E066-469A-4F96-98FF-C65040360EDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4791b8652487575f30b4e2efbaf321be70aafeee","datavalue":{"value":"The authors investigate the satisfiability problem (SAT) from a probabilistic point of view. They propose a partition of the SAT into some classes of instances (according to the number of solutions in the classes) and show that the mean value of the numbers of solutions in these classes is independent from the distribution of variables. As a corollary the authors get a lower bound of the probability that a random instance, drawn from these classes, is contradictory. A connection between the dispersion of the number of solutions in classes and the number of occurrences of variables in the ``structure'' of an instance is investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q808705$17111D97-2B6F-4553-90BA-0BEB3413AB05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808705$604F8147-FC5C-497D-947A-649FCDBBA0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808705$91B08784-CB78-403C-BB8D-BBDCE33FFDFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"567dcae54c9bc7e812af289ceed5e3d97a7e1b61","datavalue":{"value":"4211503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808705$5B7A9771-0147-4AB4-87C9-4EB3849FAD5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5076059bb317900c09a30106b035213435f686c8","datavalue":{"value":"NP problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q808705$362CD3DD-5A89-4C10-B493-A0F826B0207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q808705$5DCBE83B-882F-4435-941B-EC17D1843A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q808705$BB537FDC-30AD-492F-81FD-7B63C881B911","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":"Q808705$F2696F68-07D8-4BCC-AE03-855D46101650","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$0F401D6A-82BF-4BF5-B55C-73AEFB2DAA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$D3E595A0-E8E1-4F1B-89DC-F4F941476A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$FEB05E91-D277-48A6-9E95-F513196123AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f19a85113fb7d8cdb6659494d96a596a8c4d9","datavalue":{"value":{"entity-type":"item","numeric-id":3723699,"id":"Q3723699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808705$82452D23-9083-4F64-B7E4-DB790628919B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607bf7058e6a368aac5e69f87b046b93aaa555d9","datavalue":{"value":{"entity-type":"item","numeric-id":2752129,"id":"Q2752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89cdf3b3fd768ba25aba7e14c34315a38eb1de5","datavalue":{"value":{"amount":"+0.97014683","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":"Q808705$37BB12E6-1078-4FBA-9C61-B1B1171E6EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d8f0005bd239dca15c7977a3d150ff006b025","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89cdf3b3fd768ba25aba7e14c34315a38eb1de5","datavalue":{"value":{"amount":"+0.97014683","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":"Q808705$06462C46-5AA6-433B-AE35-7A79FB2F74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14b89c67a6a2ddef8b8cf9ecc0797c7f21f2797","datavalue":{"value":{"entity-type":"item","numeric-id":2767440,"id":"Q2767440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf07fc78e52b2a719ce87f5c4fefba8990fd9de2","datavalue":{"value":{"amount":"+0.9622038","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":"Q808705$4C82B0F1-6715-4FCA-B1F7-702098C1E019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f72557383b8a14374c7ea6e6c1e789239d38867","datavalue":{"value":{"entity-type":"item","numeric-id":5325862,"id":"Q5325862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58f436507313e65bc3e6159b936e50cb2de557a","datavalue":{"value":{"amount":"+0.9616887","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":"Q808705$DAB85AE8-0E97-4229-94FD-DDEF7AA5D362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004857aa6bc21c498ad33bed2a05d343bffda1e","datavalue":{"value":{"entity-type":"item","numeric-id":3081621,"id":"Q3081621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d02e74345404739fe74c9e54a9339a2287de0668","datavalue":{"value":{"amount":"+0.9493879","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":"Q808705$531993DC-5F3F-492E-95D0-FD96F80382FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871427e52dabcbbfb9e734c522ed94da04075c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3638188,"id":"Q3638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2b2203e96ed4784649f150472e44a543b251a3","datavalue":{"value":{"amount":"+0.94935817","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":"Q808705$EC446C72-5894-470A-8490-55E119014055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5667eeabd9c46de767bf68f0db99faac2e5b60dc","datavalue":{"value":{"entity-type":"item","numeric-id":4014855,"id":"Q4014855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a514128afdbd4add3505bb3aff43c86b8143884","datavalue":{"value":{"amount":"+0.9445107","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":"Q808705$F8187952-B6CD-4AC0-AF3C-4FD04CF1DD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99729b7bbf8fa731cd77531b3bdb111ad56d26c","datavalue":{"value":{"entity-type":"item","numeric-id":1605686,"id":"Q1605686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7380d199c482030446577c7d7ecd5ab62cdcd66","datavalue":{"value":{"amount":"+0.9431714","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":"Q808705$AA1EADD9-2986-4489-851E-13CFF0DBD8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d33fcf5aa9cf3398774f3b13ebae0566cbebc87","datavalue":{"value":{"entity-type":"item","numeric-id":5200036,"id":"Q5200036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71055340e51a267aae3018bb8d960a82294cc75e","datavalue":{"value":{"amount":"+0.9415227","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":"Q808705$5ABB1481-96CF-451D-9AC4-D6A4F6DFEC2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic approach to the satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_approach_to_the_satisfiability_problem"}}}}}