{"entities":{"Q3613303":{"pageid":5643209,"ns":120,"title":"Item:Q3613303","lastrevid":50603483,"modified":"2026-01-14T13:13:19Z","type":"item","id":"Q3613303","labels":{"en":{"language":"en","value":"Dini\u2019s Theorem in the Light of Reverse Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528165"}},"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":"Q3613303$0E53B9CD-56CE-4C5E-B1B2-5557D4D3E663","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"954908fb838bd5fa24a0c6f055bb78e8c043e149","datavalue":{"value":{"text":"Dini\u2019s Theorem in the Light of Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613303$E20DBB1D-C904-42BD-B15F-7341AA6DA30A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c486e7a31c340e8e64d4e73eeacb97a0dd650ba","datavalue":{"value":"1162.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$380C44F9-F2A1-4F63-8886-AD5A3F861F6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b336e1686f1fad07d8c99ab3edd6d2912de660c","datavalue":{"value":"10.1007/978-1-4020-8926-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$96320BF6-35CE-4204-AD8C-32FEA3A42BBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b297e870ab363601f4b2bc889f037e2eb84a7725","datavalue":{"value":{"entity-type":"item","numeric-id":306580,"id":"Q306580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613303$F248E96F-A362-4FE5-BC62-7E3E68087641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613303$859D2821-C94A-4CFA-AF2B-2147C2223EFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613303$2E9D9FAF-16A8-4710-9098-78D099927D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613303$DBBB6106-9D7E-4951-AC5A-C80E29E2E101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$FBFB2786-6836-4E8F-BC13-EC8193365DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$FC7E8620-1F81-44E0-AFF7-48CE14E88CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$4F3F303A-CE64-4BB5-96BE-DDC9494EFF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$90BB37AE-015E-4CC7-A4C6-E8ECEBEAE4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$535F2C7A-0840-4C58-B52C-5391BACC3672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"438672451889e4e8ad76f3ad4e24a889864b7de4","datavalue":{"value":"5528165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$B2BDD447-E1E3-4D7B-8B93-94239010C8E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"213442d089043f349970a8cd0566faa864ff597e","datavalue":{"value":"Dini","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613303$E51B007F-CBA7-46F4-85CF-6AC4423470D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05e5fdea03bdf24464096a6818fccf967012d931","datavalue":{"value":"uniformly continuous","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613303$3EFFB0B0-F377-4A72-9A41-7ED8CE8290CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613303$677FF383-7B32-49A5-A0BE-91F7BFF3BE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5159685676f36ed74f839840c5cb6d20ef2e80e","datavalue":{"value":"intuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613303$FD0A08D7-BD4A-40EF-A8ED-92D282BAED9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7401c9875879d328ddc27e6f06e2099e3ea9d","datavalue":{"value":"constructive","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613303$6434AB25-0E32-450D-8DF8-FD2A081D3926","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":"Q3613303$881267CD-DDFF-4D9E-B64D-E9754BB7CD2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab67f944fc059b5d8326de84f9c0077524aab8a0","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-8926-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613303$21EDD5D3-922A-4399-AAF9-C5122D5255A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c59e3c99347a8565f1bf9160a321a2536f6a63","datavalue":{"value":"W51706566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613303$672D646D-3C7E-4076-A333-199479B01BB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7721d53cc0960c3adc43f1b9312cce81c99e2b88","datavalue":{"value":{"entity-type":"item","numeric-id":867406,"id":"Q867406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b499150e32065658865ffdfb234a2b41c28e25","datavalue":{"value":{"amount":"+0.9176953434944152","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":"Q3613303$2CBF5A3E-B5EA-450D-8C86-CDF69AC203C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6596587d9fbef00c91bb1397955375067fdb040c","datavalue":{"value":{"entity-type":"item","numeric-id":2752144,"id":"Q2752144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d473184e007e851c89fe67421757ca382a623ee7","datavalue":{"value":{"amount":"+0.8475086688995361","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":"Q3613303$ACB3FBBA-9DF9-4AAC-B6B9-8647257D0BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ad7d1cc3980210e9fc0889a1415ca37b3be187","datavalue":{"value":{"entity-type":"item","numeric-id":4531687,"id":"Q4531687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7ebe372334a183768dbe61e753d8237bf7b8a3","datavalue":{"value":{"amount":"+0.7937970757484436","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":"Q3613303$067804BC-D108-4B48-9B81-0F14D233800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10519d938d407624197a29e86d68b44f402c866f","datavalue":{"value":{"entity-type":"item","numeric-id":1001912,"id":"Q1001912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd57153413a5221c8d1c7c11b26b200872875a1a","datavalue":{"value":{"amount":"+0.7912968397140503","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":"Q3613303$5479578D-2A4D-42C5-BF9D-7EC0C06343ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f01c1be3a8179619af1772e22f7fe8fd55d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2851185,"id":"Q2851185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e0168dd923d373f66d4883e5fa4048f0c1cafd","datavalue":{"value":{"amount":"+0.7898442149162292","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":"Q3613303$0E127D2A-F03F-4F6A-998D-2CF2494ADB1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613303"}}}}}