{"entities":{"Q3173533":{"pageid":3184243,"ns":120,"title":"Item:Q3173533","lastrevid":51342923,"modified":"2026-01-17T20:31:40Z","type":"item","id":"Q3173533","labels":{"en":{"language":"en","value":"Autonomous progression and transfinite iteration of self-applicable truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5955450"}},"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":"Q3173533$2BFF1174-C18F-4EA6-8538-79C5ED116A95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae348c046898b22bb717e68f907f404d0de7f27d","datavalue":{"value":{"text":"Autonomous progression and transfinite iteration of self-applicable truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3173533$E280D532-32D0-4484-9D99-1C146F20700C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed556e8cd2fe6dc323943e261a5a25158b8e7472","datavalue":{"value":"1253.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$65000535-034D-4F2F-88FA-EAB84FC91282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc037806ca11bf2f8a0a46efc23695c295dd3db7","datavalue":{"value":{"entity-type":"item","numeric-id":450945,"id":"Q450945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$71F0D03A-F869-40F3-9F1A-3E2B9C8BC197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"150a41d2600a9b6bb2d57bcce319d1e2cca67717","datavalue":{"value":{"time":"+2011-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3173533$1B5ABA1B-C9CC-4FA4-9071-E2F4A7E50881","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$4400E985-89B4-4E9C-8C86-31FC51EAB60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$B0AC44A1-8C10-43BB-9A17-8E873C081193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$0D9EAA1E-182D-47FB-8286-3DF8B4DFC403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2274e42bc82edf861f413e90564da0988acd4cc2","datavalue":{"value":"5955450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$6456AE92-573F-4578-B9D9-7A627496E68A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19e8cc0f2c2551829ac53945fb3e4870105603","datavalue":{"value":"self-applicable truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3173533$30B96147-25C3-48D4-860B-CC1A1F375434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4da7f2dd05b6fd625949849d95742e38073cb2","datavalue":{"value":"autonomous progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3173533$E752B9DE-4115-490F-BCE3-107E4F66DB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d522a9e32d7d8210eb21c1c8cd9e3ed7dcf4ae8c","datavalue":{"value":"proof-theoretic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3173533$F2ACCD97-5ADA-453C-8915-47024B44B471","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":"Q3173533$06F1B143-754F-4C21-9366-265F289AE7C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec440d8377a7fd97518f33d05e0ade85aa61719e","datavalue":{"value":"https://doi.org/10.2178/jsl/1309952527","type":"string"},"datatype":"url"},"type":"statement","id":"Q3173533$F621FE5A-C92C-4A0D-B5EA-3F5C2DD477E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83aeb88e690a77a70d1d5fb38f92153f4cf6eefc","datavalue":{"value":"W2077740326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$2396C4E5-9F35-4BA1-A86F-B75A1B85DE5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$C411851F-77B7-4F09-A74A-C5D28253745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e9db5a6f4db0d0ea6ddb35dccc32b55642303","datavalue":{"value":{"entity-type":"item","numeric-id":1861539,"id":"Q1861539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$29761999-899E-4FD7-A639-3A1C105BAF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6bfb3cd96ce770994314c20d7ba6adf066a039","datavalue":{"value":{"entity-type":"item","numeric-id":5951914,"id":"Q5951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$0594308F-B657-4FF3-A8EC-245F70592294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f281c04750f36a6060fd936a52298f354d7e03f","datavalue":{"value":{"entity-type":"item","numeric-id":5850987,"id":"Q5850987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$DE3F7B58-4994-41E7-9315-435EC3669C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bb70b3f5a566a642831449cc6cc703083edd17","datavalue":{"value":{"entity-type":"item","numeric-id":1096626,"id":"Q1096626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$5DFD2964-FFC3-4966-8ECC-397378D577F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa2695297ddd451560d955d0bd25c9940e2815f","datavalue":{"value":{"entity-type":"item","numeric-id":3163660,"id":"Q3163660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$5C38939D-8F70-4648-9B2D-34FF2EC8B4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"010bedd06f6c1909a61b361a03b810c0c5d9e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173533$51DE45E1-0753-4E4B-B018-B9AACF08AD2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"582ef0ec60a0b4dba13c7d3e09591f8390ceb768","datavalue":{"value":"10.2178/JSL/1309952527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173533$729B33A3-877C-49C5-B1C1-E8845D7A38B4","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":"Q3173533$A37D11EE-6BFF-42AA-9B0B-84A8DC5AF70B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900bc078011613849e8547905e4e483d14f4af4c","datavalue":{"value":{"entity-type":"item","numeric-id":4944925,"id":"Q4944925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36639934cc08e4bb328aaf5bf4c38a6ecdf6e31e","datavalue":{"value":{"amount":"+0.7827959656715393","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":"Q3173533$E7435F32-A5EF-4677-B126-512CE1BC3E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26ed2180efea7b2de854b2112726dec0507f39","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25eec42a7ba25f043b3045a22b35ae95be5576f","datavalue":{"value":{"amount":"+0.7827953696250916","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":"Q3173533$5A4F5DA9-9A16-43E7-9E70-4B85BC9DD92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872b85d0d4d24d8e1afd87f78ef3b0b1a39bf421","datavalue":{"value":{"entity-type":"item","numeric-id":2267754,"id":"Q2267754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c764498c1053fcdee519239c1fd3412b373b4e","datavalue":{"value":{"amount":"+0.755586564540863","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":"Q3173533$01533250-70FA-431A-BFCD-E74EE0FF604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d7f67c7ff29fa932d4d2a0afde124e53866c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9731116d45c73ffbba99bde077a25f4326c8200","datavalue":{"value":{"amount":"+0.7518374919891357","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":"Q3173533$5694ADB2-AF29-41D8-A87A-3FB08930B1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece96f9248cdaa0bb35757776f700ea0615fd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":385807,"id":"Q385807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6173cb07826b107340e15e5d9dd1c8fd321943","datavalue":{"value":{"amount":"+0.747497022151947","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":"Q3173533$8E00F37C-B538-4D14-BE1D-568263597FB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3173533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3173533"}}}}}