{"entities":{"Q5131651":{"pageid":7161223,"ns":120,"title":"Item:Q5131651","lastrevid":58445838,"modified":"2026-04-05T06:23:59Z","type":"item","id":"Q5131651","labels":{"en":{"language":"en","value":"Combinatorial principles equivalent to weak induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7271574"}},"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":"Q5131651$F56E5395-D6A1-4F55-BA2F-C871E9E3A23D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48cdb878617eb19fceb70a1ade010d3f3aa5d697","datavalue":{"value":{"text":"Combinatorial principles equivalent to weak induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5131651$30436AFD-4AC3-48AA-9747-236D0E125AFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2917e7e9cbbbdb684a0892728e02c7ab4e087b5e","datavalue":{"value":"1485.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$EC24E2D1-3389-41B1-B109-FBCE486BCD7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1fae5dbd5073c297ac1fd713e1ad001243daaff","datavalue":{"value":"10.3233/COM-180244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$831051AD-CA98-425E-AE14-C7864068B229","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b87633c7bb917df0b45774454432c83ee0529cbf","datavalue":{"value":{"entity-type":"item","numeric-id":2312085,"id":"Q2312085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5131651$531CDFAA-48A8-4009-B55C-51D36610920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5131651$1CD14EBB-CFBF-417F-8413-373F590430A1","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":"Q5131651$9614E974-15CD-4325-8F21-26F91EAF7DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e3f52eba6e390ce4af3a4ea84ba8cb7f9effad1","datavalue":{"value":{"entity-type":"item","numeric-id":2312086,"id":"Q2312086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5131651$4E23878A-0707-4BC6-A6F2-62523711964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ddaa797fd408ba216a082a830ecd0f7c7623ec","datavalue":{"value":{"entity-type":"item","numeric-id":315526,"id":"Q315526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5131651$7023F1D2-0310-4F33-A265-A7AD9791D0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5131651$28FDD792-C962-4903-B953-55FA44D353A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5131651$6962E24F-ECA3-4CB8-A0FC-B9D445B197B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b6275d7d5b9070917d49297441fe3ab07d4c10","datavalue":{"value":{"time":"+2020-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5131651$2B93B2BD-91C2-494E-8F8E-DC0A19FCC439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e565fdfa918e2a703f0d7baf60dc2fade48f9dd","datavalue":{"value":"https://arxiv.org/abs/1812.09943","type":"string"},"datatype":"url"},"type":"statement","id":"Q5131651$D763C741-CFD2-4456-96E0-DDB70C37BE9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$54F523A5-5662-45FE-BF7C-A254408F8C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$8199BB08-E2E8-4B46-89BF-01CE20DB9535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$3FDC319B-443F-47E5-93A4-9B2092184E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$254A39D7-CC47-4D3A-8667-1E74E97BDF31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1cd97b77ae9845ea850420c01aa74e5412d2294","datavalue":{"value":"7271574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131651$A64CDCE3-C321-4664-9FD1-E9A92CA4CD9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131651$0E4536BC-FE9D-4DA2-B75E-78A97B38CF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b1f22738a193d151f0fa22b7b888ba5478d6c4","datavalue":{"value":"Weihrauch reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131651$8EFD891B-08E1-47E0-BA57-FABBCB1A685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131651$C76A09EA-E059-4D56-9558-B3D98F8196E3","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":"Q5131651$E67243C2-3E34-426F-AC6E-DB33249E2976","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff2f0c8a838f1b25e08abb31677491c76c987d8","datavalue":{"value":{"entity-type":"item","numeric-id":1262308,"id":"Q1262308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc4da6949bd66b717df46cf6a9c5b823bd25bee","datavalue":{"value":{"amount":"+0.7533062100410461","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":"Q5131651$C45A8C0C-E04A-4E59-A8C8-1ABCCD2F61F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0ce4da0562e48802d4d33b42e34d41eb397d00","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9e92f184287d479f5edcce850e6d44727a35e6","datavalue":{"value":{"amount":"+0.7529028058052063","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":"Q5131651$1027259F-1A0E-488E-8277-F3AFB16550B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bc1e66df0858552fa7c4e7d70e1ddbb0e5d191","datavalue":{"value":{"entity-type":"item","numeric-id":2258112,"id":"Q2258112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fff85ee60f96d9af1997ba3b3ae50b335277169","datavalue":{"value":{"amount":"+0.7428677082061768","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":"Q5131651$96E38B6C-5A74-4CB8-89EA-D57E7A13B171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d888702055863ee42be75bbe7ef25f9da1cd786a","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fd338035a25b24980b433fa72d510efbc1fd15","datavalue":{"value":{"amount":"+0.7423400282859802","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":"Q5131651$D679BE8B-755E-40C3-889D-396C1942094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cb5b2d748c6c9838f0c8453e8a4c7a2eaec","datavalue":{"value":{"entity-type":"item","numeric-id":2231700,"id":"Q2231700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e0abc5b3cd92c2b1a908a20dd9ac444a12cf85","datavalue":{"value":{"amount":"+0.7369681000709534","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":"Q5131651$49291B3D-2F14-4A9C-AC97-2CB5679CC47A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5131651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5131651"}}}}}