{"entities":{"Q5717463":{"pageid":7747017,"ns":120,"title":"Item:Q5717463","lastrevid":48625183,"modified":"2026-01-05T10:33:04Z","type":"item","id":"Q5717463","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244745"}},"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":"Q5717463$CC843B35-2CEB-4B0C-BB5D-95ED76D950F7","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":"Q5717463$ED9430B5-05E1-441B-B1E5-F473B26CFED8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ace30f406c6b3a794b4977cc56ee459e69f440f","datavalue":{"value":"1098.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717463$CD484C8A-B856-4837-B4FC-EDA7893EC989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717463$C6BBCA95-C769-40D2-93B2-6B732454463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4ea1efee24d61ac529f7c23d216b29b9ae9c81","datavalue":{"value":{"entity-type":"item","numeric-id":209489,"id":"Q209489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717463$D0321734-62CF-4DE1-963B-7F9D9C911449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717463$99EF6CA4-6E23-4C29-942F-F436B586300C","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":"Q5717463$940C4A77-94E9-4EE5-BA0D-97A54148F583","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":"Q5717463$D1053654-375D-4C03-9647-B141BB0B34B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717463$9E5D2E2E-8672-4183-801A-D5A011E2348E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25ccc9e03e75d07e3f63219219713258aafded9b","datavalue":{"value":"2244745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717463$F73FEC59-3D66-4402-A974-9A0DF86ECE54","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":"Q5717463$E8585FFF-9250-401A-A61E-38262D87DB57","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":"Q5717463$A7D6176F-32A8-4499-94B2-091E991919DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717463$EC4A6183-6798-4DE8-96AE-BAAD3B167C84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717463$D141B0E2-88F5-4835-85EE-A7AB7C7BC8CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cd93c2fde24f1ac5c0750265e7dd53e5967114","datavalue":{"value":{"entity-type":"item","numeric-id":3587249,"id":"Q3587249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f08f48951032f76025cf6d62e5d8be4fff42fd2","datavalue":{"value":{"amount":"+0.6992358565330505","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":"Q5717463$CBFB369B-DB9D-4A28-AA29-D7891F916599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316e5ab52566808adea05af1fe782a89932fac44","datavalue":{"value":{"entity-type":"item","numeric-id":5116403,"id":"Q5116403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae111b74685d7723489e0dd25d8b9f3e359f052c","datavalue":{"value":{"amount":"+0.6928457617759705","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":"Q5717463$84747EBE-1BCB-434C-98A5-464C947C55F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dca9ecfa06fb239a55347e20469686ebe99d983","datavalue":{"value":{"entity-type":"item","numeric-id":3011932,"id":"Q3011932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6ddd7a58fba8d52c2afd72bfb36e5a6bb8645db","datavalue":{"value":{"amount":"+0.6744948029518127","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":"Q5717463$F886EA98-84D7-4126-B930-62FFD3956AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db96139189f7e35564b05160856dfc51002f42a4","datavalue":{"value":{"entity-type":"item","numeric-id":2269513,"id":"Q2269513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7134d6538d1a935d0587872a1a9b6eba03356520","datavalue":{"value":{"amount":"+0.6621419787406921","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":"Q5717463$424A3CA0-C27A-4690-8139-68AE5373E8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8891f87a1a6c673a6072dc153aea734abd310c45","datavalue":{"value":{"entity-type":"item","numeric-id":2269507,"id":"Q2269507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cab77ba3392a1c8faa06e922a7f686b0470b403","datavalue":{"value":{"amount":"+0.6486396193504333","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":"Q5717463$B84D4558-4057-4E89-B832-09392A7D2D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717463"}}}}}