{"entities":{"Q4805218":{"pageid":6834798,"ns":120,"title":"Item:Q4805218","lastrevid":74529891,"modified":"2026-04-14T23:10:34Z","type":"item","id":"Q4805218","labels":{"en":{"language":"en","value":"The number of k\u2010SAT functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1908428"}},"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":"Q4805218$C1B38825-A521-43ED-80FC-B7F36F573023","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66d18d138d26a18b099fe7f5d0712f5808e040c2","datavalue":{"value":{"text":"The number of k\u2010SAT functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4805218$335EA027-FCAA-45E8-BD23-09EC33A17EF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41218ee3328a265a7fc90e039389987e01b757c2","datavalue":{"value":"1026.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805218$AF25DDA9-BEFD-461C-ACA2-701298C820B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a14bac90927db699ac4af297f1d406f2762c11d","datavalue":{"value":{"entity-type":"item","numeric-id":168581,"id":"Q168581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$449C5A29-0E5B-4370-B382-481F4E45F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa1c283669072b9efd9a8b4d0e623734e03b4535","datavalue":{"value":{"entity-type":"item","numeric-id":918998,"id":"Q918998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$4E20E232-E7E8-4878-BEBB-2F65BBD760E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947c49c6dc991ad4ccf38c0cba49a099db39b9c3","datavalue":{"value":{"time":"+2003-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":"Q4805218$38A6C276-E8DB-44E2-A086-7BB20EA809F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805218$EF1F7797-9A0F-483D-8B08-406A5EC47E7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad9482124c5e95399506e3139104eaca358d97cb","datavalue":{"value":"1908428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805218$1BBB2153-1587-45B5-BFA3-80CDB8E80530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6d7548b65165ce432d2882b2d57ae210146596","datavalue":{"value":"\\(k\\)-SAT formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4805218$34DCBFD8-3F8E-43A3-A99E-4C34BBEBB1FD","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":"Q4805218$6E55DC2B-5AEB-46A8-9E4C-7BAE850C3F14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4adde372036b8bf75e1bfffb80d66a20414c44c","datavalue":{"value":"https://doi.org/10.1002/rsa.10079","type":"string"},"datatype":"url"},"type":"statement","id":"Q4805218$4CF2822D-8E23-4EC3-9AB5-4D7EB5FCF356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ff8b4cdc0c2ab113ba5e3c6c159cca54a649eb0","datavalue":{"value":"W2087691816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805218$C3F849EB-E532-4D63-A820-6008A1FF89DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc28ee461dc1b61f18ed1fdd2a630889e82159d","datavalue":{"value":{"entity-type":"item","numeric-id":1870908,"id":"Q1870908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$6A6764C3-FA9B-4FEC-B5AF-F937C1A58B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435363cd3f775038825f8575dc2a17f196b35bec","datavalue":{"value":{"entity-type":"item","numeric-id":1109031,"id":"Q1109031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$DFC4D5F9-336F-473C-9464-05A31ACD6DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e8e8430cb9ed877eebc0187316c8bc2a60dce5","datavalue":{"value":{"entity-type":"item","numeric-id":2731583,"id":"Q2731583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$DCFDD0CF-7CF1-4473-9CE9-1566D8EBC92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437aa0e772704c1fe4c89f380ebafc69f3e18abf","datavalue":{"value":{"entity-type":"item","numeric-id":2758972,"id":"Q2758972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$E2FF2314-7790-47A7-96B4-A9D33123CE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8605a31ea2a1bcda7bf1171d5478efcd6cd24a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3977079,"id":"Q3977079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$FE9CD3EF-AE92-4CC7-916F-6CBDB8A621B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44dcb4aa4acd669c7046163e9fae26a3ecce59cc","datavalue":{"value":"10.1002/RSA.10079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4805218$7205124E-AA61-41C7-BB23-CD0F455BF9AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e892e1c0d996adbb1534cf0be0300e81ea1c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":1870908,"id":"Q1870908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8090bad2fc831461d3dd2f220ff80cd1d9bc614","datavalue":{"value":{"amount":"+0.8387098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$C419AFF6-0AD8-46E7-922C-907BE82A84AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0daf394757345277c2619c19a4c23898f735f4cc","datavalue":{"value":{"entity-type":"item","numeric-id":3331154,"id":"Q3331154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1f52f54b0025a643e0c00a40c4e470861c8273","datavalue":{"value":{"amount":"+0.7622217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$BEBAEB66-010C-4574-B1B5-0F5E7B3E1506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515db9473f72df4e23201cd1f4488aa77b35375e","datavalue":{"value":{"entity-type":"item","numeric-id":2480593,"id":"Q2480593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd347a5fa6dfc07e68718e96bcdc80ae3bccabf","datavalue":{"value":{"amount":"+0.75562274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$D9B0574D-2769-4BF7-8F5D-823C16470ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237829e865271f62a4bb3496e3660858fb7f62f6","datavalue":{"value":{"entity-type":"item","numeric-id":1936820,"id":"Q1936820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98868ff8a8dabbd1e689ae600c3f5dd0ad108d3d","datavalue":{"value":{"amount":"+0.74239016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$9487B786-2652-478A-9473-CD027AB8007B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38330ffdd26933a2f5fa761eb867947b4482ceb3","datavalue":{"value":{"entity-type":"item","numeric-id":580367,"id":"Q580367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325651ee0b7beaa7e4d4b1f72004223065a63433","datavalue":{"value":{"amount":"+0.7333307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$EC9ECC0E-D915-4A21-8221-E657A588FBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902bc14249bc859def6b7cea786b20f35ba1f7b2","datavalue":{"value":{"entity-type":"item","numeric-id":3201048,"id":"Q3201048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49ac2a55e6b749877c1dfde9c171a7166917e50","datavalue":{"value":{"amount":"+0.72742325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$DB40948C-B909-4340-B884-FC778932F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621720e8b7b4f2dc69ceb6b3a0c92a83e0f8185e","datavalue":{"value":{"entity-type":"item","numeric-id":3552502,"id":"Q3552502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278e28a6ab8b74878f4817f3a5f6ddf5c60512ec","datavalue":{"value":{"amount":"+0.7268372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$1F93A5B7-DF71-470A-9D1E-38DF0AC5956E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71898e1e1a1d7e9182c234f73e01310ab7672187","datavalue":{"value":{"entity-type":"item","numeric-id":4451581,"id":"Q4451581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb63b685f38c87ffedd44ae13eece68f92c938a2","datavalue":{"value":{"amount":"+0.7174654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$E6CE0695-A812-48F6-803C-6C687321D4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55861d7afd5a4a889b635dae2f82d95ef2a16f86","datavalue":{"value":{"entity-type":"item","numeric-id":2708276,"id":"Q2708276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1ad2499a05e99cf84caae5821a28ba386b3654","datavalue":{"value":{"amount":"+0.7129512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$A0DB8741-29C9-4617-86D0-DE41AFB8B1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06ead15f9b99f6d662e2c72c082d3ca846dbd3e","datavalue":{"value":{"entity-type":"item","numeric-id":3598884,"id":"Q3598884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4828fb38a0790dd04b770c908ec76ce9446a7c2","datavalue":{"value":{"amount":"+0.71193457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4805218$7FAB5395-8C86-456E-87BE-F0E65D04B1E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4805218$1EA6AE43-1CB3-410E-8A78-CFC76DC1A2EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of k\u2010SAT functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_k%E2%80%90SAT_functions"}}}}}