{"entities":{"Q6142455":{"pageid":13276762,"ns":120,"title":"Item:Q6142455","lastrevid":55563835,"modified":"2026-02-17T18:54:38Z","type":"item","id":"Q6142455","labels":{"en":{"language":"en","value":"Practical reasoning and the witnessably rigorous proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7795236"}},"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":"Q6142455$72EB024B-469F-42BB-BEDF-3756EAD4841C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e680c0ff3c44ee0823f4196dce376de59b37a670","datavalue":{"value":{"text":"Practical reasoning and the witnessably rigorous proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6142455$98A84E72-20B5-4040-9B58-808557164E57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed04ad7b6adcc4909bbdc1b7a1b87be9747fd787","datavalue":{"value":"1529.00026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142455$08723617-D00C-408F-BE10-B744C4500121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd95b04ece669a57bd7045efa472b57a0d159cf","datavalue":{"value":{"entity-type":"item","numeric-id":6081154,"id":"Q6081154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$A03771CB-FDBD-4E6A-85E5-8732512B4B3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$45170284-D28A-4A7C-851E-EE17C9B700E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fd72c663276ca0d44f191c683f7f13b16bace6d","datavalue":{"value":{"time":"+2024-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6142455$44E42EF9-126D-4189-9FC6-872EF89A5E39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142455$70829D6E-47E9-43FB-BF19-B1ACCB0295B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142455$69253A11-E5A4-4EE4-B631-CB7503A3F4AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc743a565ae8224797d39d7e06182949d1b2992c","datavalue":{"value":"7795236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142455$3E13E868-984E-4D56-9E63-0129747F71AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142455$1187128C-7E90-4E93-9126-FDE6920B6A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0191c5a9bb865fbf76e1a3fbe3ed1482be9748b","datavalue":{"value":"deductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142455$B217541E-38E4-4296-BE1B-E04C764B6FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c63f437e16fc845006244c371ddfe1d53b34bd","datavalue":{"value":"practical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142455$0D3D950A-620F-460D-80AB-62DF257AF3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142455$262331D8-600D-44E6-B050-90DF15524CB1","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":"Q6142455$12CD5A0B-EA7D-41C6-B006-76433CFF1F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d09a8359924d85ca8c89072bb93e2fe02d93e1e7","datavalue":{"value":"https://doi.org/10.1007/s11229-020-02883-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q6142455$0CAE78F4-A1AB-420C-80EE-92D2C67A030E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a389bf0a2fb672a7927ac7749e4682ba6afb53c","datavalue":{"value":"W3088741555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142455$55832762-D4F5-4010-AE00-3DA7F7818F47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5205b7fd4e3b8c128d9f6a07540b02f81f09824f","datavalue":{"value":{"entity-type":"item","numeric-id":5520626,"id":"Q5520626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$C2F0F5E6-9C2C-4F5F-895D-2EED55F52C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e3d0bfdbdbd688f99149788c44e13c4316058c","datavalue":{"value":{"entity-type":"item","numeric-id":4626069,"id":"Q4626069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$BFB9A874-2E75-47D1-88DA-E4B6753AC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2e86a75086f5316a83fce4ab2f9f86a564cad3","datavalue":{"value":{"entity-type":"item","numeric-id":4893763,"id":"Q4893763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$9B3C0471-0D1C-43FB-9288-A3B220FB6238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34070298881ffe0d4f53738836dad999109b0f75","datavalue":{"value":{"entity-type":"item","numeric-id":3234138,"id":"Q3234138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$09BF332B-564E-4E57-A8C7-94A8FC95CEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18b764e28d2945ccd60cf6ff45316676ba583ff","datavalue":{"value":{"entity-type":"item","numeric-id":5635941,"id":"Q5635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$D8B06939-9742-4943-B3F5-233F7AC87B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd77ea59affaf4e578821ee346fb1429728e0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5902321,"id":"Q5902321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$FA724C0D-CCA5-4C31-A72F-022B5A2BE3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffac142d646af260cfe0abb906cf0e80e503521","datavalue":{"value":{"entity-type":"item","numeric-id":4401917,"id":"Q4401917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$0BF9ACCD-FE66-4F39-9748-38F3AFDCD948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66b3e7ca11bb171cb277a85ac3746169eea972","datavalue":{"value":{"entity-type":"item","numeric-id":4919401,"id":"Q4919401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$50A359A9-E43D-4468-B720-A666C0E58F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1468bad8af18094d4e466e25b726561491e835f","datavalue":{"value":{"entity-type":"item","numeric-id":6081155,"id":"Q6081155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$63A9A589-FA90-4E41-A1E3-086A3F403782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34d9b1e4e7ac9abe6effd9d10da2be3e29dc93b","datavalue":{"value":{"entity-type":"item","numeric-id":3600462,"id":"Q3600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$036A059D-143F-40B4-9644-F236431F37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d753b3586e27fec011357b37e30e997cfa5d4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4674788,"id":"Q4674788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142455$3A319FF3-B50D-4F64-AFE4-07075476B52E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c57aa6ef8132064690dd3f3750f0158370f7d566","datavalue":{"value":"10.1007/S11229-020-02883-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142455$D55C48F1-FDE7-4D16-A2C9-6922238C95B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209fa210943d0fef470cb6ecf9b68e1e7313ee33","datavalue":{"value":{"entity-type":"item","numeric-id":5234246,"id":"Q5234246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52880f61484dd40f7435f82beb8bbb7baf9bffe1","datavalue":{"value":{"amount":"+0.7196947336196899","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":"Q6142455$9D3BB86F-3CAE-4B8F-92B2-5D341101B5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da01ec64bdb83a5c3316bfdf46a25b319253139","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8ab553e00983eea57b945a6f01f958f5641d47","datavalue":{"value":{"amount":"+0.7111460566520691","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":"Q6142455$29F7A80B-37AB-4CA4-BDF3-3844F62E4533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ace82197d84fc995053769e9c46ea56278e0ee6","datavalue":{"value":{"entity-type":"item","numeric-id":2271083,"id":"Q2271083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b786f6210ca3753caf4fe6030514194fced577b","datavalue":{"value":{"amount":"+0.7095522284507751","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":"Q6142455$9762A949-3F44-4B45-BD79-4379180795B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90c63a5ad9d2cf27f1bd48f660e97c958c78525","datavalue":{"value":{"entity-type":"item","numeric-id":5204811,"id":"Q5204811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b258002180bcdad92798e8dc329a105bcaf939e","datavalue":{"value":{"amount":"+0.7060995101928711","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":"Q6142455$CE743745-3B8C-4733-8120-1F85F32A11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30512a8856e710dbcc475f942ad9c4700dccb109","datavalue":{"value":{"entity-type":"item","numeric-id":2271081,"id":"Q2271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbd64ca9300e74f581b44fcc6399e1d74d234f6","datavalue":{"value":{"amount":"+0.7056898474693298","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":"Q6142455$E428F36E-3893-4EB0-BDB1-FF36858873AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6142455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6142455"}}}}}