{"entities":{"Q5956015":{"pageid":8132817,"ns":120,"title":"Item:Q5956015","lastrevid":97703357,"modified":"2026-06-05T15:15:39Z","type":"item","id":"Q5956015","labels":{"en":{"language":"en","value":"Time-space tradeoffs for SAT on nonuniform machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1708335"}},"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":"Q5956015$90384162-23AB-4715-A188-0CC0A316D149","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7278cc6ee4db40227dfa774d86945af6f47554a","datavalue":{"value":{"text":"Time-space tradeoffs for SAT on nonuniform machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5956015$DFAEBA8E-66B9-4722-BE39-EFDA2E4D6687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ccac288c14b03b8a017ede69844f98a57b9e653","datavalue":{"value":"0992.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956015$79757C3D-6DF0-4764-845C-1382BB6CB823","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe7535c2a7fbc4354350f3fff626d063ef38fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":230573,"id":"Q230573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$37615633-CAB4-4A8B-8115-5167EA0160A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$6549548E-25D4-4DE0-9A3C-8F43721FE701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bd22e9bdafff3cc4af9c050513c24081452898e","datavalue":{"value":{"time":"+2002-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5956015$08711D6F-8402-4C0E-A479-76FF4C6D6B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956015$27C6D1DC-05B4-47F4-A400-E2A2B09A4D98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bba69349055b10849299a0014a797efd5c83d105","datavalue":{"value":"1708335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956015$073F62ED-8CA6-49F9-868B-46081BABDDBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956015$62118EF9-05D7-40EE-8815-361341D0197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea32b2b549fd24419a857c0b59d8e23ba30ff6f8","datavalue":{"value":"time-space trade-offs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956015$F331E3DC-A07E-4E54-B248-35B7FA6C4A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfaf02f0c561d4d48e77fb87bb5506fedded8f32","datavalue":{"value":"nonuniform complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956015$DCFCB4DB-3189-4C8E-8DE3-87D6F0E10490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5956015$C655BF74-F203-4518-BEA8-4965B3845572","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":"Q5956015$52D81305-BDE6-4569-815C-5CDE1048B8C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bda8e717935fc1f1d0fa72f0bfd6b98cec04f987","datavalue":{"value":"https://doi.org/10.1006/jcss.2001.1767","type":"string"},"datatype":"url"},"type":"statement","id":"Q5956015$56833D1F-85A7-4D09-ADFB-54C191EFC356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bf2d3094e4cef68e8d13db44edb6816a5658d34","datavalue":{"value":"W2006558104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956015$6650C1D3-6F53-49DA-A063-0FCC237BC4D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcd3741298261fc84fe00c1eae6a707c88179c8","datavalue":{"value":{"entity-type":"item","numeric-id":2819593,"id":"Q2819593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$538B7696-DA47-43BD-817D-7B7A91809B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197c225799e487294a747ce7acf284840e35974d","datavalue":{"value":{"entity-type":"item","numeric-id":3210181,"id":"Q3210181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$69D56013-37EC-4AB7-BBF8-EC0FD331AC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e5401aed9934a90f07cd3768501024fc900e12","datavalue":{"value":{"entity-type":"item","numeric-id":2542726,"id":"Q2542726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$C0842DF9-F8F6-4BB5-B463-306E3B8E1526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$C65F018E-EABC-4795-BBA1-224CC370A3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544027f5c686e434aeb68d4e057be0843d1d7756","datavalue":{"value":{"entity-type":"item","numeric-id":1096390,"id":"Q1096390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$FCCE49D6-FCB2-46FD-8484-E1FE7EF88D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c3aa1f109b7982536744b5c71615445bc3e192","datavalue":{"value":{"entity-type":"item","numeric-id":3316594,"id":"Q3316594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$EFE8206D-8D8E-4D92-9FC1-0A829BA9B9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d3d9f46b70c56e29a38385421b09d8756258cb","datavalue":{"value":{"entity-type":"item","numeric-id":4717057,"id":"Q4717057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$375AEC25-6C4B-4C79-8AAF-D3462C6FB764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a412bb789193655ae4afab60cd924bccd7bf6bea","datavalue":{"value":{"entity-type":"item","numeric-id":3477959,"id":"Q3477959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$E5098A57-8B67-48B7-ADA4-DC474C14F7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1abf0ec1abf337ad5daf1409b3e69fe79a4c97","datavalue":{"value":{"entity-type":"item","numeric-id":5526975,"id":"Q5526975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$1CF2453D-0DB1-4463-B6D8-8DB760686B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e876a74df4c5afd434282460ace786203847bd5c","datavalue":{"value":{"entity-type":"item","numeric-id":4131020,"id":"Q4131020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$5C303C73-1021-4666-BAFA-44094C7167C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$F7B9C28C-6188-4246-8E41-C1A955549A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529636f514f2cf19373a9a659e09022442fc1d94","datavalue":{"value":{"entity-type":"item","numeric-id":3334987,"id":"Q3334987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$C713C31F-D45F-4469-AC89-89CEA7804215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dba1b630fbabf4da4bcb4c5ead5827d30fc7c02","datavalue":{"value":{"entity-type":"item","numeric-id":1095660,"id":"Q1095660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$6AE0EF95-3277-4D1F-AF33-864FA798AAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9685bc24e8868389f51f3f76a5f449f5b6d1410d","datavalue":{"value":{"entity-type":"item","numeric-id":5628106,"id":"Q5628106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$B10681D8-90A3-4467-A543-B7D6ADB2007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$DF709F14-D6F2-4853-887C-5C076AB99B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6de891d5a6744d6bc5da3b977613039967f9d10","datavalue":{"value":{"entity-type":"item","numeric-id":4191603,"id":"Q4191603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$3149CFDE-F19B-4262-80F7-590C29B22A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cfa2d1621cc9c511156a9dc9b2a1395c3f3d33","datavalue":{"value":{"entity-type":"item","numeric-id":758197,"id":"Q758197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5956015$44E2A367-BAAE-446A-B36E-0FE259DBAC46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f32554a48b473d9a998b5e327605a88bea5a976","datavalue":{"value":"10.1006/JCSS.2001.1767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5956015$E7440306-CF34-41DA-8AC3-AFAEB84A35B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a43605efdfa29a28d4e77a2a3241758a63b611","datavalue":{"value":{"entity-type":"item","numeric-id":1567402,"id":"Q1567402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90468b281144bc8d23800693cbff9d23a7fdf96","datavalue":{"value":{"amount":"+0.8752204775810242","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":"Q5956015$92C5DF49-B2B3-423A-BC5C-9C7896A4A1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88741e630dc3bbbdd07e016391db8d31c500dadb","datavalue":{"value":{"entity-type":"item","numeric-id":5368753,"id":"Q5368753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f53e956ada2d94d4d2a43e44616aac9d107431","datavalue":{"value":{"amount":"+0.8744804859161377","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":"Q5956015$962AF15B-F2E9-477E-AE7A-CBD683443C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f126af51bb0406a718eeb65fff14b7bf10fdf5","datavalue":{"value":{"entity-type":"item","numeric-id":2460033,"id":"Q2460033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c13f2c1a9eb5f50a346ae788e8aa63636e61efb","datavalue":{"value":{"amount":"+0.8584961891174316","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":"Q5956015$2932AC59-4343-4DF9-BA29-193D8F881956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4462be1abc316894dca49bfe969c7c58f01ddd2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18951c0811f590235ac66682640bb706f2fcfc1e","datavalue":{"value":{"amount":"+0.8403984308242798","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":"Q5956015$7FF47BF3-8D65-47EF-BCEA-95A8ED17E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143f83e82906f59c7836778facb8332060f8ebdd","datavalue":{"value":{"entity-type":"item","numeric-id":2729236,"id":"Q2729236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0292cd7e35111468e0947f30ccad527064c120b","datavalue":{"value":{"amount":"+0.8218479752540588","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":"Q5956015$47608B97-BDF7-45D7-839A-ABA74E5CE82B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-space tradeoffs for SAT on nonuniform machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Time-space_tradeoffs_for_SAT_on_nonuniform_machines"}}}}}