{"entities":{"Q990090":{"pageid":991938,"ns":120,"title":"Item:Q990090","lastrevid":51070544,"modified":"2026-01-16T12:18:56Z","type":"item","id":"Q990090","labels":{"en":{"language":"en","value":"A note on width-parameterized SAT: an exact machine-model characterization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5778938"}},"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":"Q990090$D945952B-BC56-4A7E-9084-915ED0A295C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea3b213d1ea695a82951b54fda89e3d8b67dedc","datavalue":{"value":{"text":"A note on width-parameterized SAT: an exact machine-model characterization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q990090$8624EE33-E9AF-46EC-8EF9-339B6989A312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d86874152a0a02e463e686ee42dd1624059fcb4","datavalue":{"value":"1206.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990090$40E43631-FA21-4300-9F97-59A03AE54755","rank":"normal"}],"P16":[{"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":"Q990090$D741D578-DA33-4731-B2FB-45AB3291A323","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":"Q990090$9581C908-63D6-4921-A5C1-F782B56D3AA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q990090$C31680E6-2C5E-43C4-B8C4-DB98D2A2E74A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990090$BABC2128-491B-4C94-BDE3-C4E9C222A343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990090$D9EDD3F1-C24C-4309-BA6E-E321EA482DB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f1b3b3f670c12c59c57b1fe6cd619ee3ca873b","datavalue":{"value":"5778938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990090$09984113-1200-433F-A377-830D3B04513F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q990090$EAD29116-1512-4CEC-9A92-F6DF70CE8D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f0775be0208bb1f766f861fd7b5f4ac66737d5","datavalue":{"value":"fixed parameter space tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q990090$3232C128-6DA1-4B7A-B560-9BCE28237A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f458d393b772a7cf36a53976d2b5be911e683d","datavalue":{"value":"pathwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q990090$3EF75437-E0CB-4EDD-8B79-2AAD140E98AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q990090$B930C163-8781-45D0-944C-28FE187583A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1493e2296a2d0c5adf50c5018162be5fd288329","datavalue":{"value":"machine characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q990090$DD3FC278-001C-4C81-8805-3C45B661888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q990090$EAA123AB-B762-40C7-A15F-E34F2460972A","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":"Q990090$AC87B410-A790-4A93-9D42-49BEEC964C48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f70474ba1d62616da542a43b2dcaea9f6604b615","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.09.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q990090$3850A755-C522-47FA-8D2E-E860C021017A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a74cf5f49404a417feb60aca5691f954cbe5dda7","datavalue":{"value":"W1981679584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990090$3CF4EC63-9C1E-4BF7-8E3D-A023C24386E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7086dea06f90ad187cd6ca8db29e29ebe9068d0","datavalue":{"value":{"entity-type":"item","numeric-id":4942157,"id":"Q4942157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$8B6A1E25-49D0-4699-A1BF-C0D3D91E6673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22e65c24d1f698f5eb2b3d1bdbc4d2c406f992c","datavalue":{"value":{"entity-type":"item","numeric-id":4259986,"id":"Q4259986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$2915CA89-1A9B-428A-8D94-927167F171A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$814127B0-F4E1-40BE-B74A-8CD78BD3379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a6489ba6c7f3e12463a0fcc45bc30a80518bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3502698,"id":"Q3502698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$D66CF0C6-0BE3-4D6B-9743-0E32F116BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90870b52f69b79e9f1be8991c81685fd47daf61f","datavalue":{"value":{"entity-type":"item","numeric-id":3546332,"id":"Q3546332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$6D477142-E436-4245-A4B2-FC03C2126A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4548ea5d583917c0fa9b6aaa6b1d48c80c1e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$8E020653-C82A-42AE-AE58-052BA10DAF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990090$D5C08CAD-3911-4415-8823-FA319D8AB3B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08a41438278a88d379a133f2c51b5fd69d35f65e","datavalue":{"value":"10.1016/J.IPL.2009.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990090$AB43DBEE-36F0-4823-B8FE-BE68955FA45D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dc12fea4736907a8a127ea7f69d7d3437a79ea","datavalue":{"value":{"entity-type":"item","numeric-id":2897994,"id":"Q2897994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a96a899f7b65ce710c7205184534999008b6ad1","datavalue":{"value":{"amount":"+0.7945420145988464","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":"Q990090$6E3560FB-ECAF-417A-8B6B-41498C41F5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087c4f4636b754d665284db32aadc20e7ebbc40d","datavalue":{"value":{"entity-type":"item","numeric-id":3452838,"id":"Q3452838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4a5e58c49d7db81ed7c1b3250bc96e32d03c30","datavalue":{"value":{"amount":"+0.7829411625862122","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":"Q990090$4C572755-6412-413F-B62A-1A2C2A2DECFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba87ff74f183dfc9e56694fbd3e23bcc6e9d4aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5497123,"id":"Q5497123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df3c697b934e5ebc63013568c516202500d8e02","datavalue":{"value":{"amount":"+0.7694373726844788","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":"Q990090$9DBF8283-FA3A-440A-82D2-813DCF0C9420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a408ae587b462d75ea0be0b3b7977f7cc5f8cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1092a36ffc9fe163f2c8c210bd40735efd703d","datavalue":{"value":{"amount":"+0.7649962902069092","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":"Q990090$4A34DFD5-2161-4DC6-8B8A-E28D38E114DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc70630881469eb61a3b88d9577a3b7336c8241","datavalue":{"value":{"entity-type":"item","numeric-id":3502698,"id":"Q3502698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2693ff701ccc74fcacc4b9db9eb86ca0428bfdc","datavalue":{"value":{"amount":"+0.7607254385948181","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":"Q990090$B5E5A97B-D225-4BD0-873F-7C489DDB7AA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:990090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:990090"}}}}}