{"entities":{"Q5497123":{"pageid":7526683,"ns":120,"title":"Item:Q5497123","lastrevid":58589481,"modified":"2026-04-05T21:42:19Z","type":"item","id":"Q5497123","labels":{"en":{"language":"en","value":"Width-parametrized SAT: time-space tradeoffs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6395196"}},"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":"Q5497123$D06C3016-6956-46D8-B4B7-DDEF33FC2F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086da46a240a0df96650cd652a8c54b1e94059b4","datavalue":{"value":"1319.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497123$9D4EBDA7-A0B7-4EA2-9DCD-D042623CE208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca6b0d045a5d9c555f74cff7b31ab1f75e2f1620","datavalue":{"value":{"entity-type":"item","numeric-id":280946,"id":"Q280946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$C1CFADAA-D43F-4423-A2EB-929C2AA75379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbff83551acfe7dfc63c1e23e709550684a3de87","datavalue":{"value":{"entity-type":"item","numeric-id":650929,"id":"Q650929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$CB52CA8C-F74C-4959-B306-71CC3C59D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b0727342a96343b6d696f93809deb0806f788e3","datavalue":{"value":{"entity-type":"item","numeric-id":280947,"id":"Q280947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$282C5338-F4B2-455E-9CFA-A4AB818A84E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5575411c19a6c8624a4fb6e628341a5c88aeaafd","datavalue":{"value":{"entity-type":"item","numeric-id":2637285,"id":"Q2637285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$41CCD823-6D78-463E-98E4-25F6B6C5A7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86eae0bd36f68e0853fe5ab9e6c133a110babb03","datavalue":{"value":{"entity-type":"item","numeric-id":1058525,"id":"Q1058525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$CE80460F-9992-417C-BA8F-6E3977F50387","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"11632bef515b8b0af0e8d65098d262d28b5f8c42","datavalue":{"value":{"entity-type":"item","numeric-id":2816408,"id":"Q2816408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$233CD47F-E696-4DFE-AD4A-316FC4471F3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daf3523f0cfcbb8866f85f86adfdcdc5e63a6d98","datavalue":{"value":{"time":"+2015-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5497123$9541F7C4-AE08-4819-B933-8A2EAD3890F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47bfd8b35bf1e8f109eb75b6aa158a30b0a1fa34","datavalue":{"value":"https://arxiv.org/abs/1108.2385","type":"string"},"datatype":"url"},"type":"statement","id":"Q5497123$C58187DB-68D6-476E-932F-B7817080FD27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497123$03028282-A7FE-464E-8C57-EF6E50D1527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497123$C17A7A44-1CE6-4805-BEBC-403334449C94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e8cb3f3c387c1f3b5c887715da0d331189f6d6","datavalue":{"value":"6395196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497123$8D0F67AF-A7A3-401B-BCE2-D5A4707725D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$9C47F85D-8B32-48FB-B2E5-F97850B24A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$5B1061AF-4E7E-4326-896A-22BF601900B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$E0EF6EE5-2F6A-4298-B364-DD1C6FFC1982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$9F5C9258-FB06-4228-8A98-BBE565D53293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deab25a737eb10928deb16a98ef82c01bc6e104a","datavalue":{"value":"parametrized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$234FA5B4-FB70-4171-A874-D9AADF0053D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$D7B1F008-6474-4636-893A-20A66E1CB3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93eaa0e7998a1c0659e109ce9005084240f6054d","datavalue":{"value":"CNF-DNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$C9FF905A-1949-4E86-8076-45BD791101EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$C269C14F-6FDA-411C-AB6D-D0645082A1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$87079937-E5C3-4472-853B-B0844BCC764B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1e89c01692078d552e9dbfa43d9ed6cde94ace","datavalue":{"value":"time-space tradeoff","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$6C9C2483-4EC3-427C-B1A8-BB12F7B3B494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$4CE77A33-041F-49FB-AB8B-7F956EEF5BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f458d393b772a7cf36a53976d2b5be911e683d","datavalue":{"value":"pathwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5497123$1C3481D4-1768-4BDF-8AA0-C0A66D45A393","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":"Q5497123$054EBD59-36F5-4262-8CBC-54CC4FC48D4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8b66947b900290cf14b2996033d9866c3fe3b0b","datavalue":{"value":"W2099856971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497123$ADA14569-BCB3-49AB-B5AC-A1D77476B375","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28f053cd88c9678bab4760d4ebefbb72fef5339","datavalue":{"value":{"entity-type":"item","numeric-id":4327821,"id":"Q4327821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$65D218DA-8D1C-4501-AF2E-4A3D880FAE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$D9EC88D8-85A2-4118-AF56-3997ECC34EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d3b8fede590ea6e43c26257509cd316fa424d","datavalue":{"value":{"entity-type":"item","numeric-id":5419094,"id":"Q5419094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$61EAC0FD-2EE3-4DD7-8991-AE7E48317E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f92064a7c0a7169d569584bcfda37a7842df61","datavalue":{"value":{"entity-type":"item","numeric-id":4414647,"id":"Q4414647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$FF1DD5AA-610C-4414-9C4E-E1FEAA7D103C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6946dd57921502deda820a0ddc3a086dc139032","datavalue":{"value":"10.4086/TOC.2014.V010A012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5497123$58585CAC-2837-4308-9ADB-2DCA515A42F1","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":"312437e6bb3f369fae294acfd0ea121e16c9a742","datavalue":{"value":{"amount":"+0.793036162853241","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":"Q5497123$BE84B6E5-8953-4AE3-8F18-BC22E2797B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818a858dad2b8a74d0f9a54dd9459beb1fba1589","datavalue":{"value":{"entity-type":"item","numeric-id":5365080,"id":"Q5365080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fbd7bd77085b7a2918d2d5c25e33dbc9e05f33","datavalue":{"value":{"amount":"+0.7921715974807739","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":"Q5497123$BDE37B04-BAA5-41C0-AA5E-EC6B4115F519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87110f44440b93eecce5cf2d4ff6eb73eb518e40","datavalue":{"value":{"entity-type":"item","numeric-id":4607895,"id":"Q4607895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd20ab456e8b2c9554a444581ea5ac805d179aa4","datavalue":{"value":{"amount":"+0.7773714065551758","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":"Q5497123$B10D856C-7652-4389-9BB5-CA67581BC9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410116ad48c47fefe9b752df2eaf62a843a92da9","datavalue":{"value":{"entity-type":"item","numeric-id":5325859,"id":"Q5325859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01413cd4116d743b076feea28584f7a5e4ae9ef","datavalue":{"value":{"amount":"+0.7769303321838379","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":"Q5497123$C0645295-2F18-4BD1-A22E-A86AF36EEFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d29bbf1bbc9f5aba33489e7969f75d6c388d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2894482,"id":"Q2894482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f67b5e928efaf67d6b67782e29024a41e64fef8","datavalue":{"value":{"amount":"+0.7701295614242554","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":"Q5497123$1CB3C9EB-AF6B-4C3B-A9DA-1ACD9991DD2A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5497123$720BE6B7-17B9-4EB8-B7B3-3E29950FB24E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5497123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5497123"}}}}}