{"entities":{"Q2814420":{"pageid":2825158,"ns":120,"title":"Item:Q2814420","lastrevid":55369654,"modified":"2026-02-17T14:42:49Z","type":"item","id":"Q2814420","labels":{"en":{"language":"en","value":"Interpreting weak K\u00f6nig's lemma using the arithmetized completeness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596162"}},"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":"Q2814420$554B9AF4-6F51-4D45-A004-D4837852AC27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e343647324d24e95cab6cdd0a07fe0feaf1a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":334990,"id":"Q334990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$BE79F178-2B69-4207-AE58-4750DD3A2DB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$9B204411-8A5B-425B-B747-5E668C8CD4FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814420$30813E29-4411-451F-B7C4-253D42EAFEE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adf1c41f9601bbe7f57de3f957754d0ba59c135d","datavalue":{"value":"https://semanticscholar.org/paper/961c28420de8e6738f271d1bbb9c51ed0c3b7d4b","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814420$FB5FD7A0-0CEE-4A02-A821-BC1294B7BEF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$532A8E84-BC8A-4EA5-A2D9-1B9DF42B0A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$9473ABDB-1DD1-4036-ADCF-1369E1720370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$E83E6566-AFC1-42A8-A78B-361C9C80977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$5B2C85BE-4D9C-4F79-BDB4-375F8D8751B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fb29ab8a7e8642b4f23a1a12b1a1e4c5d696a57","datavalue":{"value":"6596162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$359C8D60-3187-4E05-9CC0-22BF9489F345","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":"Q2814420$AE49BFF1-AF1C-4FC8-B216-D13C0D3270CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"805888ae2cb3af9800d4eabf84f6ea1d5d590e25","datavalue":{"value":"W2338484241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$4B53ABC0-1160-4082-B121-295E5771E9D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6381476a79bab05bc459b76b12ae4584bf06a576","datavalue":{"value":"Q124951439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$11AE7391-F116-4DE6-9826-D969AC8F4623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$DE675C82-BAA3-4B9B-BBED-8FFED2BE487A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d276bf930ce7be64a132b97986d74f6c4683019d","datavalue":{"value":{"entity-type":"item","numeric-id":3140636,"id":"Q3140636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$DA5930B8-A165-4DF4-8C18-76230755C637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$31F8CEB7-A9B6-4641-8440-592CB08E86CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cd38eb5f0ff5404821b7157e1b78d9159d664f","datavalue":{"value":{"entity-type":"item","numeric-id":476119,"id":"Q476119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$56FD6618-B6EB-4A72-93D2-CB3AB5416EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054f3f8b0785864466d242030e47b1076d46b298","datavalue":{"value":{"entity-type":"item","numeric-id":3931391,"id":"Q3931391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$140B1E0C-CF19-4B2A-A0E2-ECDD618253F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$DFCCC007-3165-4B6E-BBC3-AC6C849E17AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$BB4F440E-2289-4C1F-AD61-C25B68CEF7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814420$D50CA454-944B-44DF-9E2D-481ABEB89DB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ba8a8ef66897d23ff4b794b5cf874b497df1032","datavalue":{"value":"10.1090/PROC/13125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814420$9FFA41F6-A53C-42CA-8889-ACDF4554AFAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6542ab5ae4c1d39f6ae9dd2c41b74ad9f280678","datavalue":{"value":{"text":"Interpreting weak K\u00f6nig's lemma using the arithmetized completeness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814420$12191813-A539-4672-B0A6-288B109E8649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ac90d4a760ad3fa17f4954ea5b53436616c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b89b878a7a571e0016c3e0d4e0d1ceecdfc885","datavalue":{"value":{"amount":"+0.8381484746932983","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":"Q2814420$34BA8105-4B34-4305-8C6D-A484CC22AF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbabb7a7a9a1271342ff4a7b9ae5f4ee66bb3337","datavalue":{"value":{"entity-type":"item","numeric-id":1849864,"id":"Q1849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66430022a3399b78122a5696a978ee2d4cdd1a5d","datavalue":{"value":{"amount":"+0.7944595813751221","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":"Q2814420$243FAA47-DB3C-4E01-AC58-245A36966A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be241b03bc484f9d877814ee74d1945dcc501880","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8359d915a40d5965f3fd77f290c158851c5c547d","datavalue":{"value":{"amount":"+0.7799648642539978","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":"Q2814420$1C136456-87BD-4B56-B518-6B94945A448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c0028d6c6c78955f724584e37e8c49aa588715","datavalue":{"value":{"entity-type":"item","numeric-id":1407524,"id":"Q1407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034333214ee539c446ad27af681d240ef386a936","datavalue":{"value":{"amount":"+0.758501410484314","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":"Q2814420$236C6022-F4A2-46A2-A7A0-9E5272E0A717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44dec383c037408a505ccddde7a1baf46cd13de","datavalue":{"value":{"entity-type":"item","numeric-id":2400502,"id":"Q2400502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf6191d5d62ac693b612e3fa37afcd6141b683b","datavalue":{"value":{"amount":"+0.7575262784957886","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":"Q2814420$AC9B695B-3D86-41CB-8FC1-4BD4ABF4BE8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814420"}}}}}