{"entities":{"Q3007686":{"pageid":3018410,"ns":120,"title":"Item:Q3007686","lastrevid":80157455,"modified":"2026-05-06T15:34:03Z","type":"item","id":"Q3007686","labels":{"en":{"language":"en","value":"Abstraction-based algorithm for 2QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908749"}},"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":"Q3007686$B5546674-99ED-41FF-91D1-6404DE445A49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"136710b89dabcb5f71e2d30d63ec575e05197115","datavalue":{"value":{"text":"Abstraction-Based Algorithm for 2QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007686$63C14EA0-B081-4AFE-A0D1-5049DB68B610","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbb3e40c54b858f6492648a73dad8305751e212b","datavalue":{"value":"1330.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$3575C4BD-3DB3-4F35-B62B-A31E58BEE44B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd474cb139a15c5877026a30f08ef5495b3904b4","datavalue":{"value":"10.1007/978-3-642-21581-0_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$F83BD28D-012C-4467-965E-022A59451974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$F46BE35F-5E28-45F2-ADF6-B757CEE83392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$97F9DD24-0C45-4F03-9574-D568EAE51E70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$9C845956-1D0F-4BB8-846C-A8190A44C0EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007686$7C4B93A4-776F-4277-96CE-36E0D3BF1BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$ED2E4BE2-1F2D-470C-9BAF-C56820F81A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$832CE09F-12A7-4CD1-8605-FFB63B22E7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$2469D22C-26CC-4B7F-B171-6606D1C35202","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"950cb2eacad508d63d97e441d6f705074fcd8e33","datavalue":{"value":"5908749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$6AD96CE8-2C36-4863-B454-5810539249E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$81D3E8A6-7713-4B81-AB6A-2CCD6D5C22E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$2C47FAA0-3DD7-4B7F-8F0D-E10970A150A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$EC502F44-D502-453F-9690-24BB2DCB75B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa0d89c0a8d281cca595eba1f33ef7e0ef5464ab","datavalue":{"value":{"entity-type":"item","numeric-id":54038,"id":"Q54038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$F8C61CF7-2740-4947-ABBD-FF759A98A5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$9EF52970-FE04-4C2C-A1FD-1003B7AA0041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$BFEA9795-B987-4DF4-AC88-3690A25716D2","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":"Q3007686$D9428CF0-9692-4F44-98F2-3A75D30E2977","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"519813c872d78e6f27eee45078149fdbbddab0c0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007686$1F9406FD-16BC-4731-A0B0-32B802E4034D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da004fe0cff4894c27730c94bbe7a18def9e5078","datavalue":{"value":"W147950966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007686$B3FE26C2-4578-4758-96E8-0DF1755E6429","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$1D0742E8-9DB8-404D-9A49-445C37348262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$8F7CACFD-A4E2-48CA-BD25-6ECB13E046D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0850fea071eeb746de213743329a7ceeda8fd6de","datavalue":{"value":{"entity-type":"item","numeric-id":814472,"id":"Q814472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$1B33FB48-B83D-47DB-A4CD-73E666A182B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb19e18c12ddea2b553dcb695cb9473546265295","datavalue":{"value":{"entity-type":"item","numeric-id":4427894,"id":"Q4427894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$3C77B95C-3C64-4BFF-9DCE-57D8D0AABC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$CAEEBDDD-4222-4420-915F-5B811973C1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$917A2AA5-70D1-4E0E-AC39-F15378CFB5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0870e13c4a5dd2b1ec6ccf0eb8fddafbaa000d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$FFFD4E80-6BEB-4ECE-AC01-1BF0FCA44019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$E0C43AFF-DE5B-48D6-993D-8C22EAE0490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$739AA89F-F180-4854-905F-B6AFD4611F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625f6543cb45ef040d1e85336980be3f05f00677","datavalue":{"value":{"entity-type":"item","numeric-id":5900690,"id":"Q5900690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$BF138A82-10B0-4246-B503-E502144AC7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4329c832aaeefb18d7073f9e13d9d92559128df4","datavalue":{"value":{"entity-type":"item","numeric-id":4930581,"id":"Q4930581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$952BA2AE-4C9B-4624-BF7D-0DDA6FD648E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa3c7b6019916192168ed35411ab583608988f2","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$464E5600-EBF4-4D76-BA0D-C9D5C468C855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$BA0FDDF2-1630-4265-A730-BCF8DBE0CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d56e5ccdfc31b755de186f37f9f76962aeecb","datavalue":{"value":{"entity-type":"item","numeric-id":1422036,"id":"Q1422036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$699D5DDD-4D9F-47D6-BBFD-CFFEFC02C6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a66a16d4f6036909c76a0ad366001db31dea77","datavalue":{"value":{"entity-type":"item","numeric-id":4930765,"id":"Q4930765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$B002760E-EF5E-4A0A-9F02-7418DB2A9A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037b802fba046e36ddf986e84c18ed7122a56d32","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$4B445724-2FAB-4B3C-8F82-3054DDEB627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e9c7dfe2263cb88548446838aa8cb493a7f9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5325879,"id":"Q5325879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$1E2EAB9F-1EDE-4475-A374-C4571236681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da6ded218db8e1aba2fc38982f0c41333c8292d","datavalue":{"value":{"entity-type":"item","numeric-id":4809077,"id":"Q4809077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$6A9A71BF-0A75-4CA8-9BA5-11FCB2F463CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e327f75ec9491cc8be11fedc34c02bfb17a59e3","datavalue":{"value":{"entity-type":"item","numeric-id":4930592,"id":"Q4930592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$26399C55-5909-48A9-BAD9-A49566B11B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b72e7b35baceb234e36ee61828e5b4764f63a26","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$30E3BE79-973D-4015-B24C-E53D902AFC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$D5F0CDDB-6E45-46AB-B4C1-134C4627FE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5a439ad8d4c6ab1137e52e48a534b00e2b2873","datavalue":{"value":{"entity-type":"item","numeric-id":606909,"id":"Q606909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$A100A4A5-96F9-48DE-832E-7B6B7B8A1D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc662343af43c0196c4b4ef506a97ae1455d08db","datavalue":{"value":{"entity-type":"item","numeric-id":983525,"id":"Q983525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$A61084F6-51E4-4AB7-AB0A-8922B2029DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d606ca29a316c6d13ac236e9ee6da4bfadd6eb91","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$1435D60A-723E-4DE3-AB48-3741D3E9EBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf1fbb097a93619e873e24271fa9638a00cf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007686$62FE9B6E-D426-40CC-9827-2E9AB1264751","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8c43b21ac3f2760f3fcecb4cd361aac6ee8579","datavalue":{"value":{"entity-type":"item","numeric-id":2818033,"id":"Q2818033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca46dbebc85675862a920348444c9853b42e91d","datavalue":{"value":{"amount":"+0.8075186014175415","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":"Q3007686$7D8C6835-E562-4EDE-99A1-C0AE754A8F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fd65f52ee036a7c3846fcf7643553a6b9cd9ff","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56d7c89c64295e8505e0581e6aafa4152fbd2df","datavalue":{"value":{"amount":"+0.7978489995002747","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":"Q3007686$0114A994-6DE7-4C40-A82F-79FA22CB9E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2951e9ef6bf5328d80b931155c64cb55c858854","datavalue":{"value":{"amount":"+0.7840282320976257","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":"Q3007686$EC55E372-E510-4D36-9BCF-B78AF579B215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44963acd1f7b555400edb9759bba788d1d995631","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b5126add4c8e9329672bdd4e7f661a78dfd920","datavalue":{"value":{"amount":"+0.7773916125297546","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":"Q3007686$0568B5AB-AFCD-4367-8272-873260481B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c733211105b38a2a26b9dc19b8b9e469ed3ff78","datavalue":{"value":{"entity-type":"item","numeric-id":2058378,"id":"Q2058378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c176e3ae7fe7f6677c0509f2574d969c9cf244","datavalue":{"value":{"amount":"+0.775115430355072","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":"Q3007686$61B3A279-8BE5-417F-8D74-EEAB0CE6BF66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction-based algorithm for 2QBF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction-based_algorithm_for_2QBF"}}}}}