{"entities":{"Q5090465":{"pageid":7120041,"ns":120,"title":"Item:Q5090465","lastrevid":91342337,"modified":"2026-06-04T22:55:41Z","type":"item","id":"Q5090465","labels":{"en":{"language":"en","value":"Tractable QBF by knowledge compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559127"}},"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":"Q5090465$A9C59D45-0F98-4A5D-8B5E-487DE34CD03C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fecf80de58f31558ba8f1ceccc24d138affa8e76","datavalue":{"value":{"entity-type":"item","numeric-id":290897,"id":"Q290897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$FE6446F2-C16F-4AE5-9EE0-7E8C9A4BF000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a64a952a06abada0a21aa13e218a56ddab0066","datavalue":{"value":{"entity-type":"item","numeric-id":269341,"id":"Q269341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$E4E104D3-1B3E-4B83-8ADC-3BD3FD1EA5FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090465$372C0C29-920E-4818-BAFB-0B07C9186BFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090465$B79DE96B-44CF-4051-9985-D323174D7FFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6d27f5c32814c9fbef27c1428f80f83f0d983e0","datavalue":{"value":"7559127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090465$158FBA28-E901-484D-9844-F2D0E786363D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090465$7277FF5C-08FC-4DC4-AF16-EBA64929C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090465$54EB3397-8E22-4EBF-8440-3E48BB6C4837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c9e86a8c0ac704e1de13a66a9fdebb1fb49be9","datavalue":{"value":"parameterized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090465$49859191-F739-4361-8B78-07C22BD849DE","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":"Q5090465$49260D70-71DE-48F5-B8AF-12CEEAF985AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b361b33bad93fb5fade027992c8d0d0f0153ca","datavalue":{"value":{"entity-type":"item","numeric-id":4576239,"id":"Q4576239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$048B1A0F-C636-4059-AC76-6063ACD65914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfeba2c93b05bb00c4e72504a34410d0fd3444e2","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$3AB9CC4A-ADCC-4569-8462-A89E90646FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5055f3ea458ef6ca5de02238b7254fe4e4933cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$0581280E-949C-479D-AD1C-D27229DF5682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fe5dc7b628d11c2ffa299dac6511aa6793694","datavalue":{"value":{"entity-type":"item","numeric-id":2954991,"id":"Q2954991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$FBC3C926-D879-4DC1-AB20-8113EDBB35BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$106BDB20-F881-45A3-886C-9AB028AFF070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$A5E91786-289A-4F2C-8A04-94A8A504D4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8ab512ea08b6c2b075da788e8bea88b465d77c","datavalue":{"value":{"entity-type":"item","numeric-id":3160990,"id":"Q3160990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$CABB5666-9E2A-4452-86C0-CFC0DAD4204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971ba83d7d765f79fbaf732cdd687bed4bd634fb","datavalue":{"value":{"entity-type":"item","numeric-id":5387860,"id":"Q5387860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$4F609926-49A3-4FB9-B239-DA28A5DB1861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ca55d72897e15722c0228e17a000132da3f800","datavalue":{"value":{"entity-type":"item","numeric-id":1656576,"id":"Q1656576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$01E836AF-8074-4BA6-B8BD-EBFE527F3504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b1a3469bcf85c5bdc034429e87442cc51f8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$525E8D08-E832-4D3A-8696-3E66BFDC3FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869a15415c06ddee7a0a734443b0523101f64181","datavalue":{"value":{"entity-type":"item","numeric-id":2269134,"id":"Q2269134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$7EDD52DD-D65E-45B6-BCD8-75400C833B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a73b8c82329fbffdc9d3b93426d5a1a2da417f3","datavalue":{"value":{"entity-type":"item","numeric-id":1656581,"id":"Q1656581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$2B8292CE-038C-413F-BCEA-7DCED3652D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e814db4d05ea23547f91dda412358acb75163","datavalue":{"value":{"entity-type":"item","numeric-id":5111886,"id":"Q5111886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$4CE8B4DC-9292-410B-A6C9-161AE5C0420E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658dc71a78ca31c7c2d472619e1dccf4df02226d","datavalue":{"value":{"entity-type":"item","numeric-id":334935,"id":"Q334935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$BCF84B2B-8E14-4AAB-8458-CF90131365A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c0c7549bd27ee940a0628c5f8e40a0169b959b","datavalue":{"value":{"entity-type":"item","numeric-id":3192052,"id":"Q3192052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$0125505E-5396-46DF-A9FA-83F93C7D53D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$934D620B-923F-4893-88E5-D241A72E129D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3de10d3fa3e0f80df36b4da6bdf3ee8d2b0956","datavalue":{"value":{"entity-type":"item","numeric-id":1399979,"id":"Q1399979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$96BD97FA-6C51-4718-9680-86ECB0665508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d2dcbb8f8099275af45a11057a4ac082ada810","datavalue":{"value":{"entity-type":"item","numeric-id":2872132,"id":"Q2872132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$E7AE71A0-9DD8-42EA-8E79-9888EBF6A9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090465$3E160CA5-8D6B-4165-8841-316D3D499188","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d32db542042c6348c28aa9938cf2dc4e903fc831","datavalue":{"value":"10.4230/LIPICS.STACS.2019.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090465$21C7C0BC-0997-4F96-952B-9B8956AFA07F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c980c67a5622287b9a0d25f9862d842ce52cab53","datavalue":{"value":{"entity-type":"item","numeric-id":3429018,"id":"Q3429018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff6cae8eecea6adaab98b71343b9cd6d587a9cc","datavalue":{"value":{"amount":"+0.8392680883407593","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":"Q5090465$52037299-4F7B-480F-BBAA-862DB1B396ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf33fdc72f71f8a8c50dc8cd22a004924b08d750","datavalue":{"value":{"entity-type":"item","numeric-id":778533,"id":"Q778533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ff91964011cc3fb98e14f0135dadafaf8fd7f2","datavalue":{"value":{"amount":"+0.7827949523925781","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":"Q5090465$9C29A531-B834-471E-801B-090B99330C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc2c3dcb5f11e24150f095c08a4d9e0ad266a79","datavalue":{"value":{"entity-type":"item","numeric-id":3305349,"id":"Q3305349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06198f8468774f0665dcf8b9587ad54bf13b439","datavalue":{"value":{"amount":"+0.7787006497383118","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":"Q5090465$37814663-3C9D-4278-87C5-33011C9C8095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48078a13e984f22f5a3e13cf5e26ecda0f82336d","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3418edad7c5091937a4c4c24ccd64ee4cbd8a2","datavalue":{"value":{"amount":"+0.7786839008331299","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":"Q5090465$6A456F98-55A9-41AB-A060-7BA7E173A15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09c930288a0b558482e09e0111f519ec7bfb628","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e5203544875b1677b3b09706d132ab2dbd5d0c","datavalue":{"value":{"amount":"+0.7633947134017944","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":"Q5090465$755681C3-C564-4109-9D53-DE0929F44724","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractable QBF by knowledge compilation","badges":[]}}}}}