{"entities":{"Q2845892":{"pageid":2856612,"ns":120,"title":"Item:Q2845892","lastrevid":42261853,"modified":"2025-06-03T20:01:16Z","type":"item","id":"Q2845892","labels":{"en":{"language":"en","value":"Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6204080"}},"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":"Q2845892$CEA2FF06-692B-4AFF-B97B-5BAD53D03E4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c46cfb1bd3d4ab51ec59304a7e50e652333e3b4","datavalue":{"value":"1271.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845892$8C02952E-7FA1-4201-92AE-51AB247E4D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e34069258b6841c35df8129c5b317ed7d0c7403e","datavalue":{"value":{"time":"+2013-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845892$08D4187A-C9AC-4B24-AB27-6FC04CDBB288","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845892$54A5A150-2754-464F-8C55-C64C29DC2082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845892$4DCF9372-7FA2-451A-878E-517D860561AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845892$98F7C49A-0E50-41ED-A42C-41F4241F5766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845892$3F762903-8C13-43D4-BFD4-363F7104ABAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fd401726faa688c5a8d6afc0c2705bf682518b8","datavalue":{"value":"6204080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845892$8B2BA950-0C0A-4795-81C1-3A3F8A6D3E5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40375696c5e7b32da4818f7d155e2c82ff6d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":814998,"id":"Q814998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845892$8FC48AB9-B52E-4CEC-A006-7BD794BF6BFF","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":"Q2845892$829727C1-8273-4E66-88B6-4B80D8F37A52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc050e6b4f22fb444c32bfeb16f0779c79dc407b","datavalue":{"value":{"entity-type":"item","numeric-id":4424640,"id":"Q4424640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a37f5f197658013c23341c27033e6346438006","datavalue":{"value":{"amount":"+0.85570675","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":"Q2845892$DA0C4508-6B7C-4C01-83CD-81E5E904C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d26e55b2d0676f92a5f1135769d3cdb3b111fb","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194af5799058765953b9192142b0efbce05956b8","datavalue":{"value":{"amount":"+0.8524724","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":"Q2845892$93E51D63-43CA-42B1-8812-4CB9CEF2963F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2ab1749cfd1cb1654f9bba92afb846f1670ac","datavalue":{"value":{"entity-type":"item","numeric-id":5053006,"id":"Q5053006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5fe330ad2493f76692be8a2ca684ad26f43c35","datavalue":{"value":{"amount":"+0.8320552","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":"Q2845892$8A7D340F-F972-4A1F-B0DF-D492A0BE218C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04848c6fb3e7876c671c10fc0cc33de57793ebc","datavalue":{"value":{"entity-type":"item","numeric-id":5013905,"id":"Q5013905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b46a693c5331df28aec47e058cb61d14718250","datavalue":{"value":{"amount":"+0.82058585","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":"Q2845892$98333EE5-6292-4162-8EF2-B425C56BD2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd013265e1ebd93dc9c0a780dddba39d4e93d94","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3c816221c44d083ffaaed0b479d9759f9b5c5b","datavalue":{"value":{"amount":"+0.8183057","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":"Q2845892$26FB1426-632A-4A2F-81D9-412E3CA735FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b002a0d546a1d76219d0be2b27590f97d1f9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4263014,"id":"Q4263014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1464ba8ebb59beacdfbba20811f425aa8daccb9","datavalue":{"value":{"amount":"+0.81829226","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":"Q2845892$E7B2243C-AEC9-48DB-8872-B24C91DCE1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ebbd773d673e1f68c91410ad1f652c7a03f383","datavalue":{"value":{"entity-type":"item","numeric-id":1595492,"id":"Q1595492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e45a78a89f25086474e3007a2106669a58d49e","datavalue":{"value":{"amount":"+0.8164563","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":"Q2845892$EC3EE4A1-B8E9-40A2-B2D9-75D8CBBE67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417de2ac49d8f6f8121072a1bf64b7403e269b50","datavalue":{"value":{"entity-type":"item","numeric-id":4286882,"id":"Q4286882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e49df4f7903f246fdb76318e005f5685c05bce3","datavalue":{"value":{"amount":"+0.8151364","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":"Q2845892$332AB363-2B9B-4460-A265-881FE89C2884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af52b955c4a528eb4b13e3bce02cc54fd23aceb0","datavalue":{"value":{"entity-type":"item","numeric-id":3018989,"id":"Q3018989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef87fc944c248c4aca2c99283bc800d9272fc481","datavalue":{"value":{"amount":"+0.8141719","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":"Q2845892$DD717651-DE61-44D6-B7F5-3CA3BACFA2A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc457379e695577814817056b1eef1ad5f8553e8","datavalue":{"value":{"text":"Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845892$A6B5492E-F7B0-4708-9361-F37683849979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845892"}}}}}