{"entities":{"Q5717465":{"pageid":7747019,"ns":120,"title":"Item:Q5717465","lastrevid":41202963,"modified":"2025-04-19T01:12:28Z","type":"item","id":"Q5717465","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244747"}},"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":"Q5717465$F60DA801-0E41-4AF8-9160-0B59EA1EED8E","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":"Q5717465$0FE956FD-25AA-4BE9-A60F-1BF8D33CFA29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a353dd66472bd72703f59b04b74bd6e295890b57","datavalue":{"value":"1098.68635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717465$669E1D69-42AB-4917-BD15-F6FB33DB8B68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717465$9CCF758C-C6F1-4785-BDBB-E15BED8F4D8B","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":"Q5717465$328CAA44-2F42-4354-8E01-482BFF5EA633","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":"Q5717465$6615B4A3-2083-40F0-B2FE-726E528CE053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717465$AA56D6D6-7290-4078-B500-833388F0FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7e3623752238dd38b6b48185d2cfacb9cb264bad","datavalue":{"value":"01A67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717465$01AA74DA-8F39-40EB-91A2-7D346B4DD79E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d342c195c362131121918ede8ff77a0a882bbb71","datavalue":{"value":"2244747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717465$159C8850-84A4-4FB9-B1A2-75E277924790","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":"Q5717465$16E087F6-FA23-4660-A833-CEAAA692961E","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":"Q5717465$DB618FF7-34FA-431B-BDA4-F862AAA0329D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717465$ED737D00-F028-4DDB-B432-A51DC8536C2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717465$742179EE-EE87-4BD4-8C05-298C59621E64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6231ac39395c34ff2f33b49c8c90e9eb1ed257b4","datavalue":{"value":{"entity-type":"item","numeric-id":3723720,"id":"Q3723720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1782bbb9f2100677f649659a1bb9857b3d3e8da5","datavalue":{"value":{"amount":"+0.7762064","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":"Q5717465$859F3773-9E0D-429A-8F01-E4F858BE2BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e70b1552abd1c8d145936ceb0881d39105c8adb","datavalue":{"value":{"entity-type":"item","numeric-id":4823558,"id":"Q4823558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33dc2e5ce18aade0dcd28bd34ff691fca1c0ecf","datavalue":{"value":{"amount":"+0.77506864","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":"Q5717465$B0958E53-456E-450A-AE13-EABCBB7CE88F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717465"}}}}}