{"entities":{"Q5881807":{"pageid":7911358,"ns":120,"title":"Item:Q5881807","lastrevid":97560560,"modified":"2026-06-05T15:00:45Z","type":"item","id":"Q5881807","labels":{"en":{"language":"en","value":"Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7662472"}},"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":"Q5881807$85895256-C469-41AC-8806-10751BAE3B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ec560ed8a1ed971be73e69889c76b58a044ce26","datavalue":{"value":{"text":"Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881807$A70C0484-46FF-4866-9411-9EBACA691B40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f3dbbf7e11447a80087a93cb085d33e048b66c","datavalue":{"value":"1506.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881807$780542BE-D716-4203-B691-9DC1AA3046FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a06be2b1bdb88d3535234b03e6c01ad5a70078f","datavalue":{"value":{"entity-type":"item","numeric-id":784701,"id":"Q784701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$D3A0414D-2CFD-4337-B69F-DDC5B7FDA598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28087b338c51780b81d474f6309ec7b8b1f6e44a","datavalue":{"value":{"entity-type":"item","numeric-id":5008563,"id":"Q5008563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$331DF94C-F4EB-44CE-9D1C-96BBEB0B8F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b4537798c6975a41b18fad355b57ebaf38395d3","datavalue":{"value":{"entity-type":"item","numeric-id":1950662,"id":"Q1950662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$67D55528-4E59-4C2B-BDC5-8E247C6B67DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc335ff705d605188dab6ae1628b87ec59d8df0","datavalue":{"value":{"entity-type":"item","numeric-id":5881806,"id":"Q5881806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$EB5EF5F1-C58B-41FD-9346-319FDCD865E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e56d50bc97b1fe699281dae32d2d5ef32706ce83","datavalue":{"value":{"entity-type":"item","numeric-id":394375,"id":"Q394375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$2F92DA90-9521-4497-A8AB-28E958828018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52efc9b54d48ef3f7cfe508396bdd28c8608a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":943136,"id":"Q943136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$262CC029-B374-4992-90E9-29593ECF8D88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$55E12F22-2BC2-40B2-92AA-30A0B041D14B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89caa31fd22a360d487b4d2ba44c1d87259c2aff","datavalue":{"value":{"time":"+2023-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881807$2AF0DD32-AC36-4B55-BDAC-995A4D667845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881807$24F668C6-FEBE-4C56-8AC0-55807CCF4DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881807$B554CFCF-7C89-4636-82EA-C8402BDEB239","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fced16a901f631332d8edd9b8918b0fbcea3027","datavalue":{"value":"7662472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881807$37EF2E1A-1D3E-47B5-9501-42F93DE483D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881807$249DEFFF-2D57-4E4C-963D-AC90D2246EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881807$5B682CE8-76EF-4CF1-B248-18C627327B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881807$71215025-2E01-4B0C-B42F-B016C4CCE8F0","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":"Q5881807$7FD694CE-3F46-4BAD-BAD6-AE011FC5CB16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f10ebd9f3fd8872aa1f8b5743030b7159593c9a","datavalue":{"value":"https://doi.org/10.1613/jair.1.13909","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881807$4DAA7BFF-E907-4999-81C1-482C5EA9CC26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d5cb9568d22552665e06a7cc4635f4f28cb45cd","datavalue":{"value":"W4318453039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881807$0E0C59DE-1728-481D-9F42-23F69D58A8F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd86b08db9c5e9d1bb208efc1ea66bb7b6d20b36","datavalue":{"value":{"entity-type":"item","numeric-id":5958806,"id":"Q5958806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$E57E30E7-0694-4A06-98CF-DDEB40F74721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b5d899566f44566cb83f6d480a6ebd90829c70","datavalue":{"value":{"entity-type":"item","numeric-id":5715725,"id":"Q5715725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$8A86521D-BF07-4CF5-8E7F-013902F84D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7931e65ae6f0c846f84d0d0b6350c37f2f5625","datavalue":{"value":{"entity-type":"item","numeric-id":3084346,"id":"Q3084346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$8657531C-B9D7-491E-82FC-6B60DDA029BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d6ffaf7ad3e5e004437f860ef1d356d8225e9e","datavalue":{"value":{"entity-type":"item","numeric-id":2118866,"id":"Q2118866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$13852419-7AA7-45DE-BF0E-A34B5D972176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75f601a764293616ae60af4d78b0faee6bca866","datavalue":{"value":{"entity-type":"item","numeric-id":4840764,"id":"Q4840764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$0B06A10D-7109-47B8-87B4-BE62835A7C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87ffe090ad92940f0cb8ac5e3188de2b42de7c","datavalue":{"value":{"entity-type":"item","numeric-id":2827733,"id":"Q2827733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$BAF9717B-E057-4C4A-B206-8284CBAA3EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"495dffe212f42b9dc3cdff887482dd5002566e86","datavalue":{"value":{"entity-type":"item","numeric-id":309919,"id":"Q309919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$E7C4BB29-9114-4684-983F-F1D0B211469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20043853f6b59910d6653522a30f218565cec7d9","datavalue":{"value":{"entity-type":"item","numeric-id":2238712,"id":"Q2238712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$F775D5DB-C55F-476E-9DEF-AFCEC69D84D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6c24d9e317ba6ce0e6a8c740ed8e341f7349cb","datavalue":{"value":{"entity-type":"item","numeric-id":3624048,"id":"Q3624048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$CFCD8656-F880-4034-A59D-52A5DB82926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ac60fa5d90e4ada496d4522cbb216dd7b15df5","datavalue":{"value":{"entity-type":"item","numeric-id":2867168,"id":"Q2867168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$D2EC493C-CAAC-43CB-95D0-C6D999BC2483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2398065202f3b8392da467e985db897681401576","datavalue":{"value":{"entity-type":"item","numeric-id":2674174,"id":"Q2674174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$2E407A67-C33C-480C-B335-BFB24AAAC69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f15d123876a2e8938f5e3dd7e09d1436bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$092272D4-75D7-4F9E-B978-E8DA6F60641F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$FA2F5E57-48D4-4C42-AEC1-8309A7AFDF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6fd1b7d8b3626d73270eac8a248c4a288fa63f","datavalue":{"value":{"entity-type":"item","numeric-id":2368999,"id":"Q2368999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881807$AB6B8827-0DD9-418D-8383-D5734B1EDC00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9ac23082bb6eb6b632289cdb14cc59ac5ca0221","datavalue":{"value":"10.1613/JAIR.1.13909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881807$C346ABD9-22CE-4FB6-A6A8-D43417479FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a997dda7215aa07c5fd4b4dbd3dc3dce7eb496","datavalue":{"value":{"entity-type":"item","numeric-id":3624048,"id":"Q3624048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cef920ca81a470bb5083c2693ba7904db7901c","datavalue":{"value":{"amount":"+0.7417489886283875","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":"Q5881807$2E65C1F8-3B81-4B53-92B9-7374B16F516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ec8a39ef1e354be232f628ed94c480ac0e5160","datavalue":{"value":{"entity-type":"item","numeric-id":5897202,"id":"Q5897202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2f1990734c45a53ab71303ee119c3bb3c62697","datavalue":{"value":{"amount":"+0.7406139969825745","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":"Q5881807$EDE2DD74-4CE7-472E-858F-5D7421D1CED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb861f3582660a0bc8d90b5a049088a5ad54662a","datavalue":{"value":{"entity-type":"item","numeric-id":6039929,"id":"Q6039929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0eaf6d0a1057ee1e41c0e859e637e12201afe6","datavalue":{"value":{"amount":"+0.7380244731903076","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":"Q5881807$06588A4E-A4D1-42C1-825E-2B78BA7A2615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb54a6a1764ebcc837f3b419cf9ac3d223eda8e","datavalue":{"value":{"entity-type":"item","numeric-id":2749863,"id":"Q2749863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597ec317d253b5d53e56b4c0c1b372cf8db33ce1","datavalue":{"value":{"amount":"+0.7293663620948792","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":"Q5881807$A472F46A-4CB0-4274-960D-5071D0725FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578d0b245ecb3a7a77bd3827ccbafebd9a565f65","datavalue":{"value":{"entity-type":"item","numeric-id":5687264,"id":"Q5687264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5060c93191052710ad375de002001b2eded30d","datavalue":{"value":{"amount":"+0.711850643157959","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":"Q5881807$85DBE240-90AA-4791-98C7-2E19CE473B62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden","badges":[]}}}}}