{"entities":{"Q5947358":{"pageid":8124160,"ns":120,"title":"Item:Q5947358","lastrevid":102094409,"modified":"2026-06-06T03:28:19Z","type":"item","id":"Q5947358","labels":{"en":{"language":"en","value":"The Watson theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660981"}},"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":"Q5947358$D16E8CC7-E1D8-4890-BC4F-4C81CA926BE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1394327680fd5c7ff3299900b1c508cf7cfd5d7","datavalue":{"value":{"text":"The Watson theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5947358$8157339A-2947-42DF-ABAA-8B490E950A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"326dbcace4c62864adcc11b07d7550f3405a33fc","datavalue":{"value":"1003.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947358$B44BD55B-6832-482C-90A2-F9EB1A9BBFF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82bf479de2e7cab58ca6e88e87a60715a420aff2","datavalue":{"value":"10.1023/A:1010652212067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947358$97FF37D2-325A-4ED0-B226-C1208649D446","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$73A448E2-3F7C-4B47-B67B-DBBC223549E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79e6cbe587ec078041a77cd524ab08e81dd6a205","datavalue":{"value":{"time":"+2002-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5947358$401887DC-DE9D-440A-89A2-F1586FAEF14D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947358$BE8D9F3D-BEC8-466B-98F0-CEC6A91F336D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6069c7a5ce238056abe3cd937ecd690dca4470c0","datavalue":{"value":"1660981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947358$04A70D0A-B11C-4789-8CDB-9FAC79DD7697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5947358$7EBEEAD7-FB26-422F-B6B7-506E73B09CB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$2232E68B-731E-4D95-9AD2-31B875D272CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$EDA9980E-F340-45BD-8281-75FC8E60C403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$4ACDB79E-C1E8-49EA-8C68-6DF768E93510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$B6823E1B-CE0C-4BB2-BF63-68165DF9AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$020D4337-D35B-4B44-B01B-A54ADDCD8B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$D37316CF-B5B3-4EC7-B4AB-50212919BA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$69FAD84F-FC81-41AA-BA40-F56D1BF39CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$1E571C6C-7C15-4033-9750-B8B72B07AC7E","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":"Q5947358$1899682B-66CC-4F12-98B8-0C3581F8B28A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd38ab89f8848d27886aed033a0761d29b0ef783","datavalue":{"value":"https://doi.org/10.1023/a:1010652212067","type":"string"},"datatype":"url"},"type":"statement","id":"Q5947358$7232B168-8A79-4C66-8A0A-29C277548EBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1ef245c108185012bcb305fbd19c8f515c89f6f","datavalue":{"value":"W1561644379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5947358$FB98CDE8-367D-491B-B291-566F83051F03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0f538a8ad2825c2ed43e08ccf5c0963f2e0d78","datavalue":{"value":{"entity-type":"item","numeric-id":1183640,"id":"Q1183640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$A64705AB-2FF5-497C-873F-594DC65F0F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf9a1cef96d5c8ad71fe0d1189485c2561c2044","datavalue":{"value":{"entity-type":"item","numeric-id":856711,"id":"Q856711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5947358$9E73CC21-8043-468B-83EB-067C70287366","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799a38e83bea9921db7a769536fd5def8b656e78","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08a48435a1d65945b800960c2361e8997cf98c6","datavalue":{"value":{"amount":"+0.7458637952804565","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":"Q5947358$4B4E26E6-A257-4233-A5C0-1E4C2B9487A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0e3720584ce07fcbc884b5b66bdbe10301b3ad","datavalue":{"value":{"amount":"+0.7452053427696228","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":"Q5947358$5D90AF5D-FEF6-4592-9DEA-00B3C99C8924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8522d2416898af206aef854d5fb2e109849c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f23ef96e1755ba19fdab9cec2d193dcd097e7b8","datavalue":{"value":{"amount":"+0.7426530718803406","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":"Q5947358$3F109532-F156-4331-B4B8-2D6FE93E4B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae176a4f781fe1ef52948212c35c9d78c26d1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4247078,"id":"Q4247078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a3b7555f2ea34f2a15ac3a072e5eeb627204b2","datavalue":{"value":{"amount":"+0.7397642731666565","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":"Q5947358$9A619D9C-6752-4C6C-A4D9-972EB10ECC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca538f9a91f5be72cb599d2b7a970193505baa","datavalue":{"value":{"entity-type":"item","numeric-id":4447245,"id":"Q4447245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707455a7c0e59f0591364269d031988eba247a41","datavalue":{"value":{"amount":"+0.7389978170394897","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":"Q5947358$D0CC2F8A-D4CD-4CBA-9A25-3028888B5E9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Watson theorem prover","badges":[]}}}}}