{"entities":{"Q4595474":{"pageid":6625059,"ns":120,"title":"Item:Q4595474","lastrevid":52970981,"modified":"2026-01-23T22:44:41Z","type":"item","id":"Q4595474","labels":{"en":{"language":"en","value":"Approximating the unsatisfiability threshold of random formulas (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6815381"}},"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":"Q4595474$96DFECC6-6D1A-4871-898E-70FC88FA7365","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f424594f475175383c056547d430038b886a8638","datavalue":{"value":{"text":"Approximating the unsatisfiability threshold of random formulas (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4595474$84B2D4CC-8739-483A-8D9F-C2607E2657B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"005e56eb2965e46fa14b40acb81b1e94c3367d59","datavalue":{"value":"1379.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595474$EF2919AA-A2C6-417E-AC0A-EC3A4EF87E49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e23884111a16d0aa01815c990aa8911666fb41c2","datavalue":{"value":"10.1007/3-540-61680-2_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595474$CD9F373B-34E5-4D76-808D-0D3B234FA58D","rank":"normal"}],"P16":[{"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":"Q4595474$102DEB1B-29A6-41E9-BCDF-8D5135D0129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca17c9763199648715858433b15ebaf2ef36218b","datavalue":{"value":{"entity-type":"item","numeric-id":215100,"id":"Q215100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595474$91A1F631-0D3E-4E62-B485-EDADF58AC8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3510588941215065bc6a9d8f23e378fe2770ea1f","datavalue":{"value":{"entity-type":"item","numeric-id":215101,"id":"Q215101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595474$8B37F891-2631-4CBD-B21B-2EA4A29BA8D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33c028bbd60ba425813f9aa046eaf91d51cbed97","datavalue":{"value":{"entity-type":"item","numeric-id":4595471,"id":"Q4595471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595474$13C96254-0025-45EC-A400-4BD833DDE2BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdab343d1a060561d678a5315e50f7f9875dcc76","datavalue":{"value":{"time":"+2017-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4595474$E8937A20-1AFF-4F99-87E2-462C71C502CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d495cad6fc2a8c496da7cb11ecf94394ea5ab78b","datavalue":{"value":"https://ir.library.carleton.ca/pub/9061","type":"string"},"datatype":"url"},"type":"statement","id":"Q4595474$0C5E0EC0-948C-437C-B7F4-6BEA014E2453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595474$122D3F76-DF89-45EC-AFC2-D32BDA9908D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595474$EE385AD1-B98A-41A0-A2B5-8B2C0BC7035C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45ec700c7dabaf8bb62ac7d495873892ea1900ef","datavalue":{"value":"6815381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595474$A7D05A44-1A17-4697-AD7E-6D918DF7F851","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":"Q4595474$CC483C43-6FA7-46B7-AA8A-F51861BD8107","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4ed040054b3fa7f92272b812a2fd9c17a83be54","datavalue":{"value":"W1600826028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595474$10C81265-F1CA-41C0-B18A-20E4139D0E86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0022713947128155dab2c492ca474be2c36c75dd","datavalue":{"value":{"entity-type":"item","numeric-id":4240602,"id":"Q4240602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e446bbcd46dc1b6b130402b17c339e04c5be4a","datavalue":{"value":{"amount":"+0.9930862188339232","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":"Q4595474$F4F389BE-A814-4C81-99A5-7496A2B14E98","rank":"normal"},{"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":"47e446bbcd46dc1b6b130402b17c339e04c5be4a","datavalue":{"value":{"amount":"+0.9930862188339232","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":"Q4595474$7CDF80EC-233C-4303-955A-9D6EF9F51892","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":"621114f63e165d5470f31a5fd79e9b895414f89b","datavalue":{"value":{"amount":"+0.9455576539039612","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":"Q4595474$EC22562E-A166-48EC-A346-B8ACB6B33634","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":"23120ab9bc854ee4a34e498f1d5692e1a4d09831","datavalue":{"value":{"amount":"+0.894304096698761","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":"Q4595474$5946AFED-F952-4B0E-A557-E153B41E9468","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":"6be4eac1641b7ff0d00f17f1ed130e7b2de7ec31","datavalue":{"value":{"amount":"+0.8872541189193726","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":"Q4595474$260055E0-AEAC-43CF-8002-F2DB48617E85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4595474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4595474"}}}}}