{"entities":{"Q5226839":{"pageid":7256408,"ns":120,"title":"Item:Q5226839","lastrevid":58489665,"modified":"2026-04-05T10:55:19Z","type":"item","id":"Q5226839","labels":{"en":{"language":"en","value":"Planar 3-SAT with a clause/variable cycle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7088258"}},"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":"Q5226839$9478B704-FB0D-4A72-B741-21DDA513B622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89e560014d4304b07e8ed7b0186d9f0ef4fef1b7","datavalue":{"value":"1417.05040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$A7C933FF-4C52-40BD-8A89-4F13C78B653D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cac7c2b7e8d77d98891b873b77f6126dccd5092","datavalue":{"value":{"entity-type":"item","numeric-id":390176,"id":"Q390176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5226839$55DC2179-46CF-4519-9BCB-75EE23F88905","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6122158c89927902c2998dd16645222426bb40b2","datavalue":{"value":{"time":"+2019-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5226839$CF73CAFA-6D77-443B-969A-C54FF1BF50CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b9d37e85c607deaaf47fb37457d7eeb22c27a78","datavalue":{"value":"https://arxiv.org/abs/1710.07476","type":"string"},"datatype":"url"},"type":"statement","id":"Q5226839$EA8B0822-1CDB-4D56-86B2-2470E922B0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5d201393f280bac1775df6d25b3d5b58ce3e81b","datavalue":{"value":"https://dmtcs.episciences.org/5521/pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5226839$43D03894-4307-41AA-94BF-0277CD7D3EBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"357c7c34a1a90d83243f17011b7aa90788d1792d","datavalue":{"value":"05C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$81A214B0-FD5C-4409-A067-DB186655B6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$505B456B-F723-49F2-83EE-CABA308CA536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eef1b49f4a66afb755b22d7419db9d61ba07415f","datavalue":{"value":"05C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$725CB746-1EA6-4DF2-B24A-D923A7648126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$32ECD23D-5916-403E-8828-0FAA2E83001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$684212DE-CB61-40D3-8582-7A38D271D1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$C776E285-5921-437A-B39B-8E8E9F12B3B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b48208ce8c7ffe8381ae217bde6cc68851f3f12a","datavalue":{"value":"7088258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5226839$BF198F10-2257-466E-AF72-C71A9520A2BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2348752ed9ac41037aee58c1d70ac8d0decfe670","datavalue":{"value":"3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5226839$6DE56DD3-DD10-4CDA-A842-42BF2D18BD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8192f11610279d466bb99aa31056e9f91f415eb7","datavalue":{"value":"planar graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5226839$BFB4565E-F502-4F82-978C-3E1EC6E4E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0612807c22f01764e2b3d07b2bb1c1365e520f64","datavalue":{"value":"Hamiltonian cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5226839$E64EDA96-C6FA-4D84-A7EB-7D79E1F21DA7","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":"Q5226839$5133880C-D4D3-406E-972E-43C2800C59D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5474c04ed2df1bdcbd4830cfe4daee9be739f46","datavalue":{"value":{"entity-type":"item","numeric-id":5116495,"id":"Q5116495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2539e4e7f053811def63430c0017e6009eadd4","datavalue":{"value":{"amount":"+0.9946994185447692","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":"Q5226839$63E2B943-FDDB-4238-B0BC-9746470B3646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438ca1492819dc9e73a8c603ef8ddaa7f71a92bf","datavalue":{"value":{"entity-type":"item","numeric-id":4032119,"id":"Q4032119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a1d010c25e0a4c2af2e07bdaff8464b2c60f26","datavalue":{"value":{"amount":"+0.8473502993583679","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":"Q5226839$A013C65D-9D43-4983-AAC5-62D6490DBAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328e354de4d29c3a623e0eb91a6467e95c4fb260","datavalue":{"value":{"entity-type":"item","numeric-id":4210088,"id":"Q4210088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804a2ac3a2ff66c07f80dbc2b9a06e330625c428","datavalue":{"value":{"amount":"+0.8467668890953064","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":"Q5226839$9ACCAC93-A4C5-4E5E-BEF0-92016E36FE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2608de4f95690f91de4a7ab9bdf7bfca1e1ee77","datavalue":{"value":{"entity-type":"item","numeric-id":4963262,"id":"Q4963262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b638f02aeb67e35afc7e9b8cc379d9eb5be9ea5c","datavalue":{"value":{"amount":"+0.8386517763137817","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":"Q5226839$10E49CDD-2D75-4AF3-8E8B-83095B63F7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc7b25d807720e1358c79797898a589e45eb4af","datavalue":{"value":{"entity-type":"item","numeric-id":3821582,"id":"Q3821582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1907e7df6f803beecbb8fb4cc3e7a9b76f8004","datavalue":{"value":{"amount":"+0.808118999004364","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":"Q5226839$5D90CBF4-7DF6-4B21-AE5B-76913A072B4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5226839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5226839"}}}}}