{"entities":{"Q1676251":{"pageid":1686992,"ns":120,"title":"Item:Q1676251","lastrevid":74034903,"modified":"2026-04-14T18:07:47Z","type":"item","id":"Q1676251","labels":{"en":{"language":"en","value":"Generic hardness of the Boolean satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803061"}},"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":"Q1676251$A0143183-2D9F-4F5F-983A-457D339FF9A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566e1817c352846dcdfa1555c96770e5300229c4","datavalue":{"value":{"text":"Generic hardness of the Boolean satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1676251$4E57F42F-B25E-40AD-BC49-4D5A1E833525","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"685c47e6f0d9104b10ad634109f8e0f119e3a1ca","datavalue":{"value":"1422.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676251$891A8AF5-30FD-462B-ACDB-F8B2EB4B8479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60f7fdf31400cbe5a25db6f9e2bbea930bfc8562","datavalue":{"value":{"time":"+2017-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1676251$6E2D119F-997B-4201-B4B1-52256F5F48E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676251$B618101F-EBB0-4E4B-94B3-BB359459E8E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4563553c31e42094dd4e45daba32ff5c93ff314","datavalue":{"value":"6803061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676251$1B48B8C7-FBEF-45E1-A2D3-9D22F5C1D363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676251$811BFCDD-E9DC-40CA-89E8-5EF7A895FB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676251$2B8726B8-3BDD-43B1-B582-8A119A418136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676251$95B701C8-BDF6-4E59-92F4-E17C47666EB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676251$44AA8B0F-055A-49DB-8531-6957A7F77B01","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":"Q1676251$CA53121B-273E-4CA7-9E9A-2C13805742AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e12f8d6da262120a89a64922cc6c27fbc92b6b61","datavalue":{"value":"https://doi.org/10.1515/gcc-2017-0008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1676251$B5AF11CA-0341-45DB-9D9D-FF0F11AE2DDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e491c9ffb776e1f4b23f39e55b9b4f5fadb1a89","datavalue":{"value":"W2762633509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676251$B9F739A7-4D2B-4BB9-BE84-2E92BF3FA106","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676251$2158DFA0-E842-4725-B5CB-2318FFC9E466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc79bbac2f848100a966a182e11ca63cddd39c35","datavalue":{"value":{"entity-type":"item","numeric-id":4526985,"id":"Q4526985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676251$32DF9C3B-3467-4F87-8C24-9BC4CAEE5072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676251$4A5695D6-3BFB-4B77-9740-4D2919C28E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354743a0150c2505524747689903fce2fa318856","datavalue":{"value":{"entity-type":"item","numeric-id":4344097,"id":"Q4344097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676251$E205CED1-FCF6-430E-BA93-BF52BE30FA72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5cc02a3d65573b0ab5a86517ce3c01ba09ae51c","datavalue":{"value":"10.1515/GCC-2017-0008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676251$80F69352-7E54-4502-88E6-D2E1C6149A5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"980529b8b82cbc0564c2c72ae8da94e8d76a3edf","datavalue":{"value":{"entity-type":"item","numeric-id":2873314,"id":"Q2873314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676251$53F3CDB0-D197-4BE6-AB60-E8396D8B746A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946f079ec164c412e39efde00171b3a9e677f91","datavalue":{"value":{"entity-type":"item","numeric-id":5151063,"id":"Q5151063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f88b047643316669fcf40112bf6bf3e86f254a4","datavalue":{"value":{"amount":"+0.8682737946510315","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":"Q1676251$DEC18C9E-4EE2-4DA3-96AF-356848E431DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7483a990b499365791dced1b7607248f1e67d3","datavalue":{"value":{"entity-type":"item","numeric-id":5151438,"id":"Q5151438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a3bdc6cdedc26bea493e198a06620e64a7265e","datavalue":{"value":{"amount":"+0.8439502120018005","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":"Q1676251$6B021F20-CDD1-4C34-B21F-CD0C9CDF841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6bbb5e1a3a2447aa22aa16e34f75135c5de521","datavalue":{"value":{"entity-type":"item","numeric-id":3474280,"id":"Q3474280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f720f2a32a17223a9edb9d10e60eb6e3f5f5a9","datavalue":{"value":{"amount":"+0.7885261178016663","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":"Q1676251$185287AD-CD46-42A6-9E80-DF096AD5B20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dfb0ba5e3780e7e74a01662f447f1edf7a0aac","datavalue":{"value":{"entity-type":"item","numeric-id":4038402,"id":"Q4038402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d534040e05574577d867e8a5826eb6dcf94f09","datavalue":{"value":{"amount":"+0.7876899242401123","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":"Q1676251$2543A2F1-5BB0-4819-B11D-288A7FEF2252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281a2da786d74d04f76e8a079302ce326111f517","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6e27e5cce80ed0d42c55a21380a254b0e39c3b","datavalue":{"value":{"amount":"+0.785958468914032","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":"Q1676251$6D9EC35F-0997-4B3E-B9B5-7CCA7EFE0B17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic hardness of the Boolean satisfiability problem","badges":[]}}}}}