{"entities":{"Q1678757":{"pageid":1689498,"ns":120,"title":"Item:Q1678757","lastrevid":68194416,"modified":"2026-04-12T22:03:30Z","type":"item","id":"Q1678757","labels":{"en":{"language":"en","value":"Balancing bounded treewidth circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803501"}},"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":"Q1678757$A02C4104-0FE7-47AA-9CD2-52F07E9DD001","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c569e56a8c1144262146c642fbd8f9b338a400c","datavalue":{"value":{"text":"Balancing bounded treewidth circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678757$AD57CB37-9196-4FCD-A1D8-4C391D05856E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f1a6b0777891da4fd4d37170d502af2f3417f0e","datavalue":{"value":"1380.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678757$A24193CB-8DCA-494B-819A-876716478E68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"237f56d778239336558bfb14c864a3b857c523c1","datavalue":{"value":{"entity-type":"item","numeric-id":371191,"id":"Q371191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$696C3CC2-E841-43B3-9B52-8C4C77393D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b81707721f3c702dc4aa809017d2f9dc7b47b6b3","datavalue":{"value":{"entity-type":"item","numeric-id":475334,"id":"Q475334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$3217118D-0B77-4A51-9018-EE69B5DF0529","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$FA394E37-55EA-474B-BBA7-2CC8ABD31CEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f04d1a508f552e1f1708571f1d0ec9ee237f17be","datavalue":{"value":{"time":"+2017-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1678757$9BE19187-6816-4CDB-948A-C66B5524256F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678757$3B49298A-C610-4F84-9CEC-784F1FC444E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678757$15747B95-834F-461A-9C37-51DCF880DF6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca9b3634a09c910e347307a1fdc677c423d6b86b","datavalue":{"value":"6803501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678757$36C71863-BDA5-41B4-BDBA-B2C74F82E6D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916f2a5439f7e4b36d4fe8bc533c45ce2dc6fc9f","datavalue":{"value":"arithmetic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678757$5AAC83FD-8569-4F27-99FA-9C7BFE09CA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678757$8ED02BA1-96CF-4076-BBBD-93646BF0404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a711949b401a7bc26ae2ce806f52f7c535a9bb2","datavalue":{"value":"bounded treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678757$D50F1505-BB76-4D5E-8931-25C2E3E58418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0812e59b78a45d0dc87ec7dd86d6abbea3ceac69","datavalue":{"value":"depth reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678757$35A92549-D282-43B5-9933-3E961344514F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e6f852240922023371bb799d78cb9166df9587","datavalue":{"value":"circuit value problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678757$CCD55E89-6211-44F2-8BB0-B70381B42325","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":"Q1678757$A3225DA2-B13A-490B-B7C7-B17589175DA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca5f76a63bfeaf3f4c3e29b627d46850fb06a972","datavalue":{"value":"https://doi.org/10.1007/s00224-013-9519-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678757$FA45ED91-266D-42CF-A85F-03F889096BB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"858a66bf18d38be583181fdbe5128e2899e74e33","datavalue":{"value":"W2571401227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678757$8605F7C7-6203-45E1-8F1B-C7F800F68628","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b03928a2df5310d5257d7d053fd5e68e697229f","datavalue":{"value":{"entity-type":"item","numeric-id":5426862,"id":"Q5426862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$720E938B-F024-4BC0-806D-162F327C9596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e648b22650aa2cf6e1e68c3c295339a41001063","datavalue":{"value":{"entity-type":"item","numeric-id":3652250,"id":"Q3652250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$3920BDF7-3524-426E-9DAB-5D862409A13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efc2d811cc59e23835a6d022eff92f13a78551c","datavalue":{"value":{"entity-type":"item","numeric-id":6203537,"id":"Q6203537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$778B347F-F4AD-4B11-95B4-A9EBCE07CE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4077de5ad21c6b78a25ec43c56119974484a370","datavalue":{"value":{"entity-type":"item","numeric-id":4401551,"id":"Q4401551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$69BC5687-E856-4CFE-A9B1-6D70D9E34692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6077e2e54fd6a54fd3728489a248cfff870e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4331740,"id":"Q4331740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$76851D18-906C-40A9-A52F-71703F229563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e970f70d236890859efcac5100bd90f20ec03563","datavalue":{"value":{"entity-type":"item","numeric-id":3113750,"id":"Q3113750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$8EC1281C-E3E0-43BF-8A13-D3CCF21596D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd898582b3042cd9f98f55a99a55f26af0712fb","datavalue":{"value":{"entity-type":"item","numeric-id":4128417,"id":"Q4128417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$F0944636-D44C-4C82-B4F2-A5B0AFA144B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e47f216a31b0219cf1c96da660bc637b098a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3392953,"id":"Q3392953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$86B39620-C292-47C6-A05E-EB9EBD159400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcd71ac0ee1662e3c5c0f5046af9d7c75419ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1221749,"id":"Q1221749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$52BCAECF-3181-4544-B21C-93E6FECAB503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3274ceb602aca492824db0aa4f9c4b7a0a1fa6","datavalue":{"value":{"entity-type":"item","numeric-id":626664,"id":"Q626664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$2DBD04BD-5248-419F-890E-F76A0C525164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55acb7b506d590f43dc2a81e7394e5cfeec447d4","datavalue":{"value":{"entity-type":"item","numeric-id":3396604,"id":"Q3396604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$4615DE9A-C56E-419E-BF59-B362BCB066B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de9f5a307d078d555851fc43a7333f3e9a2689a","datavalue":{"value":{"entity-type":"item","numeric-id":3599149,"id":"Q3599149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$D9F4FB8E-886A-4A2A-9672-8E7780B5C31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197dcf74364ef6f6d63c39cef51a1ca48c24c1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3183616,"id":"Q3183616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$BCDC72C3-C8A0-4619-A9C1-12979C67CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5853b77bd3dd2c8d49b93a2d4889e9cf325852c3","datavalue":{"value":{"entity-type":"item","numeric-id":2479314,"id":"Q2479314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$D7C99CF8-50F7-4AF3-A05E-01A306446750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cabcc6c33339345a4333f2979adeb19662b919a","datavalue":{"value":{"entity-type":"item","numeric-id":3581436,"id":"Q3581436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$B74B44B6-0E52-4881-8149-B7B3A4AA062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6b6537a8c32e823da2d8eed00d4eb81ae5d6c1","datavalue":{"value":{"entity-type":"item","numeric-id":2264758,"id":"Q2264758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$81939651-0356-4997-ACCB-C39665F77281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a828b43779c3f40de248eb0e5024ad5540b0819f","datavalue":{"value":{"entity-type":"item","numeric-id":2904750,"id":"Q2904750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$A4F0A3D2-84D2-4739-8851-731E9CD69B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1e2a210a633c08ab99ee4d2a519f4798177e87","datavalue":{"value":{"entity-type":"item","numeric-id":3036703,"id":"Q3036703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678757$B7EEFCA8-8AC8-4110-A0BA-357D9E99B427","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7f3163874611de7c7ea1c57223634efda1d39fe","datavalue":{"value":"10.1007/S00224-013-9519-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678757$BF5F03BB-AD9C-414E-9A88-E1DA246E8A5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f0d838ee601e73fac2033adce33781228c6f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3569746,"id":"Q3569746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$08C99FF4-106F-4544-9D55-3228B4D71AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b813ed849062951c78baa82bf5afcc25a0087e42","datavalue":{"value":{"entity-type":"item","numeric-id":4887490,"id":"Q4887490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597e144c530c288c38b6f04f3a405733598cf56a","datavalue":{"value":{"amount":"+0.8856934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$81EAE7C9-AF24-43C8-A887-F7A2499DDBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2371f93b46006cf8b5540248b92ab0b244309f7","datavalue":{"value":{"entity-type":"item","numeric-id":5387797,"id":"Q5387797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cfbe2f0171d2adfd7cc938df86181b5688ea5d","datavalue":{"value":{"amount":"+0.8682586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$BC4654B3-BFE8-4D05-9515-52A4E5B0C6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b112a4a8a29a31dff6445f7e467f3a95516daa0","datavalue":{"value":{"entity-type":"item","numeric-id":2312607,"id":"Q2312607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c6b86fe8406a613c56c9719657434d4ffe13b5","datavalue":{"value":{"amount":"+0.86732894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$D6943F8B-7A26-45DC-A650-5DCCBDAEA2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729522e0ee9b91eee9dcfb40b2b14fac936ee7af","datavalue":{"value":{"entity-type":"item","numeric-id":3835004,"id":"Q3835004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be99f8288a3304bd944bead9556b08a81bf03034","datavalue":{"value":{"amount":"+0.8639213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$9A854FA5-52EB-4983-A763-C90CFA0C0DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58852f4fe4ddc4725c80ed887bce5be0bace4604","datavalue":{"value":{"entity-type":"item","numeric-id":3681949,"id":"Q3681949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6a3a14fa293f06665c66b75450115af84b0c1b","datavalue":{"value":{"amount":"+0.8585194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$5A18C05F-834E-4BF3-8593-55980EFC45A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a51d93b9404f2775702ce2e462e8ca8faa13f9","datavalue":{"value":{"entity-type":"item","numeric-id":2375853,"id":"Q2375853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961b79e325857e407fe5f7d4efe36da04bf05a06","datavalue":{"value":{"amount":"+0.85711676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$05208279-A5A1-48E0-821E-5B729CA7271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946284949829a51c6524423a333d16a238071197","datavalue":{"value":{"entity-type":"item","numeric-id":4950388,"id":"Q4950388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1360574423d2dc8f8b3967c084307ca4bda2122","datavalue":{"value":{"amount":"+0.8557974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$E4745C75-92FA-4C26-89F7-5113D9249026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da2026f7e7182fba610ab5ff9e57cce79da1123","datavalue":{"value":{"entity-type":"item","numeric-id":5511655,"id":"Q5511655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f88199cd1559bc018c932963114279da9db68d","datavalue":{"value":{"amount":"+0.8552418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1678757$CFCA7CF7-B8C0-4600-8FDE-262E8085B545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Balancing bounded treewidth circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Balancing_bounded_treewidth_circuits"}}}}}