{"entities":{"Q5879176":{"pageid":7908727,"ns":120,"title":"Item:Q5879176","lastrevid":41066984,"modified":"2025-04-18T02:34:36Z","type":"item","id":"Q5879176","labels":{"en":{"language":"en","value":"FINITIST AXIOMATIC TRUTH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7657274"}},"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":"Q5879176$7701A432-3155-4A7E-8176-E68D08DF98BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"472ab55077404bd3e026639bcb6d04dc0df945f2","datavalue":{"value":{"text":"FINITIST AXIOMATIC TRUTH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5879176$5FBF7A6E-F97D-429A-9520-0269BD2A9DDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8a06583c694c76f8fa1263796f2851e23f8ff8","datavalue":{"value":{"entity-type":"item","numeric-id":476114,"id":"Q476114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$24EEAACE-C85E-4E42-80E7-7B429EB1BCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab03605f0a2d5eba151d43ee1d068189495dd085","datavalue":{"value":{"entity-type":"item","numeric-id":5879175,"id":"Q5879175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$DD9C40D7-3E7E-4F78-88DF-DDA8CC4AC323","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16ecf39133aabe3336a8432c378502837482371e","datavalue":{"value":{"time":"+2023-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5879176$FFEA8BE7-AA29-4490-8B94-1D44F43CDDDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$856292E6-A42E-44D1-8ACC-7B3F165F4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$FF97ACED-C591-4615-A35C-4EA425990374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$050E7A6B-33DA-46F0-8481-196363F3DCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$0B0B4588-699D-4104-9E31-BA15137619FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$A446629D-86A9-4380-A9EB-02D41EF17E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$B8D852BF-895A-4A77-8492-73E4997E68D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$CC186473-2952-46D3-95BF-5DCB7D2C4FE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c984d649d73d20c9c503ee3ebd74ce03bde8c1","datavalue":{"value":"7657274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$7DC0549E-D9B9-424D-B117-2F4AE9DD2654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"859633734d0f818bc30181b8f9d9e48068bf46f3","datavalue":{"value":"finitist language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$8D5E46CB-C3C3-4AA2-B54A-DF55F7BFFFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66d651ce9782725816e659421693e52a16e7b85f","datavalue":{"value":"finitist theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$2271B65F-A7A3-45C3-A833-EA025EFC125F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e5ae6812c281c5c26c0e6aec1be3964c438d4c","datavalue":{"value":"finitist arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$2D86CACB-9EBD-456B-9221-019C39D27CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ef43e92b59e4b61f621415c0e64fe2540c2c2c","datavalue":{"value":"Tarski ramified truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$76D9800C-6107-4E77-83EF-D9A0AEFD4A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d17799da9dcddb62914c35907972a67d04b04d","datavalue":{"value":"Kripke-Feferman truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$7106684D-2A74-457A-AEDF-76E59BE7692E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec5e749e154a8b40f015132e2b1062d89597adf","datavalue":{"value":"Friedman-Sheard truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$3295DF32-FCDF-412B-8972-3E0922F05DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd6512a2eb20f634f517e61379fb90874be2600","datavalue":{"value":"groundedness of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$0DEF3C97-5AB0-4BBF-A72F-7094EEB92ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa434fa9915a8d562bb7e8d2da5194b49a14976a","datavalue":{"value":"valuation function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$5DA01AA9-2B20-4714-9763-82F0955C44E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"269cd39ef4140c42a4f8d40329d70f0a3c24fd4f","datavalue":{"value":"\\( \\Delta^0_0\\) (hat) inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5879176$CB420DCB-5104-4E18-A3CD-31DF97B92836","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":"Q5879176$BD270418-7870-49A3-9977-4024DB2DBA5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3686b3a61ba98cb9125b323a18034280af52db8","datavalue":{"value":"https://doi.org/10.1017/jsl.2022.65","type":"string"},"datatype":"url"},"type":"statement","id":"Q5879176$8BFCC54F-A05A-47D8-BAA5-FAE911CE6AE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c030f072b3d5bb9d42892899ee41ae229dbeb2e3","datavalue":{"value":"W4297225791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$045825CE-FE04-4D1A-BDFA-841799861298","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80dcdbc651105fe69e6e02d85a2a0aec342f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5119482,"id":"Q5119482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$008244D2-8A77-4E36-8520-8E0D8E91F0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e299cd24790cf833246b68534501b445b379b03","datavalue":{"value":{"entity-type":"item","numeric-id":5687314,"id":"Q5687314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$8CD96B19-8560-41FA-A053-6C53B65415FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4ba4d1b27496f5a0d2d7c632bf1c8beb5c56a6","datavalue":{"value":{"entity-type":"item","numeric-id":3464621,"id":"Q3464621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$D2720A46-86E5-475B-AEA5-41C920BD0AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$55C32452-66C1-4663-AA03-0500FFB878ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc44a12c6438cb90522e8e2687faea7c2e4f4f","datavalue":{"value":{"entity-type":"item","numeric-id":3981446,"id":"Q3981446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$77F4BD1A-667A-46DC-8BC6-E00CA935E04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279e9b04e2acd825d3faae1e4d0ae06c176e9655","datavalue":{"value":{"entity-type":"item","numeric-id":450946,"id":"Q450946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$DAD7354A-52BC-4039-B2CB-D7DCD270DEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbcc61cc1f259744f497d0e4d62e157d051525a","datavalue":{"value":{"entity-type":"item","numeric-id":4692072,"id":"Q4692072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$DF2C3599-6870-4A76-857F-A933C59D5F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca45863ae144e85a92c1da8d916ec60ab5802ed","datavalue":{"value":{"entity-type":"item","numeric-id":2052155,"id":"Q2052155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$35B36B2F-10DA-4D92-AA6C-A684981EF4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$946B4DD2-A528-4927-B267-BEE2D29C0ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea5d5cc618b0409672a22a4ad1d322501dfd252","datavalue":{"value":{"entity-type":"item","numeric-id":1893134,"id":"Q1893134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$AC7E592C-16C1-436C-8CC9-21C2243E2537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$FAB028EA-9390-4500-AA51-07CF6E7B3763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d4be8bfe0a329f02f3477409141a427cce4cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3093483,"id":"Q3093483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$39C9F3C9-8746-47A5-9A54-69D175A4978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc513461cf303df665bbc5f2afbda0db76a4b926","datavalue":{"value":{"entity-type":"item","numeric-id":1685932,"id":"Q1685932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$CC705F72-BEA3-4FDC-A8AF-94A1BDDC36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2794f0c3890dc2ada586d90b94399b0cdd54e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3619869,"id":"Q3619869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$D339CD5F-447F-4598-80CB-1CCED92F8435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1f7856b8b7a3320630526de761a863b8ae9bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5082051,"id":"Q5082051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$F71D4AE2-07C8-4C57-B71C-0918FC5DB807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4e0472347bb8670a3590a0076f254d7a323d3","datavalue":{"value":{"entity-type":"item","numeric-id":2933671,"id":"Q2933671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$D2B25672-9A9E-49B0-AD9B-417B586EEC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c01aacb1bd820fc7c2a246f1cfd4160d66b71b2","datavalue":{"value":{"entity-type":"item","numeric-id":2257106,"id":"Q2257106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$4C36E455-BC18-4472-A5D7-7AA78AE74639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bc7e03466df814914fe2e8ca23858cb8c7f103","datavalue":{"value":{"entity-type":"item","numeric-id":4628680,"id":"Q4628680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$04646F63-5562-4C94-9158-392466FC1681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c3006824735693213028f4db3064a0f3da9063","datavalue":{"value":{"entity-type":"item","numeric-id":2285848,"id":"Q2285848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$7D62BEBD-9C9B-4811-A5CF-77DB462897E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd32aa470306b847ca50bd2d2559e006822705d","datavalue":{"value":{"entity-type":"item","numeric-id":2309490,"id":"Q2309490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$3CB05D3B-4FCB-485A-A995-D2A0E4F5E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5948c69d927afad963b493e9402917eaf3176163","datavalue":{"value":{"entity-type":"item","numeric-id":2144614,"id":"Q2144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$6AD47F21-A1EB-47E0-B65B-833E178159B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$8F724782-6172-4DEF-B39B-E66FA1F34F52","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":"Q5879176$84D74182-7042-403A-B4D3-1301532EFDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174ffcd80a0a880e94d886e142fb6220aef9c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4786451,"id":"Q4786451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$F38639E4-06A4-42D7-B0B2-AC42EBB972F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a920c6b4898f1fffa291cea9f3560948770b8e8","datavalue":{"value":{"entity-type":"item","numeric-id":5357325,"id":"Q5357325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5879176$9F8CA6AB-74F8-4056-BABD-DD72079B4625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0978dd1cadc1a109023bc10b44ab78bd0e39c75","datavalue":{"value":"10.1017/JSL.2022.65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5879176$655E457D-9F68-476B-83DE-2D50E7A18F93","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":"Q5879176$205387B6-F5FF-4ED0-BE66-387A533DF74A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5879176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5879176"}}}}}