{"entities":{"Q5756555":{"pageid":7786106,"ns":120,"title":"Item:Q5756555","lastrevid":41204210,"modified":"2025-04-19T01:53:58Z","type":"item","id":"Q5756555","labels":{"en":{"language":"en","value":"Minimal False Quantified Boolean Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187211"}},"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":"Q5756555$04BD55F1-D576-4E8A-9A38-08DC2F477A4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d78f8e352220b15f5594ed9ae215a85b44073d66","datavalue":{"value":{"text":"Minimal False Quantified Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756555$CD9C3DF7-FEB0-4494-9224-BD4803E0B385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"715973f3e7c6baa4d4d62fd91d05b6c2b414c8ed","datavalue":{"value":"1152.68449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$D79A5084-33C6-43A8-8D5B-D3B8A36A3888","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1474ace3835fe36bf166d3e200851c7adf76fe28","datavalue":{"value":"10.1007/11814948_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$EA1EE569-38AF-4643-A28D-A309DC1411C6","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":"Q5756555$A8307877-C20B-4545-8EE5-392CDF73FEE6","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":"Q5756555$5FCE60EF-80DA-4ABA-9844-E969C2B8958C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756555$C3A4DEF9-72A6-4813-BEC6-F1AF15795FE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756555$CD70E275-B47E-4D5F-88B2-9C0FAC975BED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$2065DDAA-F8D7-4B2B-BCE3-BB1924C9550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$17D7E757-20D0-4B04-ABA6-581DE1341575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$B227B8DE-28E1-443A-AD83-A3492243D78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$72F6741E-A34D-4CD0-95F0-8C11FF3D344C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efd16e1cf6e59c4904fa8e9eba67edf93cb4d3d","datavalue":{"value":"5187211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$1E6E36C8-D5B1-44CB-85A6-96ACEF639CF6","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":"Q5756555$4EE8D264-0FEF-4BF0-B7D2-9C3FAA6A44C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccce1ec54e29fb8fe80e5cd5f56f6a8429518598","datavalue":{"value":"https://doi.org/10.1007/11814948_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756555$8E5B356E-716E-4222-AE04-3156DE0F396B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75e6e52e46b56c7a3dc400008bb7254628b58cae","datavalue":{"value":"W1483295069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756555$F9B46671-D88A-46F0-9846-3DA5CDDE5F22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76063991b7c0a6f1a80b8fffcc3f1944be68421c","datavalue":{"value":{"entity-type":"item","numeric-id":4785629,"id":"Q4785629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ebbfa8afa0eaacebb004e7046b440bbd81ee30","datavalue":{"value":{"amount":"+0.87601143","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":"Q5756555$677FA5D1-5028-4C51-B962-020CD9BAFFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f70ed777589ba72fa25c626b4e8904ee43af78","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8197c05a1f96107c30e90003cd3792cde05f92c","datavalue":{"value":{"amount":"+0.869823","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":"Q5756555$24CBB9DB-BE0E-4AAC-A718-BE6F39540B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8348dc0579af842bcdd2f53933831e0b124f643e","datavalue":{"value":{"entity-type":"item","numeric-id":1894774,"id":"Q1894774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b34949359a6477af9e745330008c4e8581e487","datavalue":{"value":{"amount":"+0.868631","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":"Q5756555$2BBBF627-480D-4E4B-B7B6-5A1D612083CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29dd1aa480773e121d6a7b72c978411a23cda778","datavalue":{"value":{"entity-type":"item","numeric-id":3506043,"id":"Q3506043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc00497cc92be1c6ae3eb4d76f1c829c087e9594","datavalue":{"value":{"amount":"+0.8631741","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":"Q5756555$0809EFA7-A47F-4DC6-859A-FA7E4E4BC1F2","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":"8a962c4315afe63e51f6cd93ca532979db1eac83","datavalue":{"value":{"amount":"+0.86211044","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":"Q5756555$19456F3A-A895-47D4-B983-D4B06586CEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102ae06542615d3fef876d140dde28be952a5aab","datavalue":{"value":{"entity-type":"item","numeric-id":3007680,"id":"Q3007680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9fea0ce23677f698d7c2d9e1e11643fdb9903f","datavalue":{"value":{"amount":"+0.8603654","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":"Q5756555$EDA90C86-109B-4C45-AA06-EC1F586B5CBE","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":"3c6c6cb2370f760e17d5754df001e973fa7a2480","datavalue":{"value":{"amount":"+0.8586856","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":"Q5756555$63972695-4901-4D7D-923F-C53CF8CE19FE","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":"3c6c6cb2370f760e17d5754df001e973fa7a2480","datavalue":{"value":{"amount":"+0.8586856","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":"Q5756555$0840D6DE-2ED3-4C69-8399-3819137FB793","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":"64b8a9fe528d130ba2197f430beaf9621f5ba173","datavalue":{"value":{"amount":"+0.8572442","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":"Q5756555$D7112F1E-372F-4831-8A08-FD0E2CF74A65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756555","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756555"}}}}}