{"entities":{"Q1099093":{"pageid":1109845,"ns":120,"title":"Item:Q1099093","lastrevid":49143037,"modified":"2026-01-06T16:12:47Z","type":"item","id":"Q1099093","labels":{"en":{"language":"en","value":"Nonserial dynamic programming formulations of satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039672"}},"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":"Q1099093$20E1314D-6276-4574-91AE-D36267DA63E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b9d9a2c6146e9c9f8e710238a39bd4bda6e3b75","datavalue":{"value":{"text":"Nonserial dynamic programming formulations of satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099093$8A966123-CC54-4014-9CD2-1709625F3F2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"330af613a30ade732bb31b1164a2fe5acbf0c71d","datavalue":{"value":"0637.90100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$4BF4E67C-12B2-4F66-8491-D3BC756D7DAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6be47853f9f914a80f2646d530ca768c3c1aad26","datavalue":{"value":"10.1016/0020-0190(88)90221-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$98C4195B-9FF5-41B6-BCED-1F98382B1CD1","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":"Q1099093$E83B765A-6120-4B70-AD54-2F142A05BBBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1099093$3C595C5D-A479-4723-AF72-540DB789C9FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71bb8f79e7d2287e05b63f3640d6c3af747e468e","datavalue":{"value":"Two nonserial dynamic programming formulations of satisfiability are presented: one mapping planar formulas into nonserial problems with planar interaction graphs, the other mapping bandwidth-k formulas into nonserial problems with bandwidth-k interaction graphs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099093$7E24DCAF-7228-40AD-B0C8-9076A418E352","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa3ca91474fff28e420d9cace433f8447ec799b0","datavalue":{"value":"90C39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$F5182D9F-FE3E-444D-B349-CC30F284E9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$3099D9A2-C7DB-42C7-9D54-28572D349428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$473E47E2-2EA9-466C-AD5D-2F4856D6D400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$593197E6-4F77-4A1C-8F85-FE8D2A20524A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f85b95a9ab4abe8fed184fea60e5c959d3bfd92","datavalue":{"value":"4039672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$11A1C6F9-BD16-46B6-A687-D4D880850804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"898285f73ccd4fef60f6ad5935f80fae2216335a","datavalue":{"value":"planar separator theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099093$F375B6E2-91A0-4B4F-8336-FBC191197D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9694b294558e448bb5f2bc6466fa724a168a63c0","datavalue":{"value":"nonserial dynamic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099093$FF299CA0-7351-4794-B2BF-BFCB82A25EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099093$D2A58710-B830-4A15-A1E3-70D3F91139B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a74e5ef2713be7340f78860387cf38fa70b73d","datavalue":{"value":"bandwidth-k interaction graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099093$E173B993-5D6E-4590-95FC-F41FE415B9E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"826380dc95fadc53672e1bbeb844ed930d2f4a0a","datavalue":{"value":{"entity-type":"item","numeric-id":324833,"id":"Q324833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$116D30FA-F006-47B5-B864-B4D4165C8259","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":"Q1099093$DBBFD539-DD85-4206-8398-81F1F41E1BCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcf141aaa38ea7e4955ed7f58013cdf1325249f8","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90221-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099093$CEB6C4BA-05F4-4443-87FE-A24E296FCE8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"635d72eacb2c2db22b7b603dc58a13db8adfe8b9","datavalue":{"value":"W2018339184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099093$8EF353CA-628A-4109-9A9A-275E02172E65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87478746e093073c1058b3d3f46e28a2e987337","datavalue":{"value":{"entity-type":"item","numeric-id":4728259,"id":"Q4728259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$1ECFEBBA-8108-495D-B07B-04CED353A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc25cbb648141cd33a4375961d870b7b0931a00","datavalue":{"value":{"entity-type":"item","numeric-id":2536444,"id":"Q2536444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$B777ED73-ACA2-4290-9913-1C3AEBFF802F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5366e4bfa7e6bdad9e332dce225078725b6020","datavalue":{"value":{"entity-type":"item","numeric-id":3766845,"id":"Q3766845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$A5F6531F-861F-4A9D-BC79-F35B6375E2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$5BA265CC-76CF-49A5-B29E-7D4A646C6C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2a57b475ae76d5a53ffe9b99df300f7fdeea33","datavalue":{"value":{"entity-type":"item","numeric-id":3906439,"id":"Q3906439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$B52527E6-2365-4205-A6EB-81E6FAAFC128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1f0209c662a26c652a065cc280f3e4e1081f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1822500,"id":"Q1822500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$E95921A8-8AE8-4868-83BC-DCF6601A258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6ce72157fae68bd29b9d7e2396c52bea96eef7","datavalue":{"value":{"entity-type":"item","numeric-id":1108031,"id":"Q1108031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$DA615B1E-2737-4C2B-A94E-B524F9A15D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23f273863469871a199ac4a03061a146b588596","datavalue":{"value":{"entity-type":"item","numeric-id":3937164,"id":"Q3937164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$4A5DE1CC-463A-4CCC-B142-D5053829B756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5ded74bf3fe0c055f8be77b20830406f4bdcf9","datavalue":{"value":{"entity-type":"item","numeric-id":3735072,"id":"Q3735072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099093$05CA4CAE-CAFE-49DF-B2C9-BD773EC776D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5282e977cd3d516d1b24623bdfacbd29cc7fc0f0","datavalue":{"value":{"entity-type":"item","numeric-id":4258616,"id":"Q4258616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa01c782c2d2263988fe52ce36a6884e6948bfc","datavalue":{"value":{"amount":"+0.7710630893707275","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":"Q1099093$AAA09120-7FD0-4314-A3D2-82355FB32791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb813533a56371910f97761942467b575d69c26","datavalue":{"value":{"entity-type":"item","numeric-id":4518913,"id":"Q4518913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa01c782c2d2263988fe52ce36a6884e6948bfc","datavalue":{"value":{"amount":"+0.7710630893707275","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":"Q1099093$E6D8211A-A0A4-4E8C-B038-62F24D51EE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df75bb90f326b0cc2db9129602dc2516b0609a5b","datavalue":{"value":{"amount":"+0.7646845579147339","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":"Q1099093$C9D22E14-C6C7-42A3-B81F-5F084B319A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c2497df0d3727005ce7ef5517c3a3fd8627049","datavalue":{"value":{"amount":"+0.76314777135849","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":"Q1099093$DEBA4FE0-5CD8-496F-9F11-55C89416DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bfcee4293b53e936740f10c8cc06c6e3f58cd9","datavalue":{"value":{"amount":"+0.7630528807640076","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":"Q1099093$3061E743-C5EF-4A12-A1D5-F06179BB0D6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1099093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1099093"}}}}}