{“实体”:{“Q62041401”:{-“pageid”:61867774,“ns”:0,“title”:“Q62091401”,“lastrevid”:1352190021,“modified”:“2021-01-31T21:02:31Z”,“type”:“item”,“id”:“q6204141”,“labels”::“基于SAT的布尔和线性数学命题公式求解方法”}},“描述”:{“el”:{“language”:“el”,“value”:“scienca artikolo”},“en”:{“language”:“en”,“value”:“2002年发表的科学文章”},“zh”:{“language”:“zh“,”value“:”2002\u5e74\u5b66\u672f\u6587\u7ae0“},”sr-ec“:{”language“:”sr-ec“,”value“:“,”值“:”2002\u5e74\u5b66\u672f\u6587\u7ae0“},”vi“:{”语言“:”vi“,”value“:“b\u00e0i b\u001o khoa h\u1ecdc”},“sr-el”:{“language”:“sr-el”,“value”:“nau\u010dni\u010dlanak”}、“it”:{“language:”it“,”value“:”articolo scientifico“},”zh-hk“:{”language“:”zh-hk“,”value“:”2002\u5e74\u5b78\u8853\u6587\u7ae0“}”,“ar”:{“language”:“ar”,“value”:“\u0645\u0642\u0627\u0644\u0629\u0639\u0644 \u0645 \u064a\u0629 \u0646 \u0634\u0631 \u062a\u0441 \u064 a 2002”},“pt-br”:{“language”:“pt-br”,“value”:“artigo-cient\u00edfico”}、“tg-cyrl”:{“language:”tg-cyll“,”value“:”\u043c\u0430\u049b\u 043e\u043b\u0430\u0438\u0438 \ u043b \u043c\u04e3“},“cs”:{“language”:“cs”,“value”:“v\u011bdeck\u00fd\u010dl\u00e1nek”},“et”:{“language”:“et”,“value”:“teaduslik artikkel”},“gl”:{“language:”gl“,”value“:”artigocient\u00edfico“},”id“:{”language“:”id“,”value“:”artikel ilmiah“}”,“es”:{'language':“es”,“value”:“art\u00edculo-cient\u 00edfico-publicado en 2002”}、“en-gb”:value“:”2002年发表的科学文章“},”ru“:{”language“:”ru”,“value”:“\u043d\u0430\u0443\u0447\u043d \u0430-u044f\u0441\u0442\u0430 \u0442 \u044c\u044mf”},“他”:{“语言”:“他”,“值”:“u05de\u05d0\u05de\ u05e8\u05de \u05d 3\u05e2\u05d9”}“},”pt“:{”language“:”pt“,”value“:”artigocient\u00edfico“}:“2002\u5e74\u5b78\u8853\u6587\u7ae0”},“nb”:{“language”:“nb“,“value”:“vitenskapelig artikkel”}、“tr”:}“langue”:“tr“,”value“:”bilimsel makale“},”zh-cn“:{”language“:”zh-cn“,”value“:”2002\u5 e74\u 5b66\u672f\u6587 \u7aa0“}”,“tl”:tl“,”value“:”artikulong pang-agham“},”th“:{”language“:”th“,”value“:“\u0e1a\u0e 17\u 0e 04\u 0e27\u 0e-32\u 0e\u 0e21\u 0E 17\u 0 e32\u 0 e 07\u 0es 27\u 0 e\u 0 e34\u 0电子17\u O e22\u 0E28\u 0e.32\u oe2a\u 0ey 15\u 0es23\u 0oe4c”},“ro”:{“language”:“ro”,“value”:“articol\u 0219tiin\u 021biic”}“:”ca“,”value“:”article icient\u00edfic“},”pl“:{”language“:”pl,“bg”:{“language”:“bg“,“value”:“\u043d\u0430\u0443\u0447\u043d \u0430-u0441\u0442\u0430 \u0442 \u0438\u044f”},“ast”:{language:“ast \u6587\u7ae0“},”bn“:{“语言”:”bn”,“值”:“\u09e8\u09e6\u09e\u09e6\u009e8-\u098f\u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09 bf\u09 a4\u09 ac\u09c8\u09 c8\u 099c\u 09cd\u 099 e\u 09be\u 09a8\u9 bf\u 0995\u 09a 8\u 09 bf\ u 09ac\u 09b8\u 0.9cd\u 09 a7”},“de”:{“language”:“de”,“value”:“wissenschaftlicher Artikel”},“zh-my”:{“language”:“zh-my”,“values”:“2002\u5e74\u5b66\u672f\u6587\u7ae0”}:“2002\ub144\ub17c\ubb38”},“da”:{“language”:“da”,“value”:“videnskabeli artikel”}e1nyos cikk“},”ja“:{”language“:”ja”,“value”:“2002\u5e74\u306e\u8ad6\u6587”},“en-ca”:{“language”:“en-ca”,“value”:“2002年发表的科学文章”},“ka”:{“language”:“ka”,“value”:zh-hans“:{”language“:”zh-hans“,”value“:”2002\u5e74\u5b66\u672f\u6587\u7ae0“},”sr“::“\u043d\u0430\u0443\u0447\u043d \u0438\u0447 \u043b\u0430 \u043 d\u0430 \ u043a”},“sq”:{“language”:“sq“,”value“:”artikull shkencor“},”nan“:{”language“:”nan sv“:{”language“:”sv“,”value“:”vetenskaplig artikel“},”zh-hant“::“2002\u5e74\u5b78\u8853\u6587\u7ae0”},“sk”:{“language”:“sk”,“value”:“vedeck\u00fd\u010dl\u00e1nok”},“uk”:{“language”:“uk”,“value”:“\u043d\u0430\u0443\u043a\u043e\u0432\u0430\u0441\u0442\u0432\u0442\u044f,\u043e\u043f\u0443\u0443\u 0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430\u0443 2002“},“越”:{“语言”:“越”,“值”:“2002\u5e74\u5b78\u8853\u6587\u7ae0”}},“别名”:{},”声明“:{“P356”:[{“mainsnak”:{”snaktype“:”value“,”property“:”P356“,”hash“:”5b875f77b804f4baaefa9cc381683ac19bb0aecc“,“external-id”},“type”:“statement”,“id”:“Q62041401$FD0EC57C-1897-4396-90C8-794313252C46”,“rank”:“normal”}],“P31”:[{“mainsnak”:{“snaktype”:“value”,“property”:“P31“,”hash“:”29465f78f13add11b617f0de4ade56cd1122c19c“,”datavalue“:{”entity-type“:”item“,”numeric-id“:13442814,”id“:”Q13442814“},”type“:”wikibase-entityid“}”,id“:”Q62041401$E4E55DEC-355C-4DE8-AF70-AEBFA6D279DD“,”等级“:”正常“}],”P1476“用法:[{“mainsnak”:{“snaktype”:“value”,“property”:“P1476”,“hash”:“81efddfecedb4c8dd82aa69c2beb6d022175e3eb”,”datavalue“:{”value“:{”text“:”基于SAT的布尔和线性数学命题公式求解方法“,”language“:”en“},”type“:“单语文本”}:“Q62041401$3790B5E5-29E2-4563-94A8-2E3A765E2992”,“rank”:“normal”}],“P304”:[{“mainsnak”:{“snaktype”:“value”,“property”:“P304“,”hash“:”3f11272c126a1b4f1ce5db3f9a54a4730a8b3ad3“,”datavalue“:{”value“195-210”,“type”:“string”},“datatype”“:”string“},”type“语句“,”id“:”Q62041401$3A90845F-0F00-49AE-BB73-FF3CDFBF2162“,”等级“:”正常“}],”P577“:[{“mainsnak”:{“snaktype”:“value”,“property”:“P577”,“hash”:“6e4c72503964f214691496be01a2a67e98a75530”,“datavalue”:http://www.wikidata.org/entity/Q1985727“},”type“:”time“}”,“datatype”:“time”},“type”“:”statement“,”id“:”Q62041401$6A56C1D6-35FE-412E-8E9A-5F5AFA03F29B“,”rank“:”normal“}],”P1433“:[{”mainsnak“:{”snaktype“:”value“,”property“:”P1432“,”hash“:”3015693f9abc71841a3bdca0db9bc5206d5c0b4c“,”“datavalue”:{“value”:{“entity-type”:“item”,“numeric-id”:924044,“id”:“Q924044”},“type”:“wikibase-entityid”}数据类型“:”wikibase-item“},”type“:”statement“,”id“:”Q62041401$4C59585C-85C0-4A45-A8DF-38D726E62C93“,”rank“:”normal“}],”P2093“:[{”mainsnak“:{”snaktype“:”value“,”property“:”P209三“,”hash“:”4b222c4f0085f7fbb06042aed2f9f61e7289950a“,”datavalue“:“,”类型“:”字符串“},”数据类型“:“字符串”},“类型”:“语句”,“限定符”:{“P1545”:[{”snaktype“:”value“,”property“:”P1545“,”hash“:”2a1ced1dca90648ea7e306acbaddd74fc81a10722“,”datavalue“:“snaktype”:“value”,“property”:“P2093”,“hash”:“7687e1379c126c9cb63f6fd01a8d7554420b6500“,”数据值“:{”值“:”皮尔吉奥·贝托利“,”类型“:”字符串“},”数据类型“:“字符串”},“类型”:“语句”,“限定符”:{“P1545”:[{”snaktype“:”值“,”属性“:”P1545“,”哈希“:”7241753c62a310cf84895620ea82250dcea65835“,“类型”:“字符串”},“数据类型”:”string“}]},”qualifiers-order“:[”P1545“],”id“:”Q62041401$C5A9EB8C-3623-4D9D-A338-7E9163BD1947“,”rank“:”normal“},{”mainsnak“:{”snaktype“:”value“,”property“:”P2093“,”hash“:”845caec7470468340a037bcc012f2ab6feb31ad2“,”datavalue“:“,”限定符“:{”P1545“:[{”snaktype“:”value“,”property“:”P154五“,”hash“:”cbff8d4b3b7b35f905ef3147a7a6cb88845a774f“,”数据值“:{”value“:”4“,”类型“:”string“},”数据类型“:“string”}]},“qualifiers-order”:[“P1545”],”id“:”Q62041401$9BCA0B74-5924-40E6-9AB3-BDFE14391ACA“,”rank“:”normal“}”,{“mainsnak”:{“snaktype”:“value”,”property“:”P2093“,“哈希”:“44de11d71859ae697eda0ea8fcee039487506a8a”,“数据值”:{“值”:“Roberto Sebastiani“,”type“:”string“},”datatype“:”string“},”type“:”statement“,”限定符“:{”P1545“:[{”snaktype“:”value“,”property“:”P1545“,”hash“:”ea4583c18f699186700d21642b477a2dc1d345c8“,”datavalue“:{”value“:”5“,”type“:”string“},”datatype“:”string“}]},”限定符order“:[”P1545“],”id“:”Q62041401$EEB4.31EE-24FF-4A8C-B5EB-F2814AEE1E1D“,”等级“:”normal“}],”P50“:[{“mainsnak”:{“snaktype”:“value”,“property”:“P50”,“hash”:“49b772becdb014ecb0ec8478e4255fc934b90f09”,“datavalue”:}“value“:{”entity-type“:”item“,”numeric-id“:62036606,”id“:”Q62036603“},”type“:”wikibase-entityid“}”,”datatype“”:“wikibase-item”},“type”“语句”,“限定符”:{“P1932”:[{“snaktype”:“value”,“property”:“P1933”,“hash”:“6fba95f819accc8a4d5b22dc3329a8ad4b513e42“,”数据值“:{”值“:”Alessandro Cimatti“,”类型“:”字符串“},”数据类型“:“字符串”}],”P1545“:[{”snaktype“:”值“,”属性“:”P154五“,”哈希“:”0e979f28bf306fefdcd352b4eb8dee5da2153a6d“字符串“}”,“数据类型”:“字符串”}]},“限定符顺序”:[“P1932”,“P1545”],“id”:“Q62041401$79101BC0-D60E-449B-A185-3FB651F46096“,”秩“:”正常“}],”P407“:[{”主snak“:{”snaktype“:“value”,“属性”:“P407”,“散列”:“daf1c4fcb58181b02dff9cc89deb084004ddae4b”,“数据值”:{“值”:}“实体类型”:“item”,“numeric-id”:1860,“id”:“Q1860”},“type”:“wikibase-en”tityid“}”,“数据类型”:“wikibase-item”},“类型”:”statement“,”id“:”Q62041401$661688F1-DA69-4CAD-8A6B-103FA6BE9BC8“,”rank“:”normal“}],”P8978“:[{”mainsnak“:{”snaktype“:”value“,”property“:”P8976“,”hash“:”769592f3fca4d22192e68dc90cef4bc39b2299a6“,”datavalue“:“conf/cade/AudemardBCKS02”,“type”:“string”},“datatype”:“external-id”},“type”:“statement”,“id”:“Q62041401$3FD49AE4-E7EE-4C49-AE9C-4D1312F43244”,“等级”:“normal“,”references“:[{”hash“:”d88fbec0cac4521f90a250c57f1a64d2343d70bf“,”snaks“:{”P248“:[}”snaktype“:”value“,”property“:”P248”,“hash”:“bbb16bcda319d1e785962e87a501c58b95f0519d”,“datavalue”:{“value”:{“entity-type”:“item”,“numeric-id”:1051600373,“id”:“Q105160373”},“类型”:“wikibase-entityid”},“数据类型”:”wikibase-item“}],“P813”:[{“snaktype”:“value”,“属性“:”P813“,”哈希“:”c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1“,”数据值“:http://www.wikidata.org/entity/Q1985727“},”类型“:”时间“}、”数据类型“:“时间”}]}、“蛇序”:[“P248”,“P813”]}]}],“站点链接”:{}}}}