{"entities":{"Q3552502":{"pageid":5582406,"ns":120,"title":"Item:Q3552502","lastrevid":88521629,"modified":"2026-06-04T14:44:53Z","type":"item","id":"Q3552502","labels":{"en":{"language":"en","value":"On the number of 2-SAT functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697164"}},"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":"Q3552502$ADEDD19C-0B23-4865-8854-CB350E468E4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7a7f4f8e9a42a66d7883a2cc4f724862aefbb84","datavalue":{"value":{"text":"On the Number of 2-SAT Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3552502$40C3FA38-60D0-475D-9025-898163167A12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"974def184ce7e4dfddaf543a5e98e92c57d379db","datavalue":{"value":"1200.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$FF3CCCB5-E9BD-4971-B857-40E6EE33FD5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0429ccba1e622e3e9b3cf8247610490d51d95418","datavalue":{"value":"10.1017/S096354830900995X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$45D20ADC-D4AB-4C08-B6EE-1E2D2934BC45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdce43da6d8ef87ee4c9aa3c5c241bc9e0329a25","datavalue":{"value":{"entity-type":"item","numeric-id":385028,"id":"Q385028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552502$A1226EF7-3A43-449A-94D9-4D39BA554E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1a8b239d5a7f549910817e61d8809ac746dac16","datavalue":{"value":{"entity-type":"item","numeric-id":762169,"id":"Q762169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552502$7DCFDB25-3E49-4679-BF51-09328D025212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc98aa839a361f8a72b00376d60e99225cffa57","datavalue":{"value":{"entity-type":"item","numeric-id":2703019,"id":"Q2703019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552502$AC336AB6-B195-49B1-8611-C3B97803FBA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3552502$5174603E-CF8B-4EE3-B694-30B8B59D8F95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c92df262da87ef777427a1487275f7ac29c29b73","datavalue":{"value":"https://arxiv.org/abs/1005.2863","type":"string"},"datatype":"url"},"type":"statement","id":"Q3552502$21C6F6DB-DA61-47F2-B34D-DCF5853B566F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$49334E4D-679A-4765-B54D-E67709E61046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$9450A7D9-93AB-41F5-8340-BC49B9CA304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de0493fc6f7fe4361a54e7c2f5546e4ec52adf0","datavalue":{"value":"05C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$472168B0-A7AB-4DA4-9945-E0BE70D0FC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$26B7D8A8-5D35-4E00-8C6F-BB94F0F2D2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$868D9D2A-4E98-4B03-870C-F6AD7FC97C9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8efe68c953da3667d5e083cb375d605c79ce172e","datavalue":{"value":"5697164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552502$7C25754B-21D0-408B-94C4-2B5C38BF9B4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4fb121bd90c4b5480ea1aefcc0828b64ba7186","datavalue":{"value":"2-SAT formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552502$2BBB75F3-3E82-4462-B442-9F47386D2CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967bbb5ac2ff00ff6ba0b54e4bc7df9db36be41a","datavalue":{"value":"`odd-blue-triangle-free' graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552502$DACECCB3-05AA-404A-9891-E87E496D9CC6","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":"Q3552502$E630B8B2-3C80-4F64-A05E-2AE8AE340037","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":"Q3552502$46611AF4-95C7-479B-AE7A-3D11DE174304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfca010bc21936666f7b8a82a9adb6c6cad9b67","datavalue":{"value":{"entity-type":"item","numeric-id":2480593,"id":"Q2480593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552502$012C8B14-8C76-4C46-8627-A5994F60F06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed860708b4cccc3712f8c6a91457caa86ff75e1","datavalue":{"value":{"entity-type":"item","numeric-id":1850031,"id":"Q1850031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552502$382D5AB2-DB79-409B-8857-8B106F7CD8CC","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":"Q3552502$6116E688-F88D-4806-AE33-890CCE8590EB","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":"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":"Q3552502$95069BB7-4505-40E6-A51E-7FDFF6F9B907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42dfc997d767fecb674a5485076892f2f2f587f","datavalue":{"value":{"entity-type":"item","numeric-id":6074640,"id":"Q6074640"},"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":"Q3552502$876A0073-63B9-4524-967C-B58AFE2194EA","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":"abc534bb8a8763ba3185da5ca355ae9148026c94","datavalue":{"value":{"amount":"+0.8370653390884399","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":"Q3552502$4154EA9A-2E66-4E3D-8031-C800FCAD0E03","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":"8e4b36481dfde0ee3ac5389080d4112b6f0e0777","datavalue":{"value":{"amount":"+0.810400128364563","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":"Q3552502$46D8158C-3609-49FF-A0F9-72BAE80F4771","rank":"normal"},{"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":"54a2675addce36c78d28c81844a67dd8b56afe70","datavalue":{"value":{"amount":"+0.7704346179962158","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":"Q3552502$E88F1760-34B1-4878-9250-E7EB4185015B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the number of 2-SAT functions","badges":[]}}}}}