{"entities":{"Q5439053":{"pageid":7468617,"ns":120,"title":"Item:Q5439053","lastrevid":50270072,"modified":"2026-01-13T17:11:54Z","type":"item","id":"Q5439053","labels":{"en":{"language":"en","value":"A lower bound for the 4-satisfiability threshold"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5233546"}},"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":"Q5439053$C75FB3F6-2EBA-45F3-BFDF-FB1B0D79ECBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f2e24b4c9fe5a9daf75c5fc5f21bcd2256c7fdf","datavalue":{"value":{"text":"A lower bound for the 4-satisfiability threshold","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5439053$24B8717F-932E-44E7-81BF-0CF302CCE83F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1fc9249ff0aa6695b1b9617e8b1ef7de640423d","datavalue":{"value":"1255.60018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$D5A04045-F7A4-46A0-861E-31887990EF32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c321424acae6a89ffa50f090ee5c0d2c7035a","datavalue":{"value":{"entity-type":"item","numeric-id":2519390,"id":"Q2519390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5439053$11841CBF-065C-48DA-9E4B-00E0867884DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5439053$9F7104D4-7C3D-4E08-AE3A-0BF84D03DB7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67e2a9a878a2213f3076b62fafd86632f88b9875","datavalue":{"value":{"time":"+2008-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5439053$3F59A062-A196-45E6-8A1D-737D4E9282FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b7275e0d4b526075acce84a242d8537e929bb2d","datavalue":{"value":"60C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$375C3F02-A871-4D21-B9EF-6722B224E8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$A5626664-7773-445F-B25A-3A120938C8B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa0266f52dfd3ee8009363db346ce56801a2e11f","datavalue":{"value":"5233546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$8CB296AB-68F7-4FA3-9C39-4A6D6BF1EB1F","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":"Q5439053$40046D4E-7F4B-40BF-A68D-11C48F8212E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe3806b38f8d99b9fea88b8397181eb9a846a934","datavalue":{"value":"https://doi.org/10.4213/dm25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5439053$9CE2B2FE-C18D-45E7-A372-A999D430C4D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87b96560ec390e2a4b16c305f5dbfa8a6483e5a3","datavalue":{"value":"W2334379108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$35E8C0C2-C457-4DA3-A769-450F66801639","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"256c0e265dfef282ea4224d2df1e7fcf0e5ac817","datavalue":{"value":{"entity-type":"item","numeric-id":4257709,"id":"Q4257709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5439053$CEF9E90E-ABE8-4799-8290-7D741C5408FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b406222cf880229e6eee925e888ec4d73f1153d","datavalue":{"value":"10.1515/DMA.2007.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$9F4B42CF-0442-4CC3-A694-E0A06556B1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfe678a56e32563a02e2810dc88a833b76db3534","datavalue":{"value":"10.4213/DM25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5439053$74C24B6F-11D1-421F-BBBD-E45A927188BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefa707b5b413fbce23c4b586e4bc1aed08fa5c6","datavalue":{"value":{"entity-type":"item","numeric-id":4821034,"id":"Q4821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc59c97e32748cc9eeffefd78d4da2c5a758919c","datavalue":{"value":{"amount":"+0.8880144357681274","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":"Q5439053$82D13EB9-7AE2-409C-AB39-B528165C747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b0081dc2f15dc73a7215324226f87bce3b6029","datavalue":{"value":{"entity-type":"item","numeric-id":3581271,"id":"Q3581271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb78ff5846a88b82851753d0c61efee6d7132e4","datavalue":{"value":{"amount":"+0.8820970058441162","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":"Q5439053$4F56433D-77BB-467F-B134-95340E26F233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d961b561ca5c73704b4cbca739c3f8ef19bcd5a9","datavalue":{"value":{"entity-type":"item","numeric-id":4632196,"id":"Q4632196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41034176b04ff58862874c09a7b23d0a243e106a","datavalue":{"value":{"amount":"+0.848997950553894","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":"Q5439053$B495D63D-EC9B-4635-825F-EAD252F0A3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d0c4ca78eb60c62d440ab440e14390f85a0653","datavalue":{"value":{"entity-type":"item","numeric-id":1752631,"id":"Q1752631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7302c2c9779a9da3976436c5dc9b4d8f8d18e9af","datavalue":{"value":{"amount":"+0.8489977121353149","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":"Q5439053$43D50A4F-CCE9-406F-99D4-D94B0590DACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838fcd644262926d232c9086f8a836aa80f273e9","datavalue":{"value":{"entity-type":"item","numeric-id":2271431,"id":"Q2271431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adf495ef2b8d75e45462bb0b2b79600d0bbfd5f","datavalue":{"value":{"amount":"+0.828605055809021","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":"Q5439053$A14214F7-EE92-41A9-B58C-377858DAC839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5439053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5439053"}}}}}