{"entities":{"Q5717439":{"pageid":7746993,"ns":120,"title":"Item:Q5717439","lastrevid":48625114,"modified":"2026-01-05T10:32:59Z","type":"item","id":"Q5717439","labels":{"en":{"language":"en","value":"Mechanizing Mathematical Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244721"}},"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":"Q5717439$E5FAEC64-CCAF-4B17-A6A7-876F3777B9B3","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":"Q5717439$70E1C0A5-B48D-4E26-878C-1EF9AE88B01C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de023ac105064a55efc8418b31e2dba97078ceaf","datavalue":{"value":"1098.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$16CEE66A-8850-4526-AC74-601C1D5708A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717439$886BA2AB-9CF0-49A7-BA62-ABD5A4188B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42d3b63a80627a7a13fa2a17d8f3badf1186620","datavalue":{"value":{"entity-type":"item","numeric-id":190277,"id":"Q190277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717439$E0F2F2DA-A11B-42AC-ABEC-4775D4DD81F7","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":"Q5717439$7233BE9E-AF1C-4EBA-9B55-A911C380233E","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":"Q5717439$69536DE9-C2BC-4084-B9CC-02A5409BC465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$6398B577-D7D3-42D1-91E3-13AB00781F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$A52C742A-81F1-465D-90D6-55820C95E6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$46E8D27B-A9F0-444D-88BA-F76B4CA11E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$B7A7C2F7-E04A-4853-BBAB-446B5FDA75AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$C97D7BC2-2C2C-4A97-BFCF-F153BED0D5AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4959317b2a6afef48055d7c35553ae7e7ee435a2","datavalue":{"value":"2244721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$A5546A3A-0546-4F0A-991F-25FB5C95185C","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":"Q5717439$CA86148B-E630-46D2-B2CD-000B4F9ADC45","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":"Q5717439$BC48ED29-7F2B-4350-B968-04399EC7E2BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15846dcb4b029236c46835509fa6b1f264866a57","datavalue":{"value":"W2484955858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$519635F2-DFA8-462A-B45D-35719010390C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"222aa4c71b9d7ceffdd56e5dd6ca1fc858b04bb7","datavalue":{"value":"10.1007/B106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717439$5AF0FE68-19AF-4C2A-ACB8-99B95DD6D1BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c2eb7db2c35f65e4ea2fabb5bf93e64d9f1829","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8284114a24e0923eff396f53ea067de1ac8c713","datavalue":{"value":{"amount":"+0.892181932926178","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":"Q5717439$B506B440-A9A1-4F8A-82E5-CD3343627F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb1040f20c43ba4b6c8f99391534f60de883ca","datavalue":{"value":{"entity-type":"item","numeric-id":3455774,"id":"Q3455774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3523b4642cae86a992410fddb34efc459ee7cb5","datavalue":{"value":{"amount":"+0.8109795451164246","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":"Q5717439$B2EBF6E0-84E6-4895-BE0B-959359A3A404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d467b9b986fca14e658bf98398f526dae531c6","datavalue":{"value":{"amount":"+0.8105036616325378","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":"Q5717439$2FBBF00A-FE89-4742-87E3-84E6FF3E1F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec1df0e6ed979a92d732f7017bec1ae0f9e1af4","datavalue":{"value":{"amount":"+0.8101907968521118","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":"Q5717439$9EFD6301-0B37-461B-B54D-F9E67BC8114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83ae97c196331bba85814ef2c5424000135548b","datavalue":{"value":{"amount":"+0.7888128161430359","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":"Q5717439$9021DCE4-5E29-44BF-841D-9D4767384202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717439"}}}}}