{"entities":{"Q3581273":{"pageid":5611177,"ns":120,"title":"Item:Q3581273","lastrevid":49611058,"modified":"2026-01-08T08:19:15Z","type":"item","id":"Q3581273","labels":{"en":{"language":"en","value":"Some 3CNF properties are hard to test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5771026"}},"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":"Q3581273$371BC8B8-10A3-4CCB-AC35-EE70D4380BFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e00f34726ec9ab19d436cfb5f57866762a4b254","datavalue":{"value":{"text":"Some 3CNF properties are hard to test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3581273$42995203-B61D-4678-BADE-65FD0FF65736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b9e0dcb21a2c9b7433acfae71f86c23f328a744","datavalue":{"value":"1192.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581273$5B391DC4-8878-4729-9FD8-382DBDE13257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba3cb68e2a808a7c880ba642c06d69a8c34d8354","datavalue":{"value":"10.1145/780542.780594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581273$F5D18F59-7C9C-4F6C-97B7-F1D5877E2414","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3581273$A67FD791-9500-4B1D-B555-2EAAFF38C323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9abb3f311c74ce5beb8057d468547315cd4c4c8","datavalue":{"value":{"entity-type":"item","numeric-id":210279,"id":"Q210279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3581273$C4C67E88-6CEC-4CAF-87FF-7791AEDCD2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb3a29463b8c15305f0ad43d1ccb2dcb6b99a67a","datavalue":{"value":{"entity-type":"item","numeric-id":266923,"id":"Q266923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3581273$82C466AD-E35D-4248-9CF1-65C3036A07A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68550df3de47ee7f6c3fb659ea5c169abb9e6bac","datavalue":{"value":{"entity-type":"item","numeric-id":3581241,"id":"Q3581241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3581273$8F1AEAB0-79BE-4616-8AA4-563CCE25C936","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ab1a23b33b6c3db0ddd484ed90ac34e13f69d9a","datavalue":{"value":{"time":"+2010-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3581273$42350460-4BB2-4B75-A8DA-6A82ACF8AEDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581273$C0B0BC42-24B2-4E85-880F-D8750FBFD7C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f518e698b0f51489642e35de66de063cf610874","datavalue":{"value":"5771026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581273$8AA9342D-88AF-40D3-AA5F-8113841BA28A","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":"Q3581273$BCD6304A-E477-45E7-B632-944533FE3165","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65929e1f73bdd9203bc2a1c9e8dd3f29b85b1d2e","datavalue":{"value":"https://doi.org/10.1145/780542.780594","type":"string"},"datatype":"url"},"type":"statement","id":"Q3581273$A5C823A6-9FB1-4FC0-8968-BDBA78F70AAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"153affef7e4a0bd591138ed326a6a416aa54ca09","datavalue":{"value":"W2066465093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581273$8E87F21A-FB4E-4090-A11C-30CE71DA20E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd706fdcad1fa4d02760cca7a5279af6f48d120d","datavalue":{"value":{"entity-type":"item","numeric-id":5700567,"id":"Q5700567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$5C39632E-E296-402F-8495-FCBBD880A62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92efdee555ab22f176cea1501ed1d823066cc0ca","datavalue":{"value":{"entity-type":"item","numeric-id":2939527,"id":"Q2939527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff5199ea52f2776105c5004ada621d29d881743","datavalue":{"value":{"amount":"+0.8287295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$476509D3-824B-4EB8-A8A1-8F321B7FF891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad17e3776099c6bc73b43c18ae884fd06a6b03","datavalue":{"value":{"entity-type":"item","numeric-id":2986826,"id":"Q2986826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45191a2ad762562f3c0236d1192d092f60f104a","datavalue":{"value":{"amount":"+0.79183215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$02345389-9D67-4D62-879E-96F07CD09954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72ebd5ba42a7b350c8370f88997b631f6111f57","datavalue":{"value":{"entity-type":"item","numeric-id":741088,"id":"Q741088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45191a2ad762562f3c0236d1192d092f60f104a","datavalue":{"value":{"amount":"+0.79183215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$AC92E9D9-2EF4-4245-9AF5-439233B6C6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c31af2bae594acfdb3f2a4195d9d57294a6817","datavalue":{"value":{"entity-type":"item","numeric-id":4417002,"id":"Q4417002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d642e9fa8626cdf861fb7c12aee7d3f5ae5d10","datavalue":{"value":{"amount":"+0.78969616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$B8419332-EBE2-4220-94C8-6F94FFE1042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7572389fd8e287e19897e54c34d71d71ec53ccb4","datavalue":{"value":{"entity-type":"item","numeric-id":4968241,"id":"Q4968241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0b811364276d6dce0fad0eb9aa2dbf2879e8cf","datavalue":{"value":{"amount":"+0.78386694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$FB848F9C-EE0A-4DC4-BC18-C2A8C23D3D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a592616998ac560098e89ed91b6feb22cc47fd9","datavalue":{"value":{"entity-type":"item","numeric-id":430844,"id":"Q430844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595761164998cff7f1fa00a2947a497960d8627b","datavalue":{"value":{"amount":"+0.7750933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$E4236830-BB24-4C5B-A3A2-EE4B4B473065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ec6cd6aff8cadf342cde341397d84d2f19477dc","datavalue":{"value":{"entity-type":"item","numeric-id":3638900,"id":"Q3638900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595761164998cff7f1fa00a2947a497960d8627b","datavalue":{"value":{"amount":"+0.7750933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$133B4ECA-24F0-469A-B47B-53A10BC0FA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b56a0e3cdbe2a24e8e4a797a15345cfce53ec0","datavalue":{"value":{"entity-type":"item","numeric-id":4933380,"id":"Q4933380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae34852f4d76ba9266c597befebc4cfcef5555b","datavalue":{"value":{"amount":"+0.7750932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3581273$930C0D2C-A169-4AE9-B8E3-E316B1D1E697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3581273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3581273"}}}}}