{"entities":{"Q2642467":{"pageid":2653210,"ns":120,"title":"Item:Q2642467","lastrevid":50145908,"modified":"2026-01-13T06:44:16Z","type":"item","id":"Q2642467","labels":{"en":{"language":"en","value":"Boolean functions as models for quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179885"}},"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":"Q2642467$1C0ECDA4-710F-4206-B95D-F42803CBB5F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8b1e6bd458a0337420f986d080845acb120c521","datavalue":{"value":{"text":"Boolean functions as models for quantified Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642467$1E258622-52BD-462C-B462-13AE17FF03C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349a78a9ca6e09cd30a3b8dbabe0578e1cd710d4","datavalue":{"value":"1126.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$DA23E52E-3E42-4D39-ACF6-2DA934BE1131","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":"Q2642467$70122538-D4FA-4A07-9069-0245AA64C5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$B33FA784-324C-4258-A35C-7F0ECE2CA8D2","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":"Q2642467$780E3C69-356C-48A4-A1F7-4B380152B3B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$7E53ABB7-A4BD-4C52-877C-6A1A23F304B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-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":"Q2642467$7128A1FB-F9FE-4EC4-8187-509808E3C106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$0BEE951A-8CBA-4D09-BAC6-65EDC71DC54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$F0734334-7DE2-4998-AD99-6183E067AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$4EFCF063-4681-4B44-ACBA-2C797991B344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$C2F6E1FB-AF44-4CE8-96B9-BCB2A19EB305","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a129056b8a61a0c6c0f8555b37f21fc6628b14a","datavalue":{"value":"5179885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$B0F0AD8E-5580-4F7E-AC1E-9A2371292315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ba157f08e57fb7c0ecbe7638bd334592c200f","datavalue":{"value":"quantified Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642467$4C98A7D6-F87B-4C16-9879-B03B6985DE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642467$9845F528-9312-4319-A93B-7BE4B2BD3CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642467$8A078497-E889-4198-97C0-6CCE77085F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642467$1EBD9F36-A882-4ACB-8BE7-F70ACEE1CC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642467$646688ED-0047-452F-8C53-716C833277D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642467$B09E5FF1-E252-46E7-B42A-26509019920B","rank":"normal"}],"P1463":[{"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":"Q2642467$72ADDCD0-4AAE-4690-9179-687AEA3DB856","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":"Q2642467$A17D2A06-7FC0-441D-9EA1-AD448DF1871D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cbd62617713456437b5191fb6684dd7eb608072","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9067-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642467$2CA87C07-1471-4C7C-92C7-D39CC75AB2C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"838d261ee41830c51c8c86ecec05a6835a4f65e9","datavalue":{"value":"W2044916592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$C179B030-A8AB-4014-A49F-E4A9C8D58928","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$D0AA2C02-A10B-4D78-BBFE-138FB0F86B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51283f1777725f2aa3a5276be84e22e26033567","datavalue":{"value":{"entity-type":"item","numeric-id":2751045,"id":"Q2751045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$F1CD2B81-A4FC-4F21-9E69-71218DE05A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$DA1381C9-3F05-4AB8-A2A5-9D5F3EA314BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$BA8CB4E8-134E-4D68-9A26-9B5A4771A3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1a2bc812e5333b5582e9a89d0e222c5015c063","datavalue":{"value":{"entity-type":"item","numeric-id":4539620,"id":"Q4539620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$41FE83B5-7FFC-45F2-A5E1-86E561420006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$D10AC87C-A352-41CA-B91F-5CD94186A19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$901C2421-0CF5-436E-9E65-35442B9838AE","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":"Q2642467$86256A20-3347-4159-8DA2-6F753B525F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$64D231F8-F802-4CEE-915D-9F2804C05DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642467$7DB1AF7A-E1E9-4D9D-A177-B5DC6C461573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a41693470e3b641467637cde85f2ae4e0d7feca","datavalue":{"value":"10.1007/S10817-007-9067-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642467$30ED51EC-07D6-4359-A8B7-BB8B53A7C760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bfc6b36d5c922d32d23af7118cef854dba8973","datavalue":{"value":{"entity-type":"item","numeric-id":5712370,"id":"Q5712370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ff5e5641024b73314b8569444e5b47e10e1290","datavalue":{"value":{"amount":"+0.9464246034622192","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":"Q2642467$C294B9F0-11DE-4B59-9B24-F046E24FE0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1342f2fa80443240294e89d6a99c9448f05812","datavalue":{"value":{"entity-type":"item","numeric-id":5714753,"id":"Q5714753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6eae6df6a32addbfaff556483f9339b0852834","datavalue":{"value":{"amount":"+0.8629472851753235","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":"Q2642467$F37CF83F-AF60-4963-BACA-E2115F2766B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c095a5920571272f1325dcc468b58346cefb08","datavalue":{"value":{"entity-type":"item","numeric-id":5326469,"id":"Q5326469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facdd67f9545b93119635f4fe4dbd2e111879891","datavalue":{"value":{"amount":"+0.8130676746368408","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":"Q2642467$0914077A-7224-4156-A804-2C0B6334436B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf5a417b264465aad1fd610316691d3b02bd2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5325853,"id":"Q5325853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68685f71f402734486c0f412c3b633f78cbafaa3","datavalue":{"value":{"amount":"+0.8027249574661255","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":"Q2642467$23C25A77-66A5-4931-AC33-FDAF9CCE394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a4789964de886a8ffa8ad76bfefd2aaf84bad4","datavalue":{"value":{"entity-type":"item","numeric-id":3569272,"id":"Q3569272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c990273e23f5f26219fdee801704c76446b860a4","datavalue":{"value":{"amount":"+0.791959285736084","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":"Q2642467$DD513C8E-4ADC-4B42-8493-CEB0B4A6BD7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642467"}}}}}