{"entities":{"Q6740162":{"pageid":14458939,"ns":120,"title":"Item:Q6740162","lastrevid":105909254,"modified":"2026-10-21T12:58:41Z","type":"item","id":"Q6740162","labels":{"en":{"language":"en","value":"Wright's First-Order Logic of Strict Finitism"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6740162$6075A488-937A-4CC8-AC62-A319FA7ED00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fecb2f2a7c1f813db3a025a7dd8b5d82439618b9","datavalue":{"value":{"time":"+2024-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6740162$2201DCDF-18B5-4576-9CB7-26970A4A19F8","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"a03d09daabdee1eeacfa3155e5880ad841dce4a9","datavalue":{"value":"2408.06271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6740162$36677581-69B4-475B-A0EE-FF43CF048608","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a8dab76d69d16aaa8f22151e055d23610a5dfb","datavalue":{"value":{"entity-type":"item","numeric-id":1705143,"id":"Q1705143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6740162$334400D1-9E10-4F7A-AB4A-2643E30FD27B","rank":"normal"}],"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":"Q6740162$9DF97B17-982A-4EF5-A7A5-8FA210A66060","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":"Q6740162$1BEB326A-93F5-4322-98DA-A6E4975A642B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wright's First-Order Logic of Strict Finitism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wright%27s_First-Order_Logic_of_Strict_Finitism"}}}}}