{"entities":{"Q5326469":{"pageid":7356043,"ns":120,"title":"Item:Q5326469","lastrevid":51791543,"modified":"2026-01-20T01:39:32Z","type":"item","id":"Q5326469","labels":{"en":{"language":"en","value":"Nested Boolean functions as models for quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195201"}},"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":"Q5326469$41687ECF-7CCE-4745-9D7B-ABAA8F87BA03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22a55b4d976e21d00cd234dba62e96303de019d3","datavalue":{"value":{"text":"Nested Boolean Functions as Models for Quantified Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326469$3C2E74A0-4737-4B29-9795-63B42B4B4699","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b27b83ac163f699941c87fd537d93e04fe2fc876","datavalue":{"value":"1390.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326469$2B4165CC-3988-4AED-B119-681C66DF5B60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7330a7b8d101262b47516bc85b733507e2bd58f","datavalue":{"value":"10.1007/978-3-642-39071-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326469$83BB8B39-010B-4750-A64B-4FC9D8E136B0","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":"Q5326469$4AADB9C6-FEF7-486D-9798-627B771AB6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480d1f14486f5f2b4e32e9c563a24baae88b3634","datavalue":{"value":{"entity-type":"item","numeric-id":944708,"id":"Q944708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326469$76EDD532-5850-44C4-BA03-FB64341D049F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326469$AEC3C1FC-DCAE-4EAD-BC40-8FB0239D9C0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326469$136977AA-B9DC-430C-842E-72B3EDCD9A81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326469$13F7B494-E221-4F22-88D8-57D39F717AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326469$476E9E19-3F36-4093-8FF5-02406EB6F649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4332201634eddfe029201469c17ac7e3a112249a","datavalue":{"value":"6195201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326469$17F11DBD-6712-4FF2-B34E-4C0CEE0FC2F0","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":"Q5326469$C7A28117-544F-4699-9B0B-5928D8480B7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"549b9578619d40ee293e4549b18ca90ab6a288f5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326469$2B16673B-4365-45F5-B19D-019EA1EA5F1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09f3490e6f236fbad5aee723c99445f6349c739a","datavalue":{"value":"W151780725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326469$EDD338DF-DC94-4024-8F23-745F36DA4507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54ac02912c049c7641385a199421975f6b1085b","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacd0dae2a55801120b8424188b7741d2c8914bc","datavalue":{"value":{"amount":"+0.8649722933769226","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":"Q5326469$A8128ABF-8055-4AD7-9CE6-CEBBABF9AB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8d7eaec06e6bf804b952f47ec9d5b5e8049f19","datavalue":{"value":{"entity-type":"item","numeric-id":2642467,"id":"Q2642467"},"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":"Q5326469$E1214AE0-E7A6-4741-A6C7-FA346AA88F04","rank":"normal"},{"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":"19aa9b515cf6ab171c5ecfc548a3e5fbf5a50c57","datavalue":{"value":{"amount":"+0.7989750504493713","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":"Q5326469$D3FAF0DE-2EE6-40EF-9B6A-5353E56AFF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468f7da087c5780388f6f08ecc01b3e3bbd67087","datavalue":{"value":{"entity-type":"item","numeric-id":4489064,"id":"Q4489064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c827ec561b4e3aea72e09abb007f200967f74892","datavalue":{"value":{"amount":"+0.7500184774398804","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":"Q5326469$C36716BC-51AC-45CD-9F5E-4C7B96794A75","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":"74036187e841a833ec5331cdcc77f7ee40c08876","datavalue":{"value":{"amount":"+0.7442643642425537","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":"Q5326469$526DB0DC-AA81-476E-9E73-116FF4824ADF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326469"}}}}}