{"entities":{"Q6079233":{"pageid":13213540,"ns":120,"title":"Item:Q6079233","lastrevid":55502425,"modified":"2026-02-17T17:49:58Z","type":"item","id":"Q6079233","labels":{"en":{"language":"en","value":"For Finitary Induction-Induction, Induction is Enough"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756111"}},"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":"Q6079233$EA684F3D-508D-4D9A-9147-A01E68B2BB27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$5A785DF6-8287-42B8-8FAE-6495551B0EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ce0e0cdedd491f2be40b586710d257b049396c","datavalue":{"value":{"entity-type":"item","numeric-id":421064,"id":"Q421064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$3DD8A40C-3437-4DCC-81FB-99282CD0758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db011c484f08f2b5c204b9491137cd52ee9a3170","datavalue":{"value":{"entity-type":"item","numeric-id":5009702,"id":"Q5009702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$9D77AB0A-EF84-474A-A6C0-9941A2FA990C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6079233$B689BB7B-A2F3-411C-AD33-F7B8E494052B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079233$8308C47B-0ED0-4491-B334-A47D8B7CCFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079233$6BA22B59-0019-4A48-92AD-96BA00D7B0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8167bc1e05399aa3401d581a6999e7bbda150c48","datavalue":{"value":"7756111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079233$6FC197E0-17D4-49E7-B454-E906234B5655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079233$E1A91D1A-2CE9-4279-B5F1-07C7B0672A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079233$4179BFEF-AED8-4254-AD5E-12B406BBECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f9664d8f5f982ad8c7114c1fd4c8edf6f81ead4","datavalue":{"value":"inductive-inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079233$73E49D3E-C14F-49BD-91D9-DF355AB74BEE","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":"Q6079233$7E83B21A-781C-4A6A-9850-C09AA49382F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417d3b2559ab03dc74ebd574e47e3c38604c156f","datavalue":{"value":"https://hal-imt-atlantique.archives-ouvertes.fr/hal-03594037","type":"string"},"datatype":"url"},"type":"statement","id":"Q6079233$2541C158-958A-4E88-B495-184D20B5F958","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf9c279f50dc038407dc8379ac48776299b35a5b","datavalue":{"value":"W3088552701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079233$ADD7B3F6-E128-49C7-8296-7D817A898A0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d805d963d4ee9a4a1abcd2e59b0f5b56abfc545","datavalue":{"value":{"text":"For Finitary Induction-Induction, Induction is Enough","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6079233$8535137F-975E-4125-B4C9-04DD30DCB531","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b8e26c9160d9324dcf82129665d6ac92b8a196","datavalue":{"value":{"entity-type":"item","numeric-id":2319990,"id":"Q2319990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$9FAF48AC-ED69-47A0-AAD9-6BBFCD775AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$FC31A55C-F0BE-4041-925F-F99877DC598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$98665221-A94B-42DD-99F0-A093D592234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$C8718719-4717-40FF-A333-F41EABA70351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$6446743A-9005-4424-9140-376C6D95DA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a157c6008e1078e6aee81b87ac973c583334e","datavalue":{"value":{"entity-type":"item","numeric-id":5145279,"id":"Q5145279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$B0460FA0-105D-4B7B-8ADD-F347A42A4988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$53B3E8F9-3DE3-49CD-906E-7456540F2038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f5eaa659fe8e8ca88c500da0fd4cebc92efeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2804938,"id":"Q2804938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$5AA065EE-3A25-4D65-AA63-D597C2EF11D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b459d33ed668cef3cd5e11aaa940ab996a4a88bc","datavalue":{"value":{"entity-type":"item","numeric-id":3612438,"id":"Q3612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$1BDD7A27-6083-4D79-8066-C603894FAE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$4D954DF8-97F1-4502-8740-58923171BE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$2C79970C-D81D-475C-92B7-3BB7B702D4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$61D6246E-DA67-448F-BF32-E7C9E6813B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ae25cbb88323f20661522747d59ea5a526162b","datavalue":{"value":{"entity-type":"item","numeric-id":2289082,"id":"Q2289082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$FBB2E05A-B41D-472F-A9EC-4ACA0782A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357112bbd314657ef6be27b8199eef0b54b82db","datavalue":{"value":{"entity-type":"item","numeric-id":5145670,"id":"Q5145670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$8AD3687D-A84B-414A-9719-01C90BDC4DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615fa71f9ac381c1b1417bf5e79adb133d890653","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$E2FA6242-89BE-4A1C-917E-89162E1D2179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d920966bfcf66a9fc379fe82026a955fb20d53","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$186912C5-CCFF-4B29-BA97-71B5528CA71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$BFCEF698-0810-46F8-AE97-20C096FF66C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079233$6CBD924D-F2D9-4BC7-A473-BEEB562C618B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e72a446ae0017b011f6209abdef94138a16cb780","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079233$0146FE9C-BA20-4BE3-BED9-4D176293FCF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f0d3e2d08a4325bce7250962f9e2e0438f5692","datavalue":{"value":{"entity-type":"item","numeric-id":5216301,"id":"Q5216301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749af235d973fd6bdc5f91c0b78091eb1743b82b","datavalue":{"value":{"amount":"+0.7937633395195007","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":"Q6079233$989110F8-D417-4C10-B195-6FBA37300D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f41360694a342b01d91d781884215d1a8bc1092","datavalue":{"value":{"entity-type":"item","numeric-id":2289082,"id":"Q2289082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3d02a524567d4b242f701ee3ac02bbeab5ad3d","datavalue":{"value":{"amount":"+0.7925888299942017","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":"Q6079233$81DC7CAB-63A5-44DD-8561-8E124F5AF4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5045d469091b2aad0fb30f11c21619d52a0114","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c670881f2c7481aeee1bc27586dae22544682267","datavalue":{"value":{"amount":"+0.792048454284668","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":"Q6079233$E95444E8-C970-4395-BD76-405C68A255C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98786468ef1504942b6c4f21ac74d0e7856cd354","datavalue":{"value":{"entity-type":"item","numeric-id":4981449,"id":"Q4981449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df32cfead4932bdfc051b06a3b66c67d7fdd796","datavalue":{"value":{"amount":"+0.7720043659210205","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":"Q6079233$F855DC08-0353-492C-B907-334622D043AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef228a353cc07d2c1654ce9e3f29b1224dff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb53941dcbf0e97b369fea6b862f8ae0a2bc1e5","datavalue":{"value":{"amount":"+0.7624768614768982","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":"Q6079233$4422BEB8-C301-4D82-BCE7-99C8B39BB43C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6079233"}}}}}