{"entities":{"Q4972153":{"pageid":7001732,"ns":120,"title":"Item:Q4972153","lastrevid":53600834,"modified":"2026-01-25T09:52:08Z","type":"item","id":"Q4972153","labels":{"en":{"language":"en","value":"A SAT approach to branchwidth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135653"}},"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":"Q4972153$03D19EE1-368A-4829-9CB2-9735A361F907","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c737f512b7e387f606de1cd8842b21211ae92fc","datavalue":{"value":{"text":"A SAT Approach to Branchwidth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972153$6EDF461A-FDB5-4202-9F0D-A6927E4DD5C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"707a95f04c10db1dd847068ddcd6813882e12f4c","datavalue":{"value":"1433.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$DFD7D602-E669-47FA-A71E-94F4AFE5CFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3395ad55050993a916fc78c8672e04619f016993","datavalue":{"value":"10.1145/3326159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$1FB68A7D-4B12-4E2D-A385-46D8579BD89B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739701bb2bfacad22655c948679cc0c6d98a62b8","datavalue":{"value":{"entity-type":"item","numeric-id":1680267,"id":"Q1680267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972153$9F7F6445-BF7C-41F2-A213-54F5C945AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972153$626AD758-2D84-448D-85CA-381A7AF54DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972153$5EC62E41-6836-4461-B13A-3D7BD4BABAC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972153$BE5E9B9A-44DB-464F-AB47-92E0A64CECCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-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":"Q4972153$30D2F4D1-BB27-43DE-90EF-3270390082C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac8d99572289fcc10bda6e6ff0d0111bfd509e3","datavalue":{"value":"http://eprints.whiterose.ac.uk/147995/1/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972153$62654C9C-F7F8-4DA9-8557-FC32BCE878C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$67C8AEFA-FF0D-47E6-AB56-D9C44788FECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$6906B909-BCC5-46B1-BA22-0322F65EF80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5333d0205ccf54f8482367bfadbaa8f4afc5f8fb","datavalue":{"value":"05C78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$367447C2-0A11-42AE-8C3C-F8323EE0B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$C53BBF19-2F27-43D2-AC07-9326F141DE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$5B0B16F8-9752-4BB7-86E2-F56F21423C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f146553ef29e39626d3fbe324493492cd1add16","datavalue":{"value":"7135653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$5A10CAA8-7F6E-4ED6-92F1-02BE44752D8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eef75d36a742a9333518bd7dc18adb899561d9c","datavalue":{"value":"branchwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972153$FC2C7FF4-FE7C-47BA-BFEF-ED19FE4F3F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972153$98D5E992-2E34-49E6-B62A-CB13B5747165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8eaee2d943c7a918bd8d83c0e8e6e761cc8ea7e","datavalue":{"value":"carving-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972153$40D743BD-D26D-458B-9DD5-75AB731D7B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b6ba98ff19f3860dca8d7a4e1436857f3fff49","datavalue":{"value":"heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972153$426C55D4-D5F8-4242-B795-909A204DB08C","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":"Q4972153$487B0279-C39D-49FF-BC0B-38FADF92F7FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c607d1088226439df3e0238f05fb5d6ea051151f","datavalue":{"value":"W2948605263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$F47AEAA4-5B8A-41F6-B437-B664166F13DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"061c29be8599e7eb2facd3397aadedf8419c0187","datavalue":{"value":"Q127791704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972153$A5321E78-0938-415A-BDF5-CC1DCE896F38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8d5fd8a19bdb600c7bae7900dc553b695623dc","datavalue":{"value":{"entity-type":"item","numeric-id":2818011,"id":"Q2818011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb7bb80e63fd3d2c026342e10e9b24e74d9cfbd","datavalue":{"value":{"amount":"+0.986469268798828","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":"Q4972153$2D7E4935-067C-45B9-8ECC-4C9B985CD3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0934e7cf317584546d974ecbf7aaccb4b31fa","datavalue":{"value":{"entity-type":"item","numeric-id":1680268,"id":"Q1680268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b58ce7c0b0cf0b1acf6683ca4188251267b5865","datavalue":{"value":{"amount":"+0.8200119137763977","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":"Q4972153$22B4FBF0-D8FF-4C94-BBF4-8357FE8C8E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820811274accac73e252b1d2cf4b0cde7e997ef","datavalue":{"value":{"entity-type":"item","numeric-id":5232758,"id":"Q5232758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2774017df22d6a184cb7b9dee579f992f3a1434","datavalue":{"value":{"amount":"+0.8156984448432922","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":"Q4972153$32BE6DC7-07A8-4B7F-899A-A5458B20C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e5b7a5c16b2698feb316729080fb987c572329","datavalue":{"value":{"entity-type":"item","numeric-id":5325870,"id":"Q5325870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9f72aceb25f353e6c98236fca448a8ee33c8dd","datavalue":{"value":{"amount":"+0.8121129870414734","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":"Q4972153$3400C288-D85D-4BFC-BEB7-A3EE3CD4105F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4754af299d888e2962519f1d87aff21e62ab311","datavalue":{"value":{"entity-type":"item","numeric-id":1680270,"id":"Q1680270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19a9ec54be726fa9d3379eefc084607422f6d0a","datavalue":{"value":{"amount":"+0.8114004731178284","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":"Q4972153$7EE09B3C-82CC-46C3-B542-0E183A75951A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972153"}}}}}