{"entities":{"Q955019":{"pageid":956867,"ns":120,"title":"Item:Q955019","lastrevid":65644641,"modified":"2026-04-12T04:00:33Z","type":"item","id":"Q955019","labels":{"en":{"language":"en","value":"Computational complexity of quantified Boolean formulas with fixed maximal deficiency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5368348"}},"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":"Q955019$49839027-F728-4AF8-951A-4890AFECB8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"413faa79026e9b9d718720e92b1c99880fadf54f","datavalue":{"value":{"text":"Computational complexity of quantified Boolean formulas with fixed maximal deficiency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q955019$DD5209BC-080E-4C5A-883B-83E43E00E821","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"765422f78495e3eecc9bf228655ff4cec666d7c8","datavalue":{"value":"1152.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$B4F86317-C0CD-40B6-9494-F3BB3BE63A57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$1AB88647-C43E-4F77-B439-18DBBF9061CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$E834FDB1-28AC-4266-A4D2-7D3089793BB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$5D5F8B73-B1E4-4417-A141-22F5DE53724C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"306381da90d766ef5d1c239e6a30b867b4ac575a","datavalue":{"value":{"time":"+2008-11-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":"Q955019$8D3307A0-9D2D-4698-9A0D-D1FD5BC7C553","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$64CDAED5-C895-455A-A9E5-AD0CC9EB4FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$7874E9A2-7234-4CE0-B42F-67782AA44DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$3CCEAB81-D374-4A7F-9277-9C1633C72FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48a1dee9c9b87dc56ff7a0955d9340928d63311a","datavalue":{"value":"5368348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$D1242658-883A-4605-9460-BC51508AD62E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ba157f08e57fb7c0ecbe7638bd334592c200f","datavalue":{"value":"quantified Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q955019$B2B1A367-04DA-45E9-B7AE-25DECDA319A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f678844b43499cbef46e11738328c75fb0b5a8","datavalue":{"value":"deficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q955019$849ED80B-B222-4A2E-B3EE-88C51FDCB92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q955019$B0F8C8B2-7ABC-4705-918D-9870147F8116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315873ed881265e9d13c2055e64f52c2b15e289f","datavalue":{"value":"minimal false formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q955019$6B6D392C-5356-4855-8A7D-9C8EAD25DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q955019$BC505D68-385E-43DE-93CC-17760B6CE468","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":"Q955019$7BD2E050-0FDE-4800-9B08-19186C557E56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83cc61676c8119c0b8ab7c97fadf5eabb3df84d9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.07.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q955019$CD099D27-ADA5-4537-AAA4-B3DE1827A276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ae6ebe7eb2c795a29bbf3ebacdcb3fc0ead62e0","datavalue":{"value":"W2085904272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$06D97FE8-A271-4D07-9740-575662CBC173","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$DC265945-CDD3-4163-A289-2D88F86AA934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$E6AC8898-890F-4BDE-BDD4-3C1DD05E768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$D63357EA-5218-414F-89D1-DE66780D5E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$F1ADEC5A-93E3-4226-A29C-E051BC5204C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18548c873122d5ecd7fe93f7d198a0ca92cf4fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5325853,"id":"Q5325853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$1C9A5C07-10EB-428F-B465-C23D0CDBF634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8482a93edb662beb36af8d71abece0e6e9cc1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5756555,"id":"Q5756555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$A19497AA-99E1-44F7-9165-0ACCAAEFFD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$2BA6C794-43CD-45CF-9A32-D4918E3408D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$C9CAFDC9-8F71-4932-A730-73D1E563AFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$3D527984-EB1D-4887-AEB5-F12099CECA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fcbcb1456099f3999e03704613d976d1bde12e","datavalue":{"value":{"entity-type":"item","numeric-id":1421480,"id":"Q1421480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q955019$F96DD895-DE32-47E4-99E6-114427159107","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ac625dd2f45f709418d9a854b93aa88d3e6855","datavalue":{"value":"10.1016/J.TCS.2008.07.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q955019$B9572234-790A-45D0-9AA1-F8D042AD4CFF","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":"0d1382b251befe7c7e2f7479f28f949ad83f8ddd","datavalue":{"value":{"amount":"+0.9195286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$C6228473-23E2-4226-984E-CF6EDFE7B0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f614cc1a4b9163a9b7ded2de992f438ad7d9bf4","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c8c02811607b4fa7bd634b2417a6e92a568585","datavalue":{"value":{"amount":"+0.90949595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$7FBCC295-8BFA-4C85-B349-D002061A7045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2369832fe5edfe5290cf1d5c4616390b7a8fe088","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c8c02811607b4fa7bd634b2417a6e92a568585","datavalue":{"value":{"amount":"+0.90949595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$4660BA3F-AEE7-4C8D-A7EE-ECE235616A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0488eac80e18c834fde2c5aab8cb5733d35ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3315499,"id":"Q3315499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ff94ce2118b4e690b75ff32ef1b0cb936b3707","datavalue":{"value":{"amount":"+0.9056462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$F7413FFC-F539-4A8B-848F-6D7ACCFF6CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cb8eba735a0e2232700be445ac5f50db73f7b4","datavalue":{"value":{"entity-type":"item","numeric-id":5315662,"id":"Q5315662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39758cd3272cf364dcd83d8d9f1440c848221629","datavalue":{"value":{"amount":"+0.90512043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$58B5C170-6086-42DC-ABC8-3A7FD6EE27D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d85d68e2f004761cdf0c2a78aba7e828afebf8","datavalue":{"value":{"entity-type":"item","numeric-id":4530739,"id":"Q4530739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1495a39e6ef126bc39a9aa13c32b6deac66c157","datavalue":{"value":{"amount":"+0.9036801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$C8715FDB-C019-479B-A00E-78F67E017CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ce3f6046ac9845c8a56a53233b9afc4a7214a5","datavalue":{"value":{"entity-type":"item","numeric-id":982657,"id":"Q982657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9610c2755c12906dd66a81d26439f3d3c460b83c","datavalue":{"value":{"amount":"+0.90234256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$C1386266-57DD-494A-B79D-3681BB30AA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee124b3fd53c0d1ca99d8e27bf9f50dad3bbfc3","datavalue":{"value":{"entity-type":"item","numeric-id":6167165,"id":"Q6167165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b169b8dfa3e968fe7849a5be944cd1149d21172","datavalue":{"value":{"amount":"+0.90040565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$FF62CCE0-013A-4306-9DED-E70379E3403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810ee64b4cb940a0d340d4ec2e91c784cd80516e","datavalue":{"value":{"entity-type":"item","numeric-id":3115553,"id":"Q3115553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990835e9bc7bfc36aafeba14d53387371a3a61a2","datavalue":{"value":{"amount":"+0.8973336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$9E28E184-9221-45B5-BE3F-5766F9FDC742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281a2da786d74d04f76e8a079302ce326111f517","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f42a4347b92f024b53184af6606afc4d14c1c43","datavalue":{"value":{"amount":"+0.89714813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q955019$CA02F68A-5722-4C17-B9B1-6645B3B51348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational complexity of quantified Boolean formulas with fixed maximal deficiency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_complexity_of_quantified_Boolean_formulas_with_fixed_maximal_deficiency"}}}}}