{"entities":{"Q5425474":{"pageid":7455048,"ns":120,"title":"Item:Q5425474","lastrevid":100936082,"modified":"2026-06-05T23:29:26Z","type":"item","id":"Q5425474","labels":{"en":{"language":"en","value":"The Existence of Unsatisfiable Formulas in k-LCNF for k\u2009\u2265\u20093"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211407"}},"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":"Q5425474$4021861A-CBF7-4972-9DF4-75FBBA122B16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"547ab011be3d6c93094146d1a6f957841638fc24","datavalue":{"value":{"text":"The Existence of Unsatisfiable Formulas in k-LCNF for k\u2009\u2265\u20093","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425474$541EF026-531E-4DF9-8825-32BA09C72A05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77b4edf7fdb3532c792b9723e6bc170fae9a293c","datavalue":{"value":"1200.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425474$C415DA44-D188-4C3E-9661-E9064AE98116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"681d07137b9dbda27b23b7880a7fcc295c225043","datavalue":{"value":"10.1007/978-3-540-72504-6_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425474$C6DA9DD2-23A5-4D6A-92D9-24567745C796","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e8e431e7e604dc758a223bc9243a84b0941518","datavalue":{"value":{"entity-type":"item","numeric-id":5425473,"id":"Q5425473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425474$E1198C40-4195-485D-AEA8-45E0FBBE1FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1cfac4fcc4acbf6b4ed2adbfa6f6821da971d1","datavalue":{"value":{"entity-type":"item","numeric-id":1040958,"id":"Q1040958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425474$85C83C3C-58EB-468C-B34E-83AF4C487DB7","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":"Q5425474$B22805C4-08FF-48DD-8ABD-660628A611D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425474$2BF0E0A1-944D-415C-8732-DB024324E05C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425474$9931EF2F-0B89-4E8A-98EB-9F25A7E87B5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eb4591f4cb58bd206241bcad1bcb2cba505da2b","datavalue":{"value":"5211407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425474$D686E1BB-88EA-477D-877C-0D2A843795E6","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":"Q5425474$0E3B0BAA-D638-4AE0-B5E2-A47AFC244CAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65e6e6d79f17f865ff2d3669138eaaad5dfd4a50","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72504-6_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425474$290CD047-EB4E-43E9-A4B5-EDE50AC75F5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a68baa04a690ff6a4dd3e7e55abe6495758b2b2","datavalue":{"value":"W1539489476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425474$EB248ED7-3C43-4B1A-96CA-AD154E515F30","rank":"normal"}],"P1643":[{"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":"e4d15f80a832f98775060783e216ca925f760a9d","datavalue":{"value":{"amount":"+0.875397801399231","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":"Q5425474$AB2C386A-3A87-4669-8B0F-3D3682E8B72A","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":"553095aae272ddc6977fa939005349f9f9a1ab60","datavalue":{"value":{"amount":"+0.8731319904327393","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":"Q5425474$2C9C7BFF-7A5F-441E-A871-3A560E2B2D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a0039901231d51f19d439120e401e538b3be3","datavalue":{"value":{"entity-type":"item","numeric-id":3113785,"id":"Q3113785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87f184e2af3daae012c8503bfbc42f88806820a","datavalue":{"value":{"amount":"+0.8614612221717834","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":"Q5425474$A1E2C1EB-2F9B-48C1-90AE-DBFBB1169465","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":"ff74feb2684111bbcc9bfe31358afceaa2cef0ac","datavalue":{"value":{"amount":"+0.8278177976608276","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":"Q5425474$48B9F065-8994-436A-901B-9BC8736ECC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce42d2dba3f8690f5e16c123b3edaaa61030a89","datavalue":{"value":{"entity-type":"item","numeric-id":3507322,"id":"Q3507322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaee1ea8fccc16f733cba85b4171f2c36cfdbf1","datavalue":{"value":{"amount":"+0.8203591704368591","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":"Q5425474$165EE521-BE46-457A-918C-B55B0262F3DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Existence of Unsatisfiable Formulas in k-LCNF for k \u2265 3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Existence_of_Unsatisfiable_Formulas_in_k-LCNF_for_k_%E2%89%A5_3"}}}}}