CORD-19:6e2db98aa242e3e84116afdfad5e250943c55ac5 / 44537-44666 JSONTXT

{"target":"https://pubannotation.org/docs/sourcedb/CORD-19/sourceid/6e2db98aa242e3e84116afdfad5e250943c55ac5","sourcedb":"CORD-19","sourceid":"6e2db98aa242e3e84116afdfad5e250943c55ac5","text":"We prove the theorem by a reduction from the counting problem of the positive partitioned 2-DNF assignment [9] , denoted by (A1).","tracks":[{"project":"CORD-19_Custom_license_subset","denotations":[{"id":"T374","span":{"begin":0,"end":129},"obj":"Sentence"}],"attributes":[{"subj":"T374","pred":"source","obj":"CORD-19_Custom_license_subset"}]},{"project":"CORD-19-Sentences","denotations":[{"id":"TextSentencer_T374","span":{"begin":0,"end":129},"obj":"Sentence"},{"id":"TextSentencer_T374","span":{"begin":0,"end":129},"obj":"Sentence"},{"id":"T11749","span":{"begin":0,"end":129},"obj":"Sentence"}],"namespaces":[{"prefix":"_base","uri":"http://pubannotation.org/ontology/tao.owl#"}],"attributes":[{"subj":"TextSentencer_T374","pred":"source","obj":"CORD-19-Sentences"},{"subj":"TextSentencer_T374","pred":"source","obj":"CORD-19-Sentences"},{"subj":"T11749","pred":"source","obj":"CORD-19-Sentences"}]}],"config":{"attribute types":[{"pred":"source","value type":"selection","values":[{"id":"CORD-19_Custom_license_subset","color":"#c193ec","default":true},{"id":"CORD-19-Sentences","color":"#93eca7"}]}]}}