{"entities":{"Q1607007":{"pageid":1617747,"ns":120,"title":"Item:Q1607007","lastrevid":47948626,"modified":"2026-01-03T04:07:47Z","type":"item","id":"Q1607007","labels":{"en":{"language":"en","value":"Random 2-SAT and unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771728"}},"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":"Q1607007$592CDDFF-98E1-4708-8C00-47493B6A776A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50c12cc176760afc5808bd9fe60846bf52bb60a2","datavalue":{"value":{"text":"Random 2-SAT and unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607007$0F6DBCB3-864A-44A8-A7D0-FAA4882C21CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74c1dea9cfce92107b4aa66d4747caccf35eb2a7","datavalue":{"value":"0999.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607007$E31F8E51-465F-4185-BA6B-A3F6B0A586A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13a67b599938a4761c1ecc009335edaa8fa06bb1","datavalue":{"value":"10.1016/S0020-0190(99)00128-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607007$2A6485D2-0BA7-4AAD-B4F7-CB1950637910","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccd0703ea903ae11a8006bc24bfd27e3b0c3d472","datavalue":{"value":{"entity-type":"item","numeric-id":1607006,"id":"Q1607006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607007$B27EF881-B25E-41E3-95BD-607654B79775","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607007$E3ABD3C2-B151-4525-AB2F-1E016A2A3B70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607007$4C1B3FCE-508D-49E6-AE5F-7513E334B2D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607007$CBE7919E-91BE-4D5C-A2BF-7CAE260CB4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607007$CAB42F41-11EA-4C49-88AF-29FB83A3D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607007$BD4F1C50-A3CE-4172-85C9-442FC1E8CF74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a90d8b7812c458bdff71b23dadc6d3b8ae085c","datavalue":{"value":"1771728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607007$6AE4A32C-082C-49BA-9EF6-A5B26228FA56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed78f37e5550754edca732916e44996a741a7a3","datavalue":{"value":"2-CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607007$9C0DBE97-AB0E-4FBF-96C2-4B5CF0C1C85D","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":"Q1607007$2A7C2BD5-2C2F-4AD4-B088-8CC8BFC286AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c9192954ccc96b2ee3267d39b3b42b3eff67b4","datavalue":{"value":{"entity-type":"item","numeric-id":1166543,"id":"Q1166543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607007$34233ED5-E784-4DFE-88ED-4C00F45C96A1","rank":"normal"},{"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":"Q1607007$76B66417-3EED-4F13-8251-60785E8A7D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae000096e5ef685fe9b59d423a301504ae15065","datavalue":{"value":{"entity-type":"item","numeric-id":5674726,"id":"Q5674726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607007$43B0108C-66B4-4C67-973B-9D650334A01B","rank":"normal"},{"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":"Q1607007$FCCAA31A-152E-4F99-A4B1-3F027C6970CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c16d03080cf104b6d9587e78c576489f573cb47","datavalue":{"value":{"entity-type":"item","numeric-id":4228436,"id":"Q4228436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607007$CE7950A2-6A46-4EEF-8895-B2225821E634","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":"Q1607007$46C11BA8-E2F9-45EC-ACBE-9FCA5789EFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1eb74dc35961dcb1e6adfe219fc2b66bf91b11","datavalue":{"value":{"entity-type":"item","numeric-id":5727090,"id":"Q5727090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607007$902B8A47-C78B-4FAF-936B-360862A35AAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"face938ba9c8ce07d5feef9cfe0e9b11f399b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":1961467,"id":"Q1961467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d9e5a8609932406848ddb292ca74430e0d58f4","datavalue":{"value":{"amount":"+0.94187730550766","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":"Q1607007$B4EEAFA0-5D1C-4D36-99CB-F6737B02ECB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e1c75a1d9886354ccda37be3abf7d4fce49dac","datavalue":{"value":{"entity-type":"item","numeric-id":5096838,"id":"Q5096838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762471cd191c50a082ddb46cebd83ed8a282d056","datavalue":{"value":{"amount":"+0.8975637555122375","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":"Q1607007$C79BD0F7-331F-4ADA-A649-AFFC48A58544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a8d01fe2bdc8b006dc4bf8b9029d4908258164","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e9642da015a17313c467f0311ebcdad958c948","datavalue":{"value":{"amount":"+0.8956842422485352","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":"Q1607007$EFD7BDB5-721C-4A9D-8673-3BDF6F43DDF3","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":"f5f6da1d5225ca295d89473c97d2c5b914ea17b9","datavalue":{"value":{"amount":"+0.8604159951210022","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":"Q1607007$4AA2C0DF-79CF-4B88-A3FE-464743B1644D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61cec5288a7a925d54126c3b778691d8b2e30526","datavalue":{"value":{"entity-type":"item","numeric-id":3546329,"id":"Q3546329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2e9d8dcd59bddd7ce8468545b9a80f4672d20e","datavalue":{"value":{"amount":"+0.8553018569946289","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":"Q1607007$A3391ADF-580F-46CA-8CA1-FBDDC53B8814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1607007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1607007"}}}}}