{"entities":{"Q4607895":{"pageid":6637478,"ns":120,"title":"Item:Q4607895","lastrevid":53044157,"modified":"2026-01-24T02:52:33Z","type":"item","id":"Q4607895","labels":{"en":{"language":"en","value":"Beating brute force for (quantified) satisfiability of circuits of bounded treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6850326"}},"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":"Q4607895$50E3356A-C8A9-4BC3-99AD-BB60945BE2C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e5733b6f921aa7c103a7d881f2d38d4a26ee2ad","datavalue":{"value":"1403.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4607895$B8EF6C28-C644-4ACC-B235-E85B87EB885D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb4c89d5d605ec5921eaba11728477f0fd055d5","datavalue":{"value":{"entity-type":"item","numeric-id":270004,"id":"Q270004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4607895$388327AF-B1B0-44A7-8850-7E5AD7CD1BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4765037e146ab277b160b24c6e7b90b8f0220905","datavalue":{"value":{"entity-type":"item","numeric-id":4607894,"id":"Q4607894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4607895$8E415F82-70DD-45C3-9327-7CDFE2E999A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72b6c9fa09679ee04e7df5acd3659b335857c59","datavalue":{"value":{"entity-type":"item","numeric-id":192223,"id":"Q192223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4607895$3B1C1D23-D5D9-42EF-97CF-568998DF46DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4607895$902B84A2-F7C9-4A0E-82A1-3E8573100E2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23489e2614c55bc752f5452ec03daadfbea28359","datavalue":{"value":{"time":"+2018-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4607895$FA0133D2-627E-4E81-AF30-58B279F5B00F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"622f044eac85103a866869cc11ead55b7bb023cc","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3175284","type":"string"},"datatype":"url"},"type":"statement","id":"Q4607895$1942CCF0-D357-4FB8-B3B1-C275B3F2A6C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4607895$38FBFA43-1918-4984-958E-A261B9012848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4607895$17C73C8D-CEB2-4649-816E-1856741DD31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4607895$739D9101-65DD-45F5-B4A0-D1E7F8E44103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80791b27d30654b0c27a1d795266dccd75d8c970","datavalue":{"value":"6850326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4607895$47C01491-756D-4F73-A010-41CA7E320D61","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":"Q4607895$8C73534D-CA08-4748-9575-9DCB9611D4F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fbd704632b6ed04868eaee2d449e815a8228b","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78480689a78b93a7bef2ad6a94c329e0b5ee294","datavalue":{"value":{"amount":"+0.7815119028091431","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":"Q4607895$302D7D33-871E-40FE-AABD-40FF605CA97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814367368f309c58dc2bf3bb7aba6472ca25fc13","datavalue":{"value":{"entity-type":"item","numeric-id":3194714,"id":"Q3194714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e61e1b37509ffc1aa209bb551318ecfc019190c","datavalue":{"value":{"amount":"+0.781309187412262","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":"Q4607895$CE2022E1-951B-47ED-BA7A-27B64080EA6F","rank":"normal"},{"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":"7eac5df492feafd5bed15b48b51b938f1480b8db","datavalue":{"value":{"amount":"+0.7796441316604614","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":"Q4607895$99604CDC-2A11-4D36-A239-301B1B0AA894","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":"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":"Q4607895$12E5611D-F8CC-4DEB-BD94-5D04F4C3128B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8b3b32513364888f2bd6fd8d7388c0203e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":5363030,"id":"Q5363030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e6393c16a8f439d494de2cd1cd79a15881a7ea","datavalue":{"value":{"amount":"+0.7738327980041504","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":"Q4607895$C0CA0601-B71D-42D3-91C0-1501E653534E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4607895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4607895"}}}}}