{"entities":{"Q414435":{"pageid":416202,"ns":120,"title":"Item:Q414435","lastrevid":61672083,"modified":"2026-04-11T00:52:51Z","type":"item","id":"Q414435","labels":{"en":{"language":"en","value":"Finding kernels or solving SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033173"}},"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":"Q414435$8A060628-AE04-4797-9585-0BFC2CB78A75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13ee0222c459b74d300d44a88c32c01386c55c15","datavalue":{"value":{"text":"Finding kernels or solving SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q414435$36A995B3-88DB-4CDB-9A02-C86B65D63171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd4192521613274adb8666bc16579b7b1756970","datavalue":{"value":"1253.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$9580AB81-C8FA-464E-8D89-CC6F10BD45AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d31d3a65e1ea7b3974ebed5a725f6c3a86eb35","datavalue":{"value":{"entity-type":"item","numeric-id":409315,"id":"Q409315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$8B47B009-BED9-4F66-AD81-B0660370E264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"381759f8f7b653ec717a21033b9010973041f863","datavalue":{"value":{"entity-type":"item","numeric-id":414434,"id":"Q414434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$EFD83637-5F9C-4D58-BB51-54484781F7BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a33251796f18919242eb286ef1f888e5d6e79da","datavalue":{"value":{"entity-type":"item","numeric-id":350720,"id":"Q350720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$8B7D8D87-5095-4412-BA12-B9CFBF4761A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q414435$20FC32F7-0748-4654-9BF4-780ABD12670D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$05552569-26C6-45F9-9789-35EC6DB1348F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$814EDEA4-D787-4F08-9D45-D8E9630C5DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$342A4BAD-5410-4A4B-9EA3-4D46BC2E3285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"784dc4b5461f639db95cf29a6d3bb7a0aed652b4","datavalue":{"value":"6033173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$E2CF4087-979D-45FA-B1C4-8A802613B2F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffa219ea2cff89df5162edb57bd2a31ea73e1a26","datavalue":{"value":"digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q414435$B6C2FB65-4C55-417C-A2B7-2079FD4DE8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6502121864a1dff048ddc4823cf928079ab042bc","datavalue":{"value":"kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q414435$F9FD19AF-24C2-4F43-98FF-C173927AA73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q414435$77429743-1D15-4AF4-AAC5-E117367691DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q414435$A0F456A6-C41E-46E9-A1A5-F5ED7C5B9ABA","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":"Q414435$33CFEA45-D54D-4BA3-A051-6DD5A98BDE20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea9308f81a884b507aca7ddffdda222c259354a1","datavalue":{"value":"https://doi.org/10.1016/j.jda.2011.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q414435$E6F03DD4-2CD3-4F5E-8FF0-7A37B958C98F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c926b57a9220471e2d02def03a58f979791c51db","datavalue":{"value":"W2014402721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$8FF33541-7B6D-4F93-8D2A-11A8A6B6A31D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d8f4db3dce57c97c7378970a818ed45aac5bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4138755,"id":"Q4138755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$E3241A68-45AA-4E13-B6F0-8D7855F7B348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5780023c054b8a66a88927f5cde9f2dcfca794","datavalue":{"value":{"entity-type":"item","numeric-id":2640613,"id":"Q2640613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$C536FA9A-E813-48BD-8DF7-97AE6DD08637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aca940780117f1eabc5d7d78e16eb5f9fd08857","datavalue":{"value":{"entity-type":"item","numeric-id":1080430,"id":"Q1080430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$454C3F54-23F2-42BD-8774-398B2B047136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbafa8495a3ceb2755477287feeb1a92a9b14d7f","datavalue":{"value":{"entity-type":"item","numeric-id":2433701,"id":"Q2433701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$48069E60-7444-4049-942E-6B892B8524DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2a6eecb3b45c6b8c76ba90d659344414c0fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":3452187,"id":"Q3452187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$9A0D518E-8DDF-4CD1-98D2-D153CE6216C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e43be3893e504fbe1ffd223ca67b107da0e506","datavalue":{"value":{"entity-type":"item","numeric-id":673091,"id":"Q673091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$504165D5-FF99-47F9-A7BD-5DBBE27EB16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$5BEE108F-20E2-4012-B181-15B532037C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$ED2CCC9E-BC06-4593-9279-D1CCE87E72FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f14713baec790ed020926e0adf823183f93f61d","datavalue":{"value":{"entity-type":"item","numeric-id":1333271,"id":"Q1333271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$3ED98928-912A-48A3-A143-789E6DA051D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2364e4e5fb57fd5bea11f8040fbe4e73ab121b2c","datavalue":{"value":{"entity-type":"item","numeric-id":1370591,"id":"Q1370591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$ECE98565-8BD7-423B-BA10-AD7711197687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80e8abc45e12e01678f8f11b7eb8faef6a0480c","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$08631E2A-7860-4312-8286-CC3F04A15962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ad76d3ddfa7a55b034bc9601241a201bd9cb02","datavalue":{"value":{"entity-type":"item","numeric-id":3912817,"id":"Q3912817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$E73CEEED-9B53-465E-80C3-B7689F75CD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375ea5a0417924a6827baafef029f9a7e5d9b649","datavalue":{"value":{"entity-type":"item","numeric-id":1172646,"id":"Q1172646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$2FB95E12-F549-4733-9C64-5801C418B782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571289e7c516224687771a058d92473901f168e0","datavalue":{"value":{"entity-type":"item","numeric-id":1168729,"id":"Q1168729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$153CE4EA-62B1-440B-8B4C-69170ACB1941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e71fd0d2221371d782e4046b4425200846def0","datavalue":{"value":{"entity-type":"item","numeric-id":3791174,"id":"Q3791174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$2C373537-F1B2-412E-A96C-2A1CC7170049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afc90fcd8df3d95188cd6ce543963c50a3be380","datavalue":{"value":{"entity-type":"item","numeric-id":787155,"id":"Q787155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$F5443672-BD35-4A36-B719-1CD74D47AA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57b56e4f87ecb4a20fe03987ffda81fe6f0394f","datavalue":{"value":{"entity-type":"item","numeric-id":2485283,"id":"Q2485283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$04D6838D-6008-41B2-B939-B1DDDD7DBBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$126B2D32-5D78-4155-8919-C59D433D50F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4aad5fe8a3370041d9c29ba8c41f94752c5efa2","datavalue":{"value":{"entity-type":"item","numeric-id":3703906,"id":"Q3703906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$003C9166-4645-4F70-8DEB-0233F5370819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$4F928A97-8824-456B-9AC0-D06A11B8B593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f0d636879b192f180d0014cf8561701adfc310","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$81326337-B3A3-4F24-AE24-F6B19202F12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"421648dce3806efec4014c4d91e42a25e0b8c7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1264153,"id":"Q1264153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$0944344A-F0ED-4764-9955-1369E00F7BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c334f24f0ea0f5930a0f10f3816e5cbac17eea","datavalue":{"value":{"entity-type":"item","numeric-id":5920767,"id":"Q5920767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$324086D1-74DA-45D1-AB01-B0E4B7033DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$4007EDD1-BE7C-456B-934E-EC214BACE667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d403173afb7946dd1519a703cb655d48198f8563","datavalue":{"value":{"entity-type":"item","numeric-id":4952609,"id":"Q4952609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$0500903B-BADB-4238-AD77-3495E9F2CD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1aebf0e3d6679786a5da21877679cd3a992c2f","datavalue":{"value":{"entity-type":"item","numeric-id":5834632,"id":"Q5834632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$7D86C34E-3285-4898-9F9E-C36140E298E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9a2a8f0af76a8e59e5dcd24326111a1d57d402","datavalue":{"value":{"entity-type":"item","numeric-id":2651359,"id":"Q2651359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$2E68B29E-C38E-4A36-94F9-0812A88A4627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d0e549e2dcc9a57c4f95fab099eaefd73bdc8d","datavalue":{"value":{"entity-type":"item","numeric-id":1971908,"id":"Q1971908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$D985CD6A-6F8C-4AE8-8B87-5C40ED99D502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414435$5E8924FE-952C-4908-835E-1626DCABCD29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c75a3f7c85ccae1fa94ed7b7ad40e0dfdf9f1b33","datavalue":{"value":"10.1016/J.JDA.2011.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414435$9E1B376C-F500-4AB0-AD36-A270C0572922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f9b8b0d25382e5d0d0c517b12cf42d8d2e21ca","datavalue":{"value":{"entity-type":"item","numeric-id":409316,"id":"Q409316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff6b0a98998710fa915f1f2069b5d1c32be9e09","datavalue":{"value":{"amount":"+0.7805885672569275","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":"Q414435$73E1E20A-4BF0-4BF0-828D-BB05973CAA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12323073746e9b518d7b88cd758e71271f105430","datavalue":{"value":{"entity-type":"item","numeric-id":2485283,"id":"Q2485283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fe602d21d38806003152c27fd88df7c5d345f4","datavalue":{"value":{"amount":"+0.7804831266403198","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":"Q414435$500C1B55-D7A9-46D8-A0C3-13661FA0FC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d999ef7d05281266a0cbc0a373e774323072cbbb","datavalue":{"value":{"entity-type":"item","numeric-id":3452029,"id":"Q3452029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8773f2a2738d779f74b50b9f53cf65d1ff4882aa","datavalue":{"value":{"amount":"+0.7569783926010132","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":"Q414435$0D35D33A-5B61-4573-9BA2-0208E7DB4DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eb624b558bb1468a8cbeba96ebfb09ca3d6dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3186539,"id":"Q3186539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa4c1b7c57ebbde4f2e78e0bdbe39296caa3d37","datavalue":{"value":{"amount":"+0.7529686689376831","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":"Q414435$1297C920-0B65-496C-A9AE-769EBB2A3B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd917b00e9bfceebc6ae0ec183129324d8f17d59","datavalue":{"value":{"entity-type":"item","numeric-id":1332748,"id":"Q1332748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87aa2387697d58f13953b94267849b88d67b98e","datavalue":{"value":{"amount":"+0.7425013780593872","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":"Q414435$8F8C08EB-2377-4755-9A9B-38CD0F82540F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding kernels or solving SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_kernels_or_solving_SAT"}}}}}