{"entities":{"Q1870908":{"pageid":1881650,"ns":120,"title":"Item:Q1870908","lastrevid":73823880,"modified":"2026-04-14T17:23:27Z","type":"item","id":"Q1870908","labels":{"en":{"language":"en","value":"The number of 2-SAT functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1910262"}},"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":"Q1870908$9FCDB62A-57FC-49A1-AE46-F7356C9CCEC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04549b7bce4fc19652d061dc95e9c6e6f567a3a1","datavalue":{"value":{"text":"The number of 2-SAT functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870908$A393FCA8-9393-46DD-A5B9-11E14627A7AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75cc54f31e72ae97cf6a78700c6d3ca52f3b7c37","datavalue":{"value":"1024.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$FCF0BA7F-C444-4C59-BE78-E08AEE49350B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"646e51fc00b6a958f832f86adab8f2cfbce4bfe1","datavalue":{"value":"10.1007/BF02773060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$874DC081-825D-4122-BFD7-B814E97407C2","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":"Q1870908$DA91EAF2-0341-4185-9C30-32E9DECE9CA4","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":"Q1870908$804DE11C-4978-4240-9A1A-11353FF39B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22bf6393968b3762012b5ef5802af743f6506ed8","datavalue":{"value":{"entity-type":"item","numeric-id":171727,"id":"Q171727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$0EA1BB6C-49BC-4E2A-8C41-4C84E6DDFC60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$71BD2DA1-AF85-48F8-9D1A-E7D6ACAF54F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57a85b978605e92a5cbf995df34cb443c18c900b","datavalue":{"value":{"time":"+2003-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870908$1A53F2DE-81AE-4179-B8F5-4724BDB03D6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$BB2DCF09-8CD1-4404-BFD5-19C267F5278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$9ACAB337-826D-43A5-B1DC-3877034823C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de0493fc6f7fe4361a54e7c2f5546e4ec52adf0","datavalue":{"value":"05C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$07DF905A-0B48-4326-84B2-BB1A6D063A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$CC0AF05E-0FCA-4976-9D0F-3A1CED07F3FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87167c94a3b195c4c095af29af7df8d570ff805","datavalue":{"value":"1910262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$BC3DEED6-A341-4AE5-B9E2-B4C5396AB285","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4fb121bd90c4b5480ea1aefcc0828b64ba7186","datavalue":{"value":"2-SAT formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870908$022E6F81-6058-408C-BDD1-055FCC4E725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc27dd0952adc47046174230466c7a5ce1e76658","datavalue":{"value":"2-SAT functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870908$95BB2CF1-B84C-482D-8AC6-1D6B970F64C9","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":"Q1870908$A8CEB6CD-9DD5-4855-9AC2-C5BDADE1F5D3","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":"Q1870908$0C7591A9-BC0A-418B-8A3B-754F03318111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d12695d4a3731e56edebe1f68edf8feccbdbd8","datavalue":{"value":{"entity-type":"item","numeric-id":4398864,"id":"Q4398864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$30161DE9-D297-4724-BC01-5BB4E2223EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca53ad94423f90b2960fbf6a8505860cda9e7763","datavalue":{"value":{"entity-type":"item","numeric-id":2725029,"id":"Q2725029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$73CDAF53-C377-4D7A-BDA6-DDBDADFCA9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b553b06a8d6bdc13276036a2f7e7bf1df079c7","datavalue":{"value":{"entity-type":"item","numeric-id":4805218,"id":"Q4805218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$FF242D9F-8CFD-4C98-88B2-D1CAA2250C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a704198da27f51a523769de240a677b950b9d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":4863823,"id":"Q4863823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$5761D9E0-3D5D-46D8-B3B8-EE4111BDD8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c3f3c18d3012339c8ea8fa516e6cb0de7e130f","datavalue":{"value":{"entity-type":"item","numeric-id":5688999,"id":"Q5688999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$ACCF3022-892A-448A-8B2D-07C95C52A9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b6bb65062edf2d82510169c9c62f23fa1230d5","datavalue":{"value":{"entity-type":"item","numeric-id":1906134,"id":"Q1906134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$0B536B0A-BA75-40AE-8A97-CBC4C172677A","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":"Q1870908$608DFE0B-7060-4140-BD95-85B21BD5F173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb94b40e3d935308eea17d573289d937d6ef24e","datavalue":{"value":{"entity-type":"item","numeric-id":4371411,"id":"Q4371411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$E01BAA2F-22A6-4061-BDBB-61E9BF9AE821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa680fdb688369870abe5ad59d24b913b940c15c","datavalue":{"value":{"entity-type":"item","numeric-id":4133658,"id":"Q4133658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$21123B82-637B-4F88-9558-CE229CD1363D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1193f12fb00c2da62e0dc21fadf11ebb290a7417","datavalue":{"value":{"entity-type":"item","numeric-id":3990877,"id":"Q3990877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$D9425F13-696D-453A-A8FF-59972A13D6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28588578bb09af0b4bf0a3281ab6c8d321eb619b","datavalue":{"value":{"entity-type":"item","numeric-id":4519896,"id":"Q4519896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$58151181-B578-45BD-8F18-7D46D59516C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dde78a908c61e3ace4fd73996142414f3ba5aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4055647,"id":"Q4055647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$36306B3B-6E63-4085-B5A3-9DCF2FC4EB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$7FAB3D1E-AC85-493E-9581-B552E22F7D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f364dc4fd504177d7b1dd81b80d2ec7f5f036f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4291185,"id":"Q4291185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870908$84FE7AD4-90BF-40EA-A0AE-B9EFA0CF4716","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0f13845611131dcdb04a6290b038574faf01bc4","datavalue":{"value":"https://doi.org/10.1007/bf02773060","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870908$61C9ED5F-025C-4B4E-B05B-B0371BC126A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2f7874496a66833d122cfba9b28962f408862cd","datavalue":{"value":"W2072137480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870908$3A1CA372-6D40-4749-AB32-B99E492D6CDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f544607e07722cc539ad97c917fc0137d1aa4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4805218,"id":"Q4805218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c8074e0dcd28b282d90c8b9e124fc891841256","datavalue":{"value":{"amount":"+0.8603681921958923","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":"Q1870908$887243D4-50D2-4A97-854E-EC5F4E0D197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a8d01fe2bdc8b006dc4bf8b9029d4908258164","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c28bf260ab05d7bd148b5983bad2f522aa43a8e","datavalue":{"value":{"amount":"+0.8603678345680237","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":"Q1870908$CEEEAD4A-B727-4E35-883D-A5A3F275103B","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":"2bf58776db28c02d4668618bfb453cc651b8057a","datavalue":{"value":{"amount":"+0.8520168662071228","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":"Q1870908$EFBAF1AF-4534-48DA-A155-3EBAE08BB3AE","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":"89504a6cca81d283dfb44feee99afd5b23a45879","datavalue":{"value":{"amount":"+0.8503420948982239","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":"Q1870908$39E50E69-06C3-4A5B-9232-F0B5337EAD9D","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":"6dce80c0cd5b19ad2b2ff99a343f2622ea63c350","datavalue":{"value":{"amount":"+0.81235271692276","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":"Q1870908$599F228E-4849-4806-B81A-E0CAF27AA380","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of 2-SAT functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_2-SAT_functions"}}}}}