{"entities":{"Q2751045":{"pageid":2761784,"ns":120,"title":"Item:Q2751045","lastrevid":83057327,"modified":"2026-05-07T05:46:36Z","type":"item","id":"Q2751045","labels":{"en":{"language":"en","value":"An algorithm to evaluate quantified Boolean formulae and its experimental evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1664328"}},"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":"Q2751045$684DAFCE-3C02-415B-9DE3-893BC16D97F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc7895d39ca02d6be233ef051c1123c2215ec5ab","datavalue":{"value":"0979.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751045$4726877F-6248-4E61-B334-2E4ECEC51D38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2deb60c19c76c83cf16f8635ff1486cb716b3c6","datavalue":{"value":{"entity-type":"item","numeric-id":846135,"id":"Q846135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751045$4F20F901-4110-4A0B-BA25-66BDB3849C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa319edb343a88799f4301c6459138449825083","datavalue":{"value":{"entity-type":"item","numeric-id":202173,"id":"Q202173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751045$122A6FC6-EEA3-48A5-8589-5F6EF7495B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be07322f6f6a1f59c855973335c51fb13a9605d","datavalue":{"value":{"entity-type":"item","numeric-id":1610664,"id":"Q1610664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751045$83D93BB4-B742-47FC-A18E-5354F35BACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a9664d5bf4152d605fac4c61565f05b05c7cf3d","datavalue":{"value":{"entity-type":"item","numeric-id":1610665,"id":"Q1610665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751045$2C81D89C-2612-4025-ACEE-817E4F5A5FC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca81d64c0b12a62d219fb28ceff571fa6ba75361","datavalue":{"value":{"time":"+2002-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751045$713E359B-34F8-4963-B7FB-A77FA4724662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751045$2AE85424-00E9-4B57-A282-7CB2153C1643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde36715d54d1f835bd0ef48ea8ca02a314a8b82","datavalue":{"value":"1664328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751045$27C73F89-44ED-43B0-9317-62D398EF82D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a17d9c20fe73a9246a43e2e469966c5ac1c3ce","datavalue":{"value":"quantified Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751045$C1827598-C585-46E8-8347-11E2AAC8D882","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":"Q2751045$5AB4892C-49A7-4807-BD17-190011A66ABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0db3e3ccf1a22c89b1abc10bd3b78f2852caddee","datavalue":{"value":{"text":"An algorithm to evaluate quantified Boolean formulae and its experimental evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751045$E4C0C59D-C5A9-417C-BFA4-FB32139053F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1f6a4f9cab743941c379bac3f4ba4f59cba99","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c378fea34c1f0e52d77b69a624beb617e484c4d9","datavalue":{"value":{"amount":"+0.9978047609329224","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":"Q2751045$64AAEBC2-9A70-49BB-8AD2-2A19AF0E0353","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":"ed5eb00fd811f18078d2a984a11063935b32dd01","datavalue":{"value":{"amount":"+0.8284375667572021","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":"Q2751045$0D198E83-9394-4D61-961C-09D5E0274856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2c407c9d263a0164835ab2ab00e250470b2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5325883,"id":"Q5325883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf58b90a462759e33d8b899a2a5e64d1ba4a9903","datavalue":{"value":{"amount":"+0.8258029818534851","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":"Q2751045$157B2BAA-90B5-4664-8987-9A8138705EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f80cc40317cc78261f1c7f26751f15a9034cf28","datavalue":{"value":{"entity-type":"item","numeric-id":2996176,"id":"Q2996176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dff8cf5add398c2825c8c020ee0775cee213e48","datavalue":{"value":{"amount":"+0.8119545578956604","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":"Q2751045$35CF8448-FBAC-4BB5-A1A7-424D1FB0B3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006e2b6f02c8ac71871df804f175a10a2123d5dc","datavalue":{"value":{"amount":"+0.8103935122489929","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":"Q2751045$7AFC956E-6B31-4127-8F21-86C8854E6786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm to evaluate quantified Boolean formulae and its experimental evaluation (scientific article; zbMATH DE number 1664328)","badges":[]}}}}}