{"entities":{"Q5385533":{"pageid":7415107,"ns":120,"title":"Item:Q5385533","lastrevid":41198833,"modified":"2025-04-18T23:58:13Z","type":"item","id":"Q5385533","labels":{"en":{"language":"en","value":"A CNF Formula Hierarchy over the Hypercube"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271520"}},"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":"Q5385533$A174653C-294E-4D03-B7A9-1A6473312E09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f81100820c0646f327475df11d8c125762667df","datavalue":{"value":{"text":"A CNF Formula Hierarchy over the Hypercube","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385533$0C011321-AA65-4F7C-81D7-1D77834A8534","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b8250a20d7ecadca27042363acd0f3926590516","datavalue":{"value":"1138.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$7450B47E-6D67-410D-892D-2D1218A04334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e6bde450dbc89507ae7e01da2a40b5ed68546c2","datavalue":{"value":"10.1007/978-3-540-76928-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$4A1F2EED-5108-4C74-A24C-B6569B85FEB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb0466461e16e203e1eebcf15c374dbae0d4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":714019,"id":"Q714019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$FA2CBCCE-D04F-4878-8FBD-C8365C8548B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d01acc27f0dd99d19ea6ec5e86e777fdf039ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":5385532,"id":"Q5385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$5292A343-74DD-42A1-B6B5-59E42595766E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385533$7878E3A9-6E12-4B29-8238-B20B40CC50D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$3E362A3A-588F-44FE-ABBF-43E562F2CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$DB0C64B8-CE23-4AC4-A0C5-C5300C0A615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$E5AF3039-7168-4554-855C-DA53D8B75F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43ecc3ce6231b43b39e8bee49b87465021621cf","datavalue":{"value":"5271520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$089EC152-89AE-4D6B-B592-2D4470618267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385533$48FADC2A-2CAE-4C53-811B-927B5D5557E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48621b928656e8fd32493363fb21aec6212518f","datavalue":{"value":"hypercube formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385533$F1A1261F-FF84-4025-9D66-82E30DC1A49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385533$E1DBFC42-B319-43E5-BE1E-C25D32353F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916cdd3d2a6f5f57db6bd562990e6d44b7fb3b1d","datavalue":{"value":"transversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385533$89E465FC-2DCF-40B4-B359-D3B4F7C9E45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3632487a3960e66c5362aecbd3aa13549c7923fe","datavalue":{"value":"variable closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385533$C75C2FE7-2431-4231-B66B-89BA7222CDD7","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":"Q5385533$108D0E79-0247-4BAF-9A4D-62C76ECFEC09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d982e79842e98b8bbec6b8f53a79003d3278e4d8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76928-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385533$A825FA45-C269-4A02-8094-3B002E7E67C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da6e6790cc6469beda136651fc4057f9f3e69337","datavalue":{"value":"W1594040910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385533$2CA1CC02-4EBA-415E-8770-011F3FF1887D","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":"Q5385533$F0E065AF-285C-4E7A-9740-45A76AB6F56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$434667CB-E595-49E8-BC4A-20E6BA3F6A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$B9CFC7FA-AD36-482F-878B-C1DA0BD36214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$AB7DF3EC-87E9-4F62-8A33-9023DE5B6FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$B85320C9-4E2A-404B-B2DB-F38746AC613C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7cdf78065d162ec62bce90012feb1427556f74","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$D6976271-9DEE-4E04-8B74-390870094BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385533$4D43B7C8-DEBB-4114-9828-E0B4D8376A5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa2e0870ce0c7406b622070b4d6a7f47c6cb2fe","datavalue":{"value":{"entity-type":"item","numeric-id":3502711,"id":"Q3502711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8f234b8ac38e4d325b6e3f3d34a5366f620ab9","datavalue":{"value":{"amount":"+0.87423515","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":"Q5385533$27CD570F-6BFB-4050-8B70-8D24EA07958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cee196dcef0bc5aed6003bf0279c962359cea5","datavalue":{"value":{"entity-type":"item","numeric-id":5325871,"id":"Q5325871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfd3de914d0c9bcbbc2ed160b2362c2ccf47bbd","datavalue":{"value":{"amount":"+0.8707297","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":"Q5385533$DC18752E-BDA6-4673-ADFE-1B0D38341B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8663a8de2a28a1a685bdd567e948e2e1a2b80ab8","datavalue":{"value":{"entity-type":"item","numeric-id":2857316,"id":"Q2857316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3876b7a42dda65cd21406aa78cb9c3fd8f8f3dd1","datavalue":{"value":{"amount":"+0.87064505","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":"Q5385533$7AA293AA-E2CB-4055-B646-7E66F4AD6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c404dc91161ced222352744b05a76e8f9fcabad7","datavalue":{"value":{"entity-type":"item","numeric-id":2509734,"id":"Q2509734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b46fe06ff56c1dd33c3acf8dfe33ac09505c70","datavalue":{"value":{"amount":"+0.8706449","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":"Q5385533$5E28F1FC-1103-4683-AF6A-A594440E0E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef316435a3e29ba07f0fde447630c03563fbb3a","datavalue":{"value":{"amount":"+0.8698313","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":"Q5385533$A9BDAC93-B9E8-4FC3-A72D-E721A9AAFEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686da7c3d0067b2611bd1177c16490fc830867de","datavalue":{"value":{"amount":"+0.8684428","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":"Q5385533$7599C201-8FFB-42AF-9AD3-59E1D2B372D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686da7c3d0067b2611bd1177c16490fc830867de","datavalue":{"value":{"amount":"+0.8684428","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":"Q5385533$870D3F98-FE29-4107-874B-C412510BDD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5a3b772940a8ecfa89872bb9d4e7e8b18a3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcf028fb204b63174dddb699e4349b9d932a131","datavalue":{"value":{"amount":"+0.86408544","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":"Q5385533$022476C6-F0E3-4F08-B9F2-DD76B8A69778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6083573cceca86d1e6fbb1a1fb8d8f9fc5e661ce","datavalue":{"value":{"amount":"+0.8625411","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":"Q5385533$DDD9942D-2355-45B7-BE62-59123A00EB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41851dbd9d8df884799c51766bd11828e498f3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1627839,"id":"Q1627839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bb422f9738c76a95a2426f82a32fda175b8f15","datavalue":{"value":{"amount":"+0.854796","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":"Q5385533$CEFB3CC9-AC8D-4367-A76C-4DEF6C8C9A97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385533"}}}}}