{"entities":{"Q2741515":{"pageid":2752254,"ns":120,"title":"Item:Q2741515","lastrevid":47667604,"modified":"2026-01-02T09:26:11Z","type":"item","id":"Q2741515","labels":{"en":{"language":"en","value":"The unsatisfiability threshold revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642914"}},"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":"Q2741515$13B1AE26-F9FE-48D4-8A92-7C8149A06D54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512a3dee218570b3a01d0f62d0c36ec5894e3416","datavalue":{"value":"0990.90557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741515$7B0EDC40-8EEE-41DF-A566-774701CD6FE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2c08274843d792a282cbffaf38d6d5529415ecf","datavalue":{"value":{"entity-type":"item","numeric-id":389950,"id":"Q389950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$FF0E380F-E12E-425C-AA61-91BD5B1612D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3114a9e7c18fd9d37962020c44023cd148b8085d","datavalue":{"value":{"entity-type":"item","numeric-id":215098,"id":"Q215098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$96A13DC3-B808-4070-B647-168073F64F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"470ab19ea59c903ef70cce34096820e8d1297da8","datavalue":{"value":{"entity-type":"item","numeric-id":215099,"id":"Q215099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$45326E4A-4D13-4DC4-A5A5-2B2DCBF7CCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07d8ca7c94b422bbb8814e544613a749d253da3e","datavalue":{"value":{"entity-type":"item","numeric-id":607610,"id":"Q607610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$0682B8A9-8A3F-495A-A7A4-A8F66F80C77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef6cd99c313ef8adfc97249dd337fac18b28acd","datavalue":{"value":{"entity-type":"item","numeric-id":385395,"id":"Q385395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$902C0C48-DEAF-487D-83CC-F73314F3E503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741515$3A1F542A-8096-4E2A-B9EC-F16F2A13765C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741515$636D6EAD-B1D0-4A95-BE91-7B74CC71F11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ad37711539483f94ecc5e7c9236f6acd7c19a03","datavalue":{"value":"90B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741515$1DF6CE1E-EE2D-4F19-88FA-144D853678C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9376e00799b8c6a7fe07b2b2a7fc47ea9c9b4cdf","datavalue":{"value":"1642914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741515$46CAE0B7-0D81-4E74-AC9A-4A0DE994EFBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb50257a06a2881586a428b964e447711f9462a","datavalue":{"value":"random 3-SAT formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741515$A117BB9A-BD5C-4308-B965-9E5FE419629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3743528dc6131056fb666aabe2500b92c714914","datavalue":{"value":"occupancy problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741515$783D4793-D736-46F4-9C2E-9A3A2B722DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb40d1982d7130b438dd341963ead4ed42bf2f06","datavalue":{"value":"random allocation schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741515$5F48EFF3-DA87-455C-B6C2-69FFCA527ED9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$25CCCF2C-B667-4736-80E7-B2D8CDD0183A","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":"Q2741515$1D5050EE-6328-4FA4-89CD-A276A42E2D1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bdc200c096a90cb093d01083b69c58672a0aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3682518,"id":"Q3682518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$639A5748-D2B0-4925-873E-DDFCC0B455E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d76e062c66a76e8a4d3a1bc30f57ffc32f39a3","datavalue":{"value":{"entity-type":"item","numeric-id":1815863,"id":"Q1815863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$AA9E4FAC-1171-47E8-A21D-E277118A70B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$1B33D3D2-8E37-475E-9C2B-C8B9367671F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9539532d16bcb82516fae2db58a1eb7e9c6ca7b","datavalue":{"value":{"entity-type":"item","numeric-id":5538132,"id":"Q5538132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$9017D590-0E83-4E84-8EA4-D1C04619240D","rank":"normal"},{"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":"Q2741515$2E32ECE0-B7DA-4C01-B9A4-15D43D70D0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7953570587570bcc9dcd5b0798422508bfde9a69","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$8EEA0C13-793D-4A3F-B0C3-D36564F9210A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a504233a997a0376458e299e1a23ac6f83ce5c","datavalue":{"value":{"entity-type":"item","numeric-id":4847396,"id":"Q4847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$217542BE-73E5-46C8-B30A-BEB0A91D7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3600a0afe71e9b9c22e19ee4b5b7bb726dd22d1","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$1C9F2FF6-C29A-4275-8455-EB719F5D261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1174ff995c07823f1face224d9723a00beee10","datavalue":{"value":{"entity-type":"item","numeric-id":4382605,"id":"Q4382605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$E2382799-48F4-4F46-B07C-15CB2EAAAC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0a0b2b34959b4e2bd3839e226f7f6a0282c5c0","datavalue":{"value":{"entity-type":"item","numeric-id":4871770,"id":"Q4871770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$79BB891C-38FF-4F3D-A115-A5AEA51B14CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895432940b1ab93575a9426ecf9dcc62cb447bb6","datavalue":{"value":{"entity-type":"item","numeric-id":3709001,"id":"Q3709001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741515$F23E92F8-F167-4328-982C-3269C254CABB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d68716fe3549a2691174d92e15625b186ce5b7e","datavalue":{"value":{"text":"The unsatisfiability threshold revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741515$1491C0F2-501E-48DA-858E-4C51C345B064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a45c10462055532f1c386355c14e8fc57eb3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2643297,"id":"Q2643297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7f987dceb4d6b5190ad1b00683943cbfb3af1e","datavalue":{"value":{"amount":"+0.9833379983901978","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":"Q2741515$8ED36DB2-EA43-4A70-A2A0-4B8C9CC76F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031e6c39e115bfd1a95644f717cd6b98469f9bac","datavalue":{"value":{"entity-type":"item","numeric-id":4375776,"id":"Q4375776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab22ecd2d50ca392dcf3bc88ff13a03e9924f04","datavalue":{"value":{"amount":"+0.9182761311531068","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":"Q2741515$1F14AFD7-C550-498C-B86D-A0777DF448E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd477b5cc81d592922ea4cd6a4d3cd1a96fcde4","datavalue":{"value":{"entity-type":"item","numeric-id":4448374,"id":"Q4448374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd59b5ede8999908c9f353d484343273e0528fb1","datavalue":{"value":{"amount":"+0.910944938659668","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":"Q2741515$2FD07696-E2B8-4055-BB02-83ADCD1B19FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c098662167eb9d951535cc3eedbf0aeb2faa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4511484,"id":"Q4511484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1405622566b0ebdde97c9218f6802402b1b984","datavalue":{"value":{"amount":"+0.902131736278534","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":"Q2741515$560CEDBC-10F4-45CA-AC42-C81B0860509A","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":"c520e5c8e8c612e1c0ab1376215ab283cc0f2289","datavalue":{"value":{"amount":"+0.8922740817070007","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":"Q2741515$53F5336C-1324-4F7A-BE19-F370EC1DEC67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741515"}}}}}