{"entities":{"Q1402744":{"pageid":1413484,"ns":120,"title":"Item:Q1402744","lastrevid":81311645,"modified":"2026-05-06T18:13:42Z","type":"item","id":"Q1402744","labels":{"en":{"language":"en","value":"The maximum length of prime implicates for instances of 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1972330"}},"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":"Q1402744$25069740-96CD-4D46-B545-6D4ACEA17F8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4e40585769834da81f0ee7fd3bb5b1b64999b87","datavalue":{"value":{"text":"The maximum length of prime implicates for instances of 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402744$D7CF0B26-2841-4495-9E4A-E6ADBE7D49F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8407044cfe20c44d1719e6702e14b081a36f33b","datavalue":{"value":"1017.68512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$483DF0B8-5C34-47FF-9842-D39973C0000B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"137ae858d7bf6ee1436a440b0de1ac64dbd61395","datavalue":{"value":"10.1016/S0004-3702(97)00018-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$8347A2C7-0CD8-462B-B4D2-833F2EB5F44D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a266e429b8e23469baa7cd769b303cf70be10d1c","datavalue":{"value":{"entity-type":"item","numeric-id":324698,"id":"Q324698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402744$F4AA1C84-AA7A-4B66-BCA6-9203C636300D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8d9b33f32965e8dd4ca494ebd5cb1e5444da5","datavalue":{"value":{"entity-type":"item","numeric-id":1028895,"id":"Q1028895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402744$55B6E841-A4C3-45ED-8426-82192C17F29D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402744$5E288DB2-3944-4CD5-9B56-DFF4F515F2F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c32244d5bf7763be38ef1ab093764c99c644cc51","datavalue":{"value":{"time":"+2003-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402744$0B00A1BD-9D6B-41F5-992A-753DC4BD1DE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$0CAAAC15-BE6E-47E4-AEBC-F112E1A94328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$921F1E5A-19BB-4D14-A531-008DCEA37067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$F049D466-7FA9-478E-8E53-949DBD551C2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dafe4ad833fc262650099b001780720e02253fd","datavalue":{"value":"1972330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$39054AC9-5B89-423C-89DB-ABAAB65DBE78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0cbe5fa06dda6fb7c488e328702d03d1930de9","datavalue":{"value":"3-CNF formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402744$8630046F-FA64-423B-BF1B-8A33BF10E794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cda5019ee2e3b091dac4c24ad72707307247854","datavalue":{"value":"Prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402744$5873533E-AFC4-4D1E-8857-0DB7FD32A0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402744$30918C42-15DD-46DE-A916-FDCA0B4250B7","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":"Q1402744$717B80AB-3AF1-4926-AE8C-191CF64CED2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402744$2B0E4066-24DB-4B02-BDE0-A343F9013D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751438aa2bdc3c803c27cb64adcb3ea349c89687","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402744$C724CA3D-9F94-47CC-AC6F-0716F9BFE23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3263ffaff7a7e9d6835eeae6744b7c97b8bf61","datavalue":{"value":{"entity-type":"item","numeric-id":2674186,"id":"Q2674186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402744$23A3E00C-BDB8-4DA0-9E80-6A08ED5C8844","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba4494b8d80ec46d2b1a2ccbb18bb8d505a3ce13","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(97)00018-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402744$FE498BBD-55B1-4831-A53F-4A0ACBBA4C3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"deabe644ae91c86de7ccb8460971cbaa346b40f7","datavalue":{"value":"W2092428555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402744$A508CC26-4BCB-4FB9-88A9-C76F9EA878F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf34f410b01b9294f5bd372fe5cde2e8cba2333b","datavalue":{"value":{"entity-type":"item","numeric-id":2674186,"id":"Q2674186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea23515c635d48cbb00f61d5ee139988cdb240a9","datavalue":{"value":{"amount":"+0.8410360217094421","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":"Q1402744$759FB70F-20ED-40C5-BC39-CE823892AAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26de0a16565dd484a4cfbfeb2a8ea142008f1680","datavalue":{"value":{"entity-type":"item","numeric-id":1285568,"id":"Q1285568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c02ed39831f9c95cf2631f57cc54d6974be106","datavalue":{"value":{"amount":"+0.8195959329605103","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":"Q1402744$8F066A0A-6E87-4ED0-914B-3EA55EA63607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbd397a9539527abb83715591f0f68c9062dcf5","datavalue":{"value":{"entity-type":"item","numeric-id":4862742,"id":"Q4862742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc322bccb4a0513c10b6513dfd44ea0118e7239","datavalue":{"value":{"amount":"+0.7491018176078796","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":"Q1402744$BE871DAD-4272-46C2-8C26-7FC246362C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfd952c4dbff9b05b5d1bf0775fbbbcf8fb8946","datavalue":{"value":{"entity-type":"item","numeric-id":1946835,"id":"Q1946835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da3c57ea343763f67b2caf25379b3ba1dfebb63","datavalue":{"value":{"amount":"+0.7472246885299683","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":"Q1402744$9E3FB8AE-E725-4A7E-A27F-9871F0CD288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482f55c95270d7025f056a26d71c005b387dded1","datavalue":{"value":{"entity-type":"item","numeric-id":4360139,"id":"Q4360139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3864bde9b3bb12cb046d9e5ee256f56b4dd8018","datavalue":{"value":{"amount":"+0.743178129196167","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":"Q1402744$426C8F33-C59C-4F9D-B567-6C125F4F95D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The maximum length of prime implicates for instances of 3-SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_maximum_length_of_prime_implicates_for_instances_of_3-SAT"}}}}}