{"entities":{"Q2288278":{"pageid":2299021,"ns":120,"title":"Item:Q2288278","lastrevid":71769588,"modified":"2026-04-14T00:25:37Z","type":"item","id":"Q2288278","labels":{"en":{"language":"en","value":"Informal and absolute proofs: some remarks from a G\u00f6delian perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7152947"}},"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":"Q2288278$E29926CD-F439-4AE6-85EE-7D553622EF76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da2f6160b2cc81524da4c7f9ebc7747a842880cd","datavalue":{"value":{"text":"Informal and absolute proofs: some remarks from a G\u00f6delian perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2288278$44F3F585-D621-42ED-AB30-9D727F9749E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a19d025270406e056eaede9c01e1c33783b9f7a","datavalue":{"value":"1428.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$E9E931A2-1E73-462C-85E2-56616AC0BAAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8060b9ad25e09140fdbdc67845dd2cb929dc28b8","datavalue":{"value":{"entity-type":"item","numeric-id":2288277,"id":"Q2288277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$BBA9AD44-B31A-4A53-927A-7F7980D78F87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd05317874c93cb20da293114ffa998a3e7b1b1d","datavalue":{"value":{"entity-type":"item","numeric-id":218483,"id":"Q218483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$EF029906-1AE2-47D2-BE1C-2712E9CD2C3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a6a5b5fdeb4bedfada8cbabb8db67346705498a","datavalue":{"value":{"time":"+2020-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2288278$1FCF6E8E-7C6A-4C08-B98E-C41ACF108BBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$42DE4677-96F6-4D2C-8F65-6BB3EFEA2AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$CA96C436-0404-4163-8545-2EE0ED73E73A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c6a3522a9fe45eb156ba68d9cc532df8c7999e","datavalue":{"value":"7152947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$795DE53D-6BF2-4F22-824F-897F63F16A26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b33d0462cd615da5fa4cb128fa27b6442afaa3","datavalue":{"value":"philosophy of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288278$E7F8DE2D-15C4-458D-BB41-35E2A1E8D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba679ecc1a2db7615688d472f2947de31e19642","datavalue":{"value":"informal rigour","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288278$27871F30-0AF7-4453-B6BB-14ECA23722A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642507c0abd1221e0d27a586106b3e2c75d006a3","datavalue":{"value":"axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288278$15F3769A-8CC5-405E-B9C4-C4B04E0D315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346de2472a37aeb2435b6fcf1d320ddc5075b939","datavalue":{"value":"absolute proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288278$B002F03B-2C22-4F76-A53F-4526B7DBCEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q2288278$69FF5A01-58B1-4A42-AA1C-B6C1087B6485","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":"Q2288278$1343BEF2-F567-4A98-8E7D-5C039A71AFE5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c6a5738e68c81adec3e62aeb260be62cc113e43","datavalue":{"value":"Q113900464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$C9D47982-7B89-47A7-9683-397F4CEFCF89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc8c57e46baea4f932f29a136a179e2f06de22ea","datavalue":{"value":"https://doi.org/10.1007/s11245-017-9515-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2288278$721CC7A7-7C2E-4E1D-A564-A4F11A4DA36B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"731b8b24ce2623acbdf9946677836f5a9e5105c1","datavalue":{"value":"W2767368731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$4A67FB84-DA92-4E83-A3E6-C5DD9379B88A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"456346942c6f1df25e2d0aa0dff23b3f8bb2b4be","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$85F383D7-C53A-41C0-8C47-BAA1EA1C80F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c3c448b3c8a6c8d64f16d85983efee5fe50e86","datavalue":{"value":{"entity-type":"item","numeric-id":3586722,"id":"Q3586722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$630A71F9-15E9-46D5-A65B-2220E4B35406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834e71bd361c09883232cae437f604df9543d8ad","datavalue":{"value":{"entity-type":"item","numeric-id":4330501,"id":"Q4330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$9A73C132-3519-4004-A143-8E93D9981BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec80730a477897643afae7489b6aa8df8f44f3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5475363,"id":"Q5475363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$5FC8DEE0-82BD-4525-84C2-6DFA5386C89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431cb03eac05eae2a6d20669b4c2098fc934547c","datavalue":{"value":{"entity-type":"item","numeric-id":2787073,"id":"Q2787073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$B69432B7-2EC5-4FEC-91AF-29813FCA7264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc325ffb57173678b78f6dc9e3e6fc00e903ab2","datavalue":{"value":{"entity-type":"item","numeric-id":3912532,"id":"Q3912532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$103FE914-4DAC-441E-BE9D-F8DC84AF8366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c71410a5411155ffbb0394e12dea32798b8017","datavalue":{"value":{"entity-type":"item","numeric-id":4830809,"id":"Q4830809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$99561AD4-5B06-47D6-B27E-B458F93D885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b3240b291153016f6b5a5fc264fdca1bb85143","datavalue":{"value":{"entity-type":"item","numeric-id":2631643,"id":"Q2631643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$62B3E42A-7299-4EA9-88C8-377A15823549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127a74867daa6e375f29588a1527a1dabfd9ce24","datavalue":{"value":{"entity-type":"item","numeric-id":3256312,"id":"Q3256312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$9E2CFC09-44EC-4B8F-B51B-3584B648CBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736056ecf41fde121bb39af5b399424a55f27153","datavalue":{"value":{"entity-type":"item","numeric-id":3916562,"id":"Q3916562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$8CEE4194-8FF4-44A5-9E3C-18AAE73E69AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$040BDE66-A34D-418D-BBFC-FB42FF8A1C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91147c97b57393ab6f499c28f94e80830d1c520c","datavalue":{"value":{"entity-type":"item","numeric-id":5431481,"id":"Q5431481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$5B3D6CA8-23C8-4001-AE8F-04EE2D62631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba9046efda6436d0ddd3717a23ad63089d8130c","datavalue":{"value":{"entity-type":"item","numeric-id":3775512,"id":"Q3775512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$763EEDC1-C544-47F5-B1D2-A1B9738CE0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492c87567f6dc4126c57966fd5903e66ca640c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5513756,"id":"Q5513756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$C7952031-04D6-4E8A-B0BC-5F3327DC4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f8755c99779d476d1d4876ebbf4443a9da1493","datavalue":{"value":{"entity-type":"item","numeric-id":1103597,"id":"Q1103597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$12AAA166-A011-4A7B-AAA7-5D476D2F5A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$A0E36EC2-2DFC-4D45-A7C4-F52CF21FB41F","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":"Q2288278$AEA72A90-959A-46AC-AC95-2652D8D5A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9607beb7d7ae9086a4e822bdaa2296e7be88f","datavalue":{"value":{"entity-type":"item","numeric-id":4237642,"id":"Q4237642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$50AAD1B5-03ED-4640-8D92-BA45D84FD24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca41488ce0982742b3b131d683df9274546ee7c","datavalue":{"value":{"entity-type":"item","numeric-id":4859908,"id":"Q4859908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$92AC7BF6-E3F7-497E-ABD1-36E66FDCF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$E072B4F9-F500-4340-BF63-2A39071AD84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a6cb0db00599c2e1155dc2bfdb97fb7dce98a4","datavalue":{"value":{"entity-type":"item","numeric-id":3216621,"id":"Q3216621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$1DBA106C-A632-42EB-8379-648ACE8E5E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd429e0c79fee00540d7734bda66342bd9c9091c","datavalue":{"value":{"entity-type":"item","numeric-id":4367940,"id":"Q4367940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2288278$621EBD31-0168-4AF0-B9A3-EC6791FE6E81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e2697b60a8edef12d79faff8819381bba5933c8","datavalue":{"value":"10.1007/S11245-017-9515-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2288278$A8C5EC6B-3F30-4714-B472-3D2ACABE3B08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6bd98da1bbdf3497e1b51e04ae382691b0db12","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ce1e4701b6f1127095b52e6a51a791bc64ede2","datavalue":{"value":{"amount":"+0.7987242341041565","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":"Q2288278$E52FA8A7-D297-43B5-95C5-2005ECF13088","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":"11436c230ca6c3ca68c969111adffa2a617eae6e","datavalue":{"value":{"amount":"+0.7814344167709351","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":"Q2288278$0E1FAE4C-D074-48BC-AF2A-4B0FC14442DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8be44c42d431f0515acd0b5443bdc4a36129426","datavalue":{"value":{"entity-type":"item","numeric-id":3367499,"id":"Q3367499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8605f61ed7c691abebf61f5843362481dfae0e5","datavalue":{"value":{"amount":"+0.7698682546615601","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":"Q2288278$1EF38B8D-0A0A-4AB3-8471-62D897003808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a865c2b3b41217ca39e3041f3ec9be348f6ffbb","datavalue":{"value":{"amount":"+0.7597339153289795","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":"Q2288278$5A2B8C6E-6826-42B4-8576-C16F515271FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a435ad4e23a2eda826ab1f6cba330f5c9d20877","datavalue":{"value":{"entity-type":"item","numeric-id":5213764,"id":"Q5213764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ba3b33d059fa563f15df2eb4bf6ac7d5bedfe1","datavalue":{"value":{"amount":"+0.7514910697937012","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":"Q2288278$5D2E3D19-386D-4B52-B922-BE9D1A88281A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Informal and absolute proofs: some remarks from a G\u00f6delian perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Informal_and_absolute_proofs:_some_remarks_from_a_G%C3%B6delian_perspective"}}}}}