{"entities":{"Q3145982":{"pageid":3156698,"ns":120,"title":"Item:Q3145982","lastrevid":57606147,"modified":"2026-03-31T14:30:48Z","type":"item","id":"Q3145982","labels":{"en":{"language":"en","value":"Reverse mathematics, trichotomy and dichotomy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116176"}},"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":"Q3145982$5C8378DE-11B8-403E-9C1D-0964B00F80C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6803123aef8141e672fb46069d970934240d2aa2","datavalue":{"value":{"text":"Reverse mathematics, trichotomy, and dichotomy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145982$4340DB21-CFF9-4ECE-BA20-DF9C98FCA630","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8163d1d391dd548958976be84cf3aa3d6be14615","datavalue":{"value":"1296.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$4BA7C367-F307-4A6F-8746-CEDB39505CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e5184151e3553a752c4f6d8ea9021d0d6ae420","datavalue":{"value":{"entity-type":"item","numeric-id":1762360,"id":"Q1762360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145982$124581D1-D7CA-4557-B89B-FCBCDEC257E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145982$CBA76FAE-972A-43F1-9636-8BED043E0840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e534880849b93db09a5c4bf78c5b4ca1b817f6f","datavalue":{"value":{"entity-type":"item","numeric-id":283111,"id":"Q283111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145982$85074E09-2780-4B62-ABC0-951042959BF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145982$248FDF29-CCD5-449C-B0E0-D7587BE80BB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145982$327F289D-798D-4827-B0A0-41F53FBF26A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$C2204CDD-C0E8-4AD0-B360-F6EF94CDFF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$AA27856C-D22F-4D9C-86EA-94CB55EC8726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$D51EE17C-97F4-4E4D-B018-0953DC239A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$09AE29CA-B5D2-449E-8FD3-2A973AF6976E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf3e1a6a3e49fa543e318c0a92f7a022e2f1a819","datavalue":{"value":"6116176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$CA8BEB2A-3E17-4BE5-AD5D-78C1402F59EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145982$063A09F6-D140-4EC6-B68B-1F0BD78D15EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145982$D7462A92-58CC-4B19-876E-96CA914A775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145982$C4D74EF5-0A23-4B30-86D8-13EBCEDAF32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145982$EA492D9B-0054-4EBF-9E2F-37B80D26D989","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":"Q3145982$B2ABD798-90C2-41B3-92B8-D124A22564B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eb42c6e64165f3e8eef7d7e141822edd5a009c2","datavalue":{"value":"https://doi.org/10.4115/jla.2012.4.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145982$6D984C54-DD46-4769-8B52-CB442B2CB3C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f696ab2d6e977fa1cc8089bc3f9f5a35b2e51c9e","datavalue":{"value":"W1998495066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$78D74789-8875-42A7-882A-FC2B2A2E952C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c97ad734725d4e0337a0d1a97aeeb57986f61b9","datavalue":{"value":"10.4115/JLA.2012.4.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145982$F1C95EF2-B55A-49C0-BF48-90E2EEFAEB91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8012afe9c971671213ca3724296aa1e4d5255425","datavalue":{"value":{"entity-type":"item","numeric-id":540402,"id":"Q540402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ebf0192469485c8612dc7a97b2e35c0e4b437c","datavalue":{"value":{"amount":"+0.7566187977790833","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":"Q3145982$AE48D229-6372-4514-BBFF-2542236A4383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c774cbb86f9994c29ba57226412517a8859279e","datavalue":{"value":{"amount":"+0.7520405650138855","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":"Q3145982$6B68A0F7-5781-4D32-B13A-6CD2D3758814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb95c48e52116b3961986837027ab2b891d9c8da","datavalue":{"value":{"amount":"+0.7357733845710754","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":"Q3145982$C155831C-DD0B-4C1E-A18F-9F88BDCBC361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f370a8f81fdfc413706a3975e31749f543527788","datavalue":{"value":{"entity-type":"item","numeric-id":3163663,"id":"Q3163663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374534c0f3d9bc8a1109186192af77ab38cfa134","datavalue":{"value":{"amount":"+0.7336366772651672","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":"Q3145982$B96708B2-581E-4C74-998E-7E8F91372E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37891e23c649d536522fc4eb3a7d84afa97ee28","datavalue":{"value":{"entity-type":"item","numeric-id":3464661,"id":"Q3464661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8e927678b0d870546ce01797e408a2424359a8","datavalue":{"value":{"amount":"+0.7325627207756042","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":"Q3145982$C1748C52-7EC8-4448-A267-DDDDC87563CA","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":"Q3145982$FBE5B1B5-8DD4-49B9-8576-11849A43C183","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145982"}}}}}