{"entities":{"Q2330557":{"pageid":2341300,"ns":120,"title":"Item:Q2330557","lastrevid":53574014,"modified":"2026-01-25T08:46:46Z","type":"item","id":"Q2330557","labels":{"en":{"language":"en","value":"On Tseitin formulas, read-once branching programs and treewidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121063"}},"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":"Q2330557$BA9B75AF-5B92-49FA-B2AC-4C69630C993A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85ceabc7cba09a8849b16591eef1e51750aeca73","datavalue":{"value":{"text":"On Tseitin formulas, read-once branching programs and treewidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2330557$5EE81570-4077-4067-A6FE-0517C57F063C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ef4c2234ecf3955b40ef947ce4242b9d45f978b","datavalue":{"value":"10.1007/978-3-030-19955-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330557$409348F8-8C8E-4A7B-9352-2BDB38DBE0DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b7504cfac7ecdb10c8e36afadb8e9f3eeb06e7","datavalue":{"value":{"entity-type":"item","numeric-id":2043883,"id":"Q2043883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330557$FB5CC07F-28C7-4D88-9F8C-636F8B0223CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330557$5C0A5BD7-C26F-4211-9347-CE0A88755138","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2330557$C636E0FA-AF30-4DD3-B519-A1367ECD09A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330557$E6F754E5-C2FF-43C4-99DF-6ECF6AD96EB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"743a3ff269cc6d4de88b4471e97b2f19b974becc","datavalue":{"value":"7121063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330557$2A10CE6F-B026-4F41-A396-D6EB959427C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f522319ed294a2a58954bcaeb2c8415fcccf84d","datavalue":{"value":"Tseitin formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330557$04B98B8E-9F68-480C-9B28-AC85978E93B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad37d71a040074748b834ec8d9584eea5880ccb0","datavalue":{"value":"read-once branching program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330557$6F8825D7-F16B-4F18-99AD-74543E5FB493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330557$75BB1B49-D3B4-4E0D-BF2B-418357D0E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e03c0afd78082ee03571000bc7a328dc215890","datavalue":{"value":"grid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330557$A27173C7-0FB4-4C18-BDAC-0233268E57D8","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":"Q2330557$4CD2DBDF-6A5B-4339-A23C-2B34163BE85C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3997cdf5333a901d2da5138443b1faaf5a25ee06","datavalue":{"value":"https://doi.org/10.1007/978-3-030-19955-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2330557$4FCA2EB5-086A-476E-810E-8977CEEA0756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58edcb471a7c0cfd15e535ca14f5c9139650fcb3","datavalue":{"value":"W2920044120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330557$4B9876EE-0D76-4CC4-9CED-3AA144D21E26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7d73521495f6c28f8bb23ab51ac0e7cb0c30","datavalue":{"value":{"entity-type":"item","numeric-id":2043884,"id":"Q2043884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1442a15dd00f1ce0bfb67524c968b9b82ed7ced3","datavalue":{"value":{"amount":"+0.9950686693191528","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":"Q2330557$2ADAAE9C-3272-40B4-801F-5A0388A0F255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c320b32069ad98310ee86500981e957c9c69682","datavalue":{"value":{"entity-type":"item","numeric-id":5111240,"id":"Q5111240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27adf423f744c32eafbe553ec803b6e210d0a0ed","datavalue":{"value":{"amount":"+0.8681376576423645","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":"Q2330557$C8EBB105-0AD2-46D2-B683-EDA59D93BA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84c71f0d4e493bc7f5a362f69439942e3a46c41","datavalue":{"value":{"entity-type":"item","numeric-id":2946031,"id":"Q2946031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57107314d6b27b8a6dfd8b14c64fb424e8fb5026","datavalue":{"value":{"amount":"+0.8182517290115356","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":"Q2330557$2FB19961-CEF3-4093-A69C-C234B071047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8361b86ea858c692159e5238a9f0fe78f3c9e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1983330,"id":"Q1983330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5225cde4a324da8f5876926f73dd183a4425780b","datavalue":{"value":{"amount":"+0.8135178685188293","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":"Q2330557$BBC5EE57-6141-4862-83D1-E52738A508D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e244f358b2e7951a14c546829e3f1de5cf9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":309788,"id":"Q309788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83d3d60a6e4962db393b467ec94aca3dfc1715e","datavalue":{"value":{"amount":"+0.8002924919128418","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":"Q2330557$EDFF7AB1-FEF8-4BF8-A37E-72020389AC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2330557","badges":[]}}}}}