{"entities":{"Q5717441":{"pageid":7746995,"ns":120,"title":"Item:Q5717441","lastrevid":101651495,"modified":"2026-06-06T01:55:57Z","type":"item","id":"Q5717441","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244723"}},"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":"Q5717441$1B14A621-BFD2-4812-8CE7-ACE2F936E9C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72fe85e01709f12944d8ecd77a8d9733a0d516d8","datavalue":{"value":{"text":"Mechanizing Mathematical Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5717441$09BBFA50-9B9D-4774-912D-EF3CF227CF73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59a940f9d36d848be62d52c3592b6e0c444dafaf","datavalue":{"value":"1098.68700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$DD3EF875-78AC-4B57-AB20-F052899E525D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717441$59FE042A-107A-4E18-9A4C-ED3B5B9B0F19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717441$6831C95B-9E9C-4FFE-8AC2-A882F1641098","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5717441$C831BF54-A538-4DF1-A3CC-2EAFC27D1EE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$5EAD1A24-00DA-4D41-9A2A-0A5BB988359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$CBE6AA02-81D2-45E5-8339-D374D8E14B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$E9C3A0DF-13E6-4EAD-9E1E-6D742B2DBCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$293707F6-FB6B-4678-A175-2C016FF9757A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec63bbe5a13d867bd4f5b691fd55a5bf41c08c3b","datavalue":{"value":"2244723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$A62E0395-06A8-4E25-B8BB-5BC3C0A0C119","rank":"normal"}],"P1463":[{"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":"Q5717441$4C3872D1-2F4A-4541-BA70-E203C0048EB6","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":"Q5717441$47518FD8-DB13-42BA-87EA-84E7273768C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"703773b8d2bd6b8fbc89ad622e8566bce28b2e06","datavalue":{"value":"https://doi.org/10.1007/b106663","type":"string"},"datatype":"url"},"type":"statement","id":"Q5717441$42ED9F64-1468-4A1E-90CE-214A103AE163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$A100A205-B2AF-4BFF-8CEB-213F161D2197","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717441$03F7AC8E-EB2D-408B-B131-C0A16A0C0A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4f32f1df048db7195f1e7c04fb6d701be0b689","datavalue":{"value":{"entity-type":"item","numeric-id":4792019,"id":"Q4792019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2af75241b7ab7abcdce3ba5b3a8861d8ecd8be7","datavalue":{"value":{"amount":"+0.8539507985115051","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":"Q5717441$6EC9E0C0-BCBE-4CDF-9073-1F2A61BC42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230a18b52f7b699672fbe6879724b84dfa9849f4","datavalue":{"value":{"entity-type":"item","numeric-id":4443194,"id":"Q4443194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480c2094b317d40396c04596a87b83b60b9190a6","datavalue":{"value":{"amount":"+0.844499945640564","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":"Q5717441$5D848297-5C5D-452D-8D5E-E6DBEC7B918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6df3dc69f94cca2d41ddbec8ebe7923c2d43e0","datavalue":{"value":{"entity-type":"item","numeric-id":1869614,"id":"Q1869614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5049de358c587c565842635c7100a06436813c72","datavalue":{"value":{"amount":"+0.8003693222999573","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":"Q5717441$EA67B001-4A46-41A7-B6E7-3D2F9BB699E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa0abf5822fc76dad79c300a665560405a1b812","datavalue":{"value":{"entity-type":"item","numeric-id":6488553,"id":"Q6488553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18e241c0f20baa6eb81181339670a892471ef24","datavalue":{"value":{"amount":"+0.7961880564689636","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":"Q5717441$BE9E873F-57FF-4442-84B1-24C758F84901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ee196048636048be4a709ecfab57184cbee98","datavalue":{"value":{"entity-type":"item","numeric-id":1354049,"id":"Q1354049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96578b148b8412d6b11d01ac95bc3db13bf777ee","datavalue":{"value":{"amount":"+0.7833912968635559","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":"Q5717441$F31360FF-2ACE-435C-90DC-6B5BF1E2A013","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing Mathematical Reasoning (scientific article; zbMATH DE number 2244723)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_Mathematical_Reasoning_(scientific_article;_zbMATH_DE_number_2244723)"}}}}}