{"entities":{"Q4315327":{"pageid":6344928,"ns":120,"title":"Item:Q4315327","lastrevid":40799570,"modified":"2025-04-04T18:18:04Z","type":"item","id":"Q4315327","labels":{"en":{"language":"en","value":"A Note on Boolos' Proof of the Incompleteness Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 700434"}},"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":"Q4315327$DE8DF977-DE9B-48C9-B428-74E23C6E658B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c816c12fe9c83a69b235c53ff7ebffc44a5a2e34","datavalue":{"value":{"text":"A Note on Boolos' Proof of the Incompleteness Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4315327$33A4F96F-913C-4346-9D38-675643EC3B19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0185b38dd9a3f130206554b42741801e4f573e2","datavalue":{"value":"0805.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315327$F6BC12C3-2102-4CEC-AE50-DEDC1C926E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28373dd70f177f8ebae250ded5af561ec2e0846","datavalue":{"value":{"entity-type":"item","numeric-id":312494,"id":"Q312494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4315327$DEAF4C99-4AC3-4B0A-A797-331D3DD150F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4315327$064F46FE-CB8E-4FBA-AC6E-073D73641302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f45624994ac2bf1f53d8535bc357de536b6c637","datavalue":{"value":{"time":"+1994-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4315327$A413E635-2CD6-476A-A3C2-3392F58EF26E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315327$4AD6080B-02DE-42B3-8EE3-A74686BA9716","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12369e8b69ea4b021acdec277c15bb971d3a6d8f","datavalue":{"value":"700434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315327$C9E38BD0-D4BE-4F28-8457-3E628369D00C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1db57ef21429e2b2e3906cfd210470368a9a35","datavalue":{"value":"G\u00f6del's first incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315327$E87B951B-9C6C-43B6-A1F1-1DF04C750139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0624363241721bc70ec406a4679458c71cdc5418","datavalue":{"value":"Berry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315327$1531A0E9-344E-4CCC-9045-7795E6250A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805010d0a0fae93274aba81f5c8a579754423c60","datavalue":{"value":"second incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315327$601D6513-3B25-45C4-9D22-A077849E6119","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":"Q4315327$7AD5BB77-D3F8-4450-A474-F4CA191BAF3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"683e04a06050dcc532f8b9a71603ea159c48d4cc","datavalue":{"value":"https://doi.org/10.1002/malq.19940400409","type":"string"},"datatype":"url"},"type":"statement","id":"Q4315327$A9654985-1A83-4E0A-AF75-F79360DE7B28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e7feceb0da26fce6a2895e584c572b74f3df781","datavalue":{"value":"W2048704688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315327$FDD6DEF9-765F-4885-84F7-0B2B087CFE20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b101cd9e0c40ae72dc96b1d6d07fb1f5983bc680","datavalue":{"value":"10.1002/MALQ.19940400409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315327$6791E23B-56FF-4D9D-A1A6-B4C015680F64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0464dc5e0535b16763558b53e4235e09c16b8e20","datavalue":{"value":{"entity-type":"item","numeric-id":4804183,"id":"Q4804183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d470155556b48e2ca4951afb793234f61892b27","datavalue":{"value":{"amount":"+0.9181313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$82BA98A8-AFDA-4E67-9C8F-52A3E277C25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8c290b2be76da903fab6417eff1b72441b7d0c","datavalue":{"value":{"entity-type":"item","numeric-id":3843608,"id":"Q3843608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a69970762558b5e555efb56bca361d7d6dab97","datavalue":{"value":{"amount":"+0.91531277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$1A2C3934-337E-4033-822C-BABE4D5F77F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1d1d52a000c65883a824d240fa76b6f86630a4","datavalue":{"value":{"entity-type":"item","numeric-id":4323053,"id":"Q4323053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f4c83eb9503bc92635e7bebbcda26c27e08435","datavalue":{"value":{"amount":"+0.90140176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$E5DEE1CD-C878-4155-A4B4-5FD490C0D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22207fc425a8601a64aab2fb8da8e3666c554a72","datavalue":{"value":{"entity-type":"item","numeric-id":5477995,"id":"Q5477995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22779a220dbc7fe6d38cbbf0fd824a1a2aed05c","datavalue":{"value":{"amount":"+0.8796792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$E1C9CD1D-CDBB-48C6-B50C-C912FCD99F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7002ecfcc48d9e51a93c9c80bb174a8118ccc7e","datavalue":{"value":{"entity-type":"item","numeric-id":5800816,"id":"Q5800816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff086f50b974ecd08d7fa8b616394a1b1ff7b6cb","datavalue":{"value":{"amount":"+0.87904614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$52BADD19-E6CC-4179-BB71-118A3929BA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d91c0738c2e5f521c32016a8b80bf1af1ca74a2","datavalue":{"value":{"entity-type":"item","numeric-id":581402,"id":"Q581402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997cb0025c6ac16fca1a32a7f9b97b3e4d0c8b59","datavalue":{"value":{"amount":"+0.87633276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$AAB57F4A-0A83-419B-AFE6-F153D3A1BA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7959dee1e0c663c7c9d699bc1eda8403d5db5e0","datavalue":{"value":{"entity-type":"item","numeric-id":5172389,"id":"Q5172389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f7db3453da5ba9dc772204d4555083c21ae451","datavalue":{"value":{"amount":"+0.875515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$0B2460C8-A10E-4527-ABC3-A8DA6BEE1480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98580a0939cd8459298cbb82d3e1ded3addc021","datavalue":{"value":{"entity-type":"item","numeric-id":4693596,"id":"Q4693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41abe548769639707684298f12c93d9306529ece","datavalue":{"value":{"amount":"+0.87551486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$70B8DA55-AC09-4E24-A5B3-C1D1B635739F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d2572a1ec45ab252f3672b5eb1ad00df9bcdbaf","datavalue":{"value":{"entity-type":"item","numeric-id":3757907,"id":"Q3757907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce410ce8cbb5f6301d1e901693f1cb16a6ddb27","datavalue":{"value":{"amount":"+0.87320006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$BC22AA20-A77F-4C12-903E-D6AFB7518BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83594710425b00ec1e2de6958e4c56b1db909f8","datavalue":{"value":{"entity-type":"item","numeric-id":3695280,"id":"Q3695280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a1e9b9fa6923b617a9fdc1775d7a0e544b05b8","datavalue":{"value":{"amount":"+0.87210435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315327$F924CDE8-6D45-49A7-8783-F65614051B20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4315327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4315327"}}}}}