{"entities":{"Q2767440":{"pageid":2778179,"ns":120,"title":"Item:Q2767440","lastrevid":41989622,"modified":"2025-05-21T08:53:27Z","type":"item","id":"Q2767440","labels":{"en":{"language":"en","value":"A probabilistic study on the satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1697450"}},"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":"Q2767440$789451CA-BB83-4AA9-8179-816EC4C246A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61fb79a20352048650491253e89857a4da79cb3f","datavalue":{"value":"0984.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767440$DDEB4131-C6CB-49F1-B190-3D5051EF6410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2663636fbbcea272deb79e02abc6a090e5ab080c","datavalue":{"value":{"entity-type":"item","numeric-id":440319,"id":"Q440319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767440$3A296B65-0F4D-4E0B-9CB1-007E4310AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"111da9183a2ce29822f7082352d3192efcb25fd4","datavalue":{"value":{"entity-type":"item","numeric-id":252788,"id":"Q252788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767440$FEC8D371-D79E-4320-AA94-107F2E2ECE92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a2785f3a7fb107a15da6cdfc4554da314b6c03","datavalue":{"value":{"time":"+2002-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767440$D7DAF9EE-4D25-4754-AC83-CFCB4849031E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767440$5E2B06AA-CD07-479F-85E5-B0F4831FBC18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b2ca748cb387dd1ddf8905c915256076c9f87f8","datavalue":{"value":"1697450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767440$4F98C282-1731-4F90-91C9-59F09859FCFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bae3ae783d85abaafe10540287afd43de923136","datavalue":{"value":"\\(d\\)-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767440$35845479-6C25-47FB-9A65-0F264AE22B0A","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":"Q2767440$A3159880-71A3-48C0-A680-3DA11054AA99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2660c0a34d8de5b35ffa75edf58b60373668ef9","datavalue":{"value":{"entity-type":"item","numeric-id":808705,"id":"Q808705"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$E469DD8D-5680-4C58-899D-E9EDCCA38043","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":"c1c5306a752d7acd6e52e3e61d69f5ea3c59ca2c","datavalue":{"value":{"amount":"+0.95175517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$C4C628F6-6D53-4A96-A4AF-94A688E5578F","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":"b0cd4c24b390336407a4c152ac7888d795e1b36a","datavalue":{"value":{"amount":"+0.9506164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$AA30307F-B262-4AB8-B655-2F27B952F9CB","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":"59585d8323a2fb5be3044d0a2008d761a197c8b5","datavalue":{"value":{"amount":"+0.9443406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$A3ADB8B2-AFE9-4411-9909-7104A81EEB21","rank":"normal"},{"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":"13a3d52195e81465d9872cb6438379b89dd5c9e7","datavalue":{"value":{"amount":"+0.9402276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$BF0FB5E1-D689-4AAA-A35B-DE8539750517","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":"13a3d52195e81465d9872cb6438379b89dd5c9e7","datavalue":{"value":{"amount":"+0.9402276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$F111752F-00BE-41A3-A710-E78D0A8A14CD","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":"373e1b673c1bfee275c25bb5439e4fef73827779","datavalue":{"value":{"amount":"+0.93056524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$632BC68E-9BA3-4D4C-A8E8-20C515400CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2479c6c8e84b6160d4b613c1b10578187b49658","datavalue":{"value":{"entity-type":"item","numeric-id":4411392,"id":"Q4411392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373e1b673c1bfee275c25bb5439e4fef73827779","datavalue":{"value":{"amount":"+0.93056524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$D1DB1B48-A91B-4CE0-9470-851DCEBACF18","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":"2be4b6f059d65e5888523c99393968c538757043","datavalue":{"value":{"amount":"+0.92687565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2767440$5CDE170C-8B53-400C-9528-6AC682883BBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73d4251492b306e08cef6f3b4f38b5a56daece38","datavalue":{"value":{"text":"A probabilistic study on the satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767440$9F6BFA7A-BC59-4443-8E93-8F3C65110A88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53daa90fc77a570319c637034be5955a1e734d5f","datavalue":{"value":{"entity-type":"item","numeric-id":6579860,"id":"Q6579860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767440$D0755E7E-BC77-41A3-BFD5-8AC390E8FE22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2767440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2767440"}}}}}