{"entities":{"Q6166126":{"pageid":13301008,"ns":120,"title":"Item:Q6166126","lastrevid":58731831,"modified":"2026-04-06T12:32:06Z","type":"item","id":"Q6166126","labels":{"en":{"language":"en","value":"Wright's strict finitistic logic in the classical metatheory: the propositional case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721416"}},"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":"Q6166126$568F9745-FEB6-40A4-97AD-39E6A8789095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"693a3302b4d68a27ec1d4bf066b4917bfbd7b9ca","datavalue":{"value":{"text":"Wright's strict finitistic logic in the classical metatheory: the propositional case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166126$780C857C-80B5-4CE3-9DD4-59473BDE3112","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":"Q6166126$9338D243-9910-4119-B3B8-49F4A5F405AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$967C56B5-D948-4CA9-9752-B50902ED1815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166126$AAD9FCB9-3BF3-4C22-B4D8-CE26D51DDDB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c6d638106c49982e0c15cc8783249cd722c5663","datavalue":{"value":"https://arxiv.org/abs/2301.12070","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166126$1FE4F460-17DB-440E-B30E-392FAE37E8FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166126$155300B0-4955-4B2D-A637-777825702E64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1488c36f9b2b6398bf21153dff052bb3071eefb","datavalue":{"value":"7721416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166126$345630F6-7810-4426-B859-F604D87C3551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36210dc2eab2a57ab803d30bcaad72bde789b395","datavalue":{"value":"strict finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166126$38B3265B-132E-438C-B278-A95DE5F1425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dafe538fe5c4efed45bf8661ae71f368a82f9e0e","datavalue":{"value":"Crispin Wright","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166126$441E7ECB-52B7-42C3-8571-F5D55C2760F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166126$04CCD292-EEC3-4EBA-AA09-A5C9F8C43F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166126$2BC8EB07-6BD1-402D-95C9-11EFDB0CCFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140716a76070b54a9e86329eadbc916ad4f2bc5e","datavalue":{"value":"classical reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166126$72F0C83B-8C25-4119-AC87-53271055271E","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":"Q6166126$A12C486B-E12C-4B9F-9813-312330AC30BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68afecad2445cafb75c019e4077a81683abaee88","datavalue":{"value":"W4317637367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166126$E3E43911-E26E-4300-9FC3-C53EF4B3BBBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3341c0c455c361a69c1c51be1f3864268f93f777","datavalue":{"value":{"entity-type":"item","numeric-id":4577997,"id":"Q4577997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$44269FF0-7816-45C2-B97B-C7D4C0CEE45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949bb879675a89c1b9aa86a3ed643b251ffeaf62","datavalue":{"value":{"entity-type":"item","numeric-id":1222153,"id":"Q1222153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$237A3549-5546-4F80-8889-7B424C599DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$8D34D77C-3A07-4F90-8E59-E0BFE487965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f461ee20e662aeea155d133492c3e0ec643c6f30","datavalue":{"value":{"entity-type":"item","numeric-id":427227,"id":"Q427227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$69D8A59E-21DB-4D6C-B20A-CF479BD1EE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$D7824290-E2F2-4ABD-83C5-F1D37E822E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a88cab690e6aee0b89cc4c5f026711bfe2327f8","datavalue":{"value":{"entity-type":"item","numeric-id":1170178,"id":"Q1170178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$FEC6CC15-0FB9-4F6B-9892-0E73980DE577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e87903ae4999ada35b00232f50aeddb45588da1","datavalue":{"value":"10.1007/S10992-022-09698-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166126$EFAF7132-0529-4903-8DF4-9CD164593258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fdf05f2a57224275ff137dbf31f04536c1b33a","datavalue":{"value":{"entity-type":"item","numeric-id":4888325,"id":"Q4888325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a742dc70225f6b1792e8ac8e463f813d58095a","datavalue":{"value":{"amount":"+0.7090641260147095","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":"Q6166126$19E396A6-9F61-4F08-AFCB-1B1DA7630124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085b0d5424445c2525b38b5cd56fddd22673e115","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b411b4c2e852f8712f7ac4e6554adca9edc91248","datavalue":{"value":{"amount":"+0.7046526670455933","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":"Q6166126$32452F9C-E377-435B-ABEA-8027C333C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a401adf0600a4a5d7272a1b0cf3403ba24663f","datavalue":{"value":{"entity-type":"item","numeric-id":381241,"id":"Q381241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8cc2b2eadda2e8e6124768f147da0993f1039b1","datavalue":{"value":{"amount":"+0.6987380981445312","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":"Q6166126$E2F4A33F-7ADC-4140-B582-BA7A279A56AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf524d8db0a4dd51be4523b3825c0131ba23312","datavalue":{"value":{"amount":"+0.6983551383018494","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":"Q6166126$253681CE-A1BA-493B-983A-2DB5FB3EB17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec20006f381f4de96499a397bf38bb16079e2eb","datavalue":{"value":{"entity-type":"item","numeric-id":3449305,"id":"Q3449305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de14a566d0011ce50557f4dfd7b0b34601e3b70","datavalue":{"value":{"amount":"+0.686697781085968","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":"Q6166126$42AAE060-5FC6-48EC-89B1-36165EF6DE47","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166126$360D1D56-741D-413D-A53A-9978DFDEB8B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166126"}}}}}