{"entities":{"Q1424763":{"pageid":1435503,"ns":120,"title":"Item:Q1424763","lastrevid":70373925,"modified":"2026-04-13T14:20:10Z","type":"item","id":"Q1424763","labels":{"en":{"language":"en","value":"Random 3-SAT: The plot thickens"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057450"}},"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":"Q1424763$517E31CD-9C11-4C30-8DE5-506C41DDBAF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"282ce0558c4281fff89be7e05faab30c60fc6418","datavalue":{"value":{"text":"Random 3-SAT: The plot thickens","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1424763$41B44705-C48D-477B-BC17-F55BF9F98B90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1faf371049edb6ad272a850ffcbde35c47796f3a","datavalue":{"value":"1057.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424763$E1C753B9-E4F7-4A5A-B15C-5D85A95C677D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6907f5b1f790b2b8d4a2312c4a8e90b89294b7b4","datavalue":{"value":"10.1023/A:1025671026963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424763$F820AB61-5A8E-43EE-96F8-3911140526A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f57c44188aa24a8d063677b19dae121c0e95fce4","datavalue":{"value":{"entity-type":"item","numeric-id":1424760,"id":"Q1424760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$4914BA50-AA96-40FB-B440-D8C4715D9DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77bb448657f8f88573a3973e59c8e7d9d179eb9","datavalue":{"value":{"entity-type":"item","numeric-id":1424761,"id":"Q1424761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$EAF09C6A-D8C2-499C-91B3-F762A871FDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd68054cb27767dcebb1c319768c1a60ee3f2978","datavalue":{"value":{"entity-type":"item","numeric-id":1424762,"id":"Q1424762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$E8F38BD2-F537-4AEE-BEDF-2147F61BE5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4726f19f24aff67ed189e4df88ad229928872f8e","datavalue":{"value":{"entity-type":"item","numeric-id":698476,"id":"Q698476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$62DE734E-BF15-483F-A639-42331899613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$47405BC8-77A5-499E-9A15-9C7B9DA76FEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$290D7A25-AE5E-41E5-BA3A-D83DEBACD1B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1424763$9A0337E0-8689-4E2C-8A9C-BB6C18FB34AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424763$D00AA234-6592-4A87-9AA5-7AD7C16B8C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424763$452A36AC-DFA5-485F-A2AD-7F897C44AA71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4e1377a3aca12ea1c9cec10e9c0a36e44a5d78b","datavalue":{"value":"2057450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424763$B81E7E0D-93B7-4D6D-83DB-EBE737077082","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb5cf5222b6371fb7f9c168c78eb205663c9be7","datavalue":{"value":"average-case complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424763$DF8F0D00-6B91-4D6A-B36F-A36B05C483FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$996DF37A-31F2-4504-971E-59ED25AF8A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424763$F2770A09-5C9D-4166-B541-B26A36B36F07","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":"Q1424763$0C12B279-9BDE-43A9-9608-4E66D9761572","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3e153bd0e8a567aea04484cab7aeaa0e3f32ea","datavalue":{"value":{"entity-type":"item","numeric-id":4473023,"id":"Q4473023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3eb7d931db6aa6c6125418f9902f871f33362b","datavalue":{"value":{"amount":"+0.9508912563323976","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":"Q1424763$1ADA1C28-3297-4155-9DBB-61900772F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2edd842871ce7d4fb3ae8f2cdfd585e63f5b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4475626,"id":"Q4475626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a44ddf46cbdcb8a81434cc8642d51a1af7556ef","datavalue":{"value":{"amount":"+0.8193387389183044","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":"Q1424763$7777A9CC-39D4-4120-890D-BC1C7F96857D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635a733bd0ef83e0f3c19f9acd9be87a73430639","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf24d90bd1ac63ce4aac59bcf3440a67b7d0969","datavalue":{"value":{"amount":"+0.7675027847290039","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":"Q1424763$6C8EF4B6-8438-4B61-B31A-2991C6FBC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9241c9656ab413cba3b94775fa4fcf36b2f396e4","datavalue":{"value":{"entity-type":"item","numeric-id":1610035,"id":"Q1610035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf24d90bd1ac63ce4aac59bcf3440a67b7d0969","datavalue":{"value":{"amount":"+0.7675027847290039","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":"Q1424763$6188B109-81B2-4A79-B7A3-3A5D8FE17A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7d1d858b288326b187fe1a2baefc5fce0fed02","datavalue":{"value":{"entity-type":"item","numeric-id":2741512,"id":"Q2741512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ba0d74a0bc37f2ff8d72bae3dd07042510da2d","datavalue":{"value":{"amount":"+0.7658078670501709","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":"Q1424763$792BE025-A88B-4529-99D4-D430A7B02E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Random 3-SAT: The plot thickens","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Random_3-SAT:_The_plot_thickens"}}}}}