{"entities":{"Q1336951":{"pageid":1347690,"ns":120,"title":"Item:Q1336951","lastrevid":70173045,"modified":"2026-04-13T12:56:22Z","type":"item","id":"Q1336951","labels":{"en":{"language":"en","value":"Inductive families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 672029"}},"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":"Q1336951$CF1A8EE5-AC61-4B52-A18A-C8609A62A8CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b84fa0120993b3bd5ebef95a921c3554f8b82400","datavalue":{"value":{"text":"Inductive families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1336951$1F9EFB04-07ED-4958-9C29-F37BAC82A774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deb0ba2f212966ab3ebda18902e98ff64a29ed24","datavalue":{"value":"0808.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336951$835B73DC-EF10-4DA3-88AF-B452BAFAD46C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4925aff7054ef4b32556d627185c63c1e6cd1d3c","datavalue":{"value":"10.1007/BF01211308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336951$86D78BCD-9677-4D05-B19E-AF68FAE46873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$CF91B660-6B33-4D02-8B0E-5F87A252C569","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$CA998FA2-EFCB-4AFD-8AAF-CF7322AE6B18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bc79a065c7033b2af997247a4d6f81b493bfae9","datavalue":{"value":{"time":"+1994-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1336951$70CBD262-C68F-4FE2-85A6-2584FA1A1E52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336951$5A6EC4FB-8BF1-4F57-9553-062B14375F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336951$E31A6BDD-6D45-4501-9D02-E735DD86B084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f259080b0d088c7525e197a976be12273e7aa1e6","datavalue":{"value":"672029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336951$CF1B5066-3DE4-4E30-A98E-D1D9954988E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$13E8F989-E47F-4B39-A7EA-DA512F442BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597d51aa70859fd05979c049328d5abfd4b8604a","datavalue":{"value":"formalisation of untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$8A478C6F-1F47-4679-B44B-98D751AD6CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$69ECD46D-054E-4436-9139-7336C90C26A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$2FA65F9E-64D3-4EE7-9C71-2B42F89012E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$FE974FAB-9518-474F-A31E-4868ECFFB819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$8878D4FD-B2DC-46E8-99A0-AE2F0F56430D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a55b7e74108b54cba2c3549a0d828c57c5760df","datavalue":{"value":"generalized induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336951$9F092C85-A640-408A-B1A1-805B5B304724","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$AB9241A4-D36C-459F-94B8-72BBF2DF290F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$105569D3-33FF-4F64-9869-9E6A696738A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a89d66e6a5af9de31d41292d285f0eb7b530aaf","datavalue":{"value":{"entity-type":"item","numeric-id":39284,"id":"Q39284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$FF46D245-DADE-45C1-BDB7-BEAD3CC90821","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":"Q1336951$BFE0C438-CAE3-4695-8E5F-F794BA77C15A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$8F0BCFB6-38BD-4953-96E7-80FE0B039B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$6BB9B672-935F-4E21-B401-100663ECF38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$A88880BC-D5FE-413F-9237-9291595FF824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$E35D825E-1C14-42D6-941A-FCD07E253BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$766F6501-E813-44FC-A8E3-CF3E95E8E084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$53A40C66-449C-4ED0-A524-CEE0E1C4445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a55f23c5a67c2c9fd627d4bf85d3851ca0b09e","datavalue":{"value":{"entity-type":"item","numeric-id":913479,"id":"Q913479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$F484D24F-9451-44E8-95D3-3550D6AF11B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$C5D6FB41-8787-4DF7-9F3C-AA77F9C5C8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30390ad556d719409cdc2ab23057c3d8ba123379","datavalue":{"value":{"entity-type":"item","numeric-id":809071,"id":"Q809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$7C2299E3-B684-4AAC-9AD0-EB295D8F4D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$4DAAC714-D14D-4651-B41F-D049326F3571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b203876e6f57846e7be2f311a2634bd3555df6","datavalue":{"value":{"entity-type":"item","numeric-id":1075752,"id":"Q1075752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$57CB7C6C-47BB-47F2-ABDC-DA63786EE09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$AECA0D87-DDAE-4F45-A6CF-4E5A2E2F05BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f1277c1ed435977ec9d6541b8a3705a4a5a499","datavalue":{"value":{"entity-type":"item","numeric-id":5646883,"id":"Q5646883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$4AB2246E-CC73-4A19-B389-A22929B9B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$33096F98-1E18-4BC8-A6BC-D106A609CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$D71F581E-B90B-49FA-8516-1394D26F53E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$F4CDF965-CA37-4CC7-A770-5EC12DA91ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$D4413FB3-D385-4991-B096-B5C6F328D4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$1C1830E9-C102-4EFD-B012-8A117650BF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$A927DC0E-08C2-4517-A3A0-BEAA25839A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$1294595A-1006-4C94-8A76-D7DBA2C57EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$54709E10-CBF7-42F1-A2D6-27959343CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f5807c54292f749173baaae44be0dc10e3ad3e","datavalue":{"value":{"entity-type":"item","numeric-id":908912,"id":"Q908912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336951$BB79D29A-7732-4F29-A2C6-F2FB48F748B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450502b4ed1edc57a3ccb2a6ec0ff8ee510afe17","datavalue":{"value":{"entity-type":"item","numeric-id":2754033,"id":"Q2754033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee84ed8a9ed1d195fac99fc3429ba049f9114dd","datavalue":{"value":{"amount":"+0.8701048493385315","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":"Q1336951$D36826C6-1308-4465-94A7-8D7469F3BC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392c129b7f21c370b84fc2af79a657c412cde237","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920c5fff3560c7285fc15c7978856d5583f1c7ab","datavalue":{"value":{"amount":"+0.8457756638526917","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":"Q1336951$041B906E-8C83-427F-826E-7FCD6122615A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3bd8d7b3f7f6ee09dd59d84eb2557d306d4196","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef5cf60694da93c9df005fb75bfb030412e6d91","datavalue":{"value":{"amount":"+0.8447424173355103","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":"Q1336951$6B8C56AF-7B67-4525-9BAA-D70EAF900807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40bc114a72ca7d0f8c0718208d2e9f13a8a096c6","datavalue":{"value":{"amount":"+0.8234264850616455","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":"Q1336951$F5BD2A67-0CAD-4545-8E69-BDD891FB5182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e727e7d235de42e10bf5f7d4aec72844f85888","datavalue":{"value":{"entity-type":"item","numeric-id":4436029,"id":"Q4436029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2062576f6769714270c6b6f18cc4d2139f4967f","datavalue":{"value":{"amount":"+0.8160878419876099","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":"Q1336951$1AEAD8CA-64E0-4731-A89D-EDA326509494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_families"}}}}}