{"entities":{"Q4292612":{"pageid":6322213,"ns":120,"title":"Item:Q4292612","lastrevid":46337520,"modified":"2025-12-24T14:35:59Z","type":"item","id":"Q4292612","labels":{"en":{"language":"en","value":"Hilbert's program and the omega-rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 569571"}},"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":"Q4292612$67114A54-740E-4B31-87F3-FA7B8CD6707B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a69b8844e451667fc23f2386510fce557465c29d","datavalue":{"value":{"text":"Hilbert's program and the omega-rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4292612$B4B33DB3-C794-4DA4-9108-64E04B072103","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6114b72641115846e5185ee946675092522f5153","datavalue":{"value":"0820.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$4501E6A4-B5F7-435C-84FF-14724E6EF456","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a0d6bfb37b5c3d304af372072ac93125fb3436c","datavalue":{"value":"10.2307/2275269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$650AE5E7-2D8F-4E29-A68D-E5F8B4E42891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b29b5084545988c090cc6b6fc2f4391a16d2f74a","datavalue":{"value":{"entity-type":"item","numeric-id":738822,"id":"Q738822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$B9466DAD-2D86-4AAA-B61B-804895402B13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$A5C3EB77-D5D8-4055-B557-DE451F628B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a1529ffb26db2b22f3624b5eae79e54a7bbf813","datavalue":{"value":{"time":"+1995-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4292612$F425EDC4-F439-4C27-A7F7-23A80932EB3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$36FB0D04-8129-4C2B-B189-37A98F04C417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$CEE12F98-6BE4-459E-8234-18C1B3C5E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$FFB1B51D-1AEC-43FF-90EA-F1F532C361A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c68d2199120a633a24555b8d5e34f297a895b67","datavalue":{"value":"569571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$1F1BDE43-DBED-4EE7-A82F-1F773CB09F3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1640ba80f2f2eac236066b7cdb5d0d17e9232854","datavalue":{"value":"logical foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$9054E3F2-633D-424B-A705-B4C7A7DEE87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16640bb7c9890235ea522d8c1608c71fbb80a6c5","datavalue":{"value":"consistency of formal rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$969CE43C-0610-43D7-932C-999BE38A7A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940237640034d627e4ff5ed518b7330ebf6a942a","datavalue":{"value":"exact philosophy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$29AC0A30-FC96-4E08-9288-C2836F2EC6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ba29d31c71345e3c6d5d34f220a3255438dd0b","datavalue":{"value":"mathematical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$833F3EBD-B515-487F-B06A-F2EA900F43DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9d83bb1ac2bc585266aa4ba42203da898f1318","datavalue":{"value":"finitist proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$F9E51087-DBBC-435D-AB14-94E1DAA7D416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$F942355E-2C48-439A-9B56-FE9F3860C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292612$DBF2CA03-459D-41C5-921D-7D671089DA5E","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":"Q4292612$302F717A-0FFE-4115-BB0F-B95BAA093FA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f13dd5d0d7d62168e507d1fc62959be9daf74e5","datavalue":{"value":"https://doi.org/10.2307/2275269","type":"string"},"datatype":"url"},"type":"statement","id":"Q4292612$C911FC62-2512-4CE8-92DF-D9663022153B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f14d66d3180d6eef860afbe1acfa251dd97d6279","datavalue":{"value":"W2129433923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292612$2975F391-32AC-46AE-BA8C-32C7A67F3F54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e2cbc265ba549dfe18e19756dafbd4ebc63eea","datavalue":{"value":{"entity-type":"item","numeric-id":798634,"id":"Q798634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$19F0EBA0-DA11-4683-B090-0720323BDFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$91845D96-B579-4494-B58B-F5D20A04E764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$71AD4EFE-759F-4FBC-82E9-422B4A99519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$5F0BC428-8E5D-4C61-B983-FE710B8340DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3470b4847d9a122d69a987d082c46b814240baa1","datavalue":{"value":{"entity-type":"item","numeric-id":1565127,"id":"Q1565127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$B75166DF-8E33-42C6-B931-CD93C70BD00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292612$81B21D40-F3C6-44E8-A4F3-E6F343F197F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ee20ecd4cc07c14e88b41cdf0f0a3d63e46dab","datavalue":{"value":{"entity-type":"item","numeric-id":4910498,"id":"Q4910498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c371095fa0f4c718f2eac0d787ba279d556ab376","datavalue":{"value":{"amount":"+0.7970938086509705","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":"Q4292612$EEA01707-0113-4C5D-A81B-EA390B11F86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be167ee165e5428332f437a491d781c127ba296c","datavalue":{"value":{"entity-type":"item","numeric-id":441154,"id":"Q441154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bd95a50f253635552001795b1e2aa41c8b28cf","datavalue":{"value":{"amount":"+0.7951748371124268","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":"Q4292612$7D995995-E050-4224-9B26-7300BE4D7949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a9a2132f299b962e9224749a9a71d414fff5","datavalue":{"value":{"entity-type":"item","numeric-id":4365296,"id":"Q4365296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28aa9011dd313307d27e6e34653915e9af973138","datavalue":{"value":{"amount":"+0.7733362317085266","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":"Q4292612$7757DE18-EE79-4103-A463-C3856804C5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ca1d300568d252ccf5380ad860ff0a32fc0c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5212084,"id":"Q5212084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e9c2fc70e85b4a718b89d219d7fff82d594704","datavalue":{"value":{"amount":"+0.7719430327415466","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":"Q4292612$EC4E0DA0-A97C-4C6E-AE50-47FDCEB5A5F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4292612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4292612"}}}}}