{"entities":{"Q2577476":{"pageid":2588219,"ns":120,"title":"Item:Q2577476","lastrevid":73804917,"modified":"2026-04-14T17:18:57Z","type":"item","id":"Q2577476","labels":{"en":{"language":"en","value":"Indexed induction-recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240044"}},"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":"Q2577476$D07F1513-0C46-4F97-85FE-F4BF2880446B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d6d8c1e931ce96fe2f2518b79059ede1dd1720c","datavalue":{"value":{"text":"Indexed induction-recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577476$BAF1A04F-FA01-4496-9982-578DBFDD807D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fba6c09457c61ba27572269b963987270f5bcbd6","datavalue":{"value":"1080.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$5ECBEC26-961E-41EF-8E4F-B1B1AAA1B3F0","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":"Q2577476$19575845-9819-474B-A355-03186C088B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$8D9AB1D2-74DE-4A68-BDAF-F3276E862636","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$7C29F75C-BE2A-4209-A414-7F6226BA3544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e130e81ca3a3f25f3b252c57ce41626ffd934f1f","datavalue":{"value":{"time":"+2005-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577476$E493C5EF-C2C8-4252-A0CC-2B413AD57AC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$3721358D-4CFB-4CFE-9C8D-A81B9329DBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$B5BB6879-AB4F-43AD-AF55-037DC6C803E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$841DCB5E-7C7C-4CF1-AC71-40026FEB91C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44d1e594d182d973c6de4743c4fb75ae9e77d747","datavalue":{"value":"2240044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$2C5143AC-3224-447C-9C9D-3C91B86E063F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$9787D41C-25D4-4AD3-BA1A-76F5AED295D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$B5027B88-2CFC-48D4-87EE-60622A39ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$4B1B3922-2BB2-477F-98AA-5A79EB63F0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f451aa5befd3d2e22057fef6061d63039039da19","datavalue":{"value":"inductive-recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$691F1F27-C45A-4F7D-8A10-A7DC4F2CD16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3de23e37e993e4e77cc8e5af007153ce87796eb","datavalue":{"value":"inductive families","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$6B020C63-E845-4FA0-95AD-18FC1D6BA0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$D1FC726F-1F53-4468-B7FE-7E567985CA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30374589d53a26307eda86595ebecb61e6e22b3","datavalue":{"value":"normalisation proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$5F168525-E8C4-4650-B90F-B1736D4E1D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d517d90d43d21c0e033101aac2f2db5cb9a56168","datavalue":{"value":"generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577476$2D2878B7-E3B2-4070-9619-4302209DB8B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$7DFD2FBF-1955-479C-9AC6-2BB678C138B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$3C291B22-9F84-41C7-9F4E-BE42F89F2618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$17B479CF-810E-4153-A510-BF521BEFC2D1","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":"Q2577476$8727D7C8-029A-456C-AA73-DB0EBB00705D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9af19e6afc6391e85b806971ceb2701d16bc5ed3","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2005.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577476$E618E594-F126-479B-AFD5-2F7E1FF6EFC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cc3d0b9f42e611e9211f275c0d6ded13a54284b","datavalue":{"value":"W2132221175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$54CCDEAA-635E-4DEB-B32E-8B743A26837D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$68BB19A1-9D6F-44DD-9EF0-B88D1DEB054D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b00a71e2a4323a234658e91493a7bd2e6e24f66","datavalue":{"value":{"entity-type":"item","numeric-id":4816996,"id":"Q4816996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$51FCEB3E-E683-4663-A70F-FC3CC39343CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$955F4DBB-2CEC-4AEE-BF5E-81F3A8B62568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdadbcbe25bd5325171cf1fa88153a2d2477cddc","datavalue":{"value":{"entity-type":"item","numeric-id":4825542,"id":"Q4825542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$4BA1D79E-6CF3-4C22-B85E-CB57E88F2D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224b375b18b97f01436004cb27e211f581673b6","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$8C70AC95-57D4-48B3-A1EE-EEB6318DDDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c897e6a9a89ea70756387b3aa96963fee9d891e","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$3B7B3DE1-73D5-40B6-8E86-BB01A2B17961","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":"Q2577476$641E275D-32B8-4A9E-83D6-1A510FEE5B52","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":"Q2577476$D93C04A0-04D4-4CC0-87B1-D6D83EA54C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$5FD7166C-BED6-4A99-A1DA-A19EF9F002E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$D6C3419D-ABE1-443B-A6E9-3130C8852B8C","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":"Q2577476$9250F0E7-B036-470E-8066-6972E8BA414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9b23edb892289c99e8d75e027b4261a7065357","datavalue":{"value":{"entity-type":"item","numeric-id":4436029,"id":"Q4436029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$DDC9E911-03E0-4AA6-8419-3A35CDA5025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6e84dc7d2442795960d241851cf13bc84741e4","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$7F4F7895-6F28-4159-8760-AC91AE0534F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e895a3ae2ca11f386e2ba397bf60265adf55db","datavalue":{"value":{"entity-type":"item","numeric-id":5187876,"id":"Q5187876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$E00A3813-4C66-4F25-9956-ACFA7AF52BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$ADE74BB2-B811-4152-8655-700C96C847A6","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":"Q2577476$0210C0B4-65EA-41ED-98CA-EA1152B0EB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$B77EBCD9-07E7-4A2D-8C05-7A66EADDE514","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":"Q2577476$144D8582-98AA-4A1A-A923-D4360F7DFA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f5182c5f84b08fd5162da8260189a7d667355c","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$0D5A3A97-EA55-4FC8-8559-0CFE59D26AFA","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":"Q2577476$D8CF1C92-3BCF-498B-ADFA-DB6BFA1C0C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11511698d35023c4a8d20816d296ddd192460fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4945203,"id":"Q4945203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$37DB0885-698D-427F-AC6D-7333A6285EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca14f5689fd34f74c565af0d6a248db042630b6","datavalue":{"value":{"entity-type":"item","numeric-id":2766808,"id":"Q2766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$F257C739-43BD-4905-8CBC-E7D94A57F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1ad39823e87bfa0461332d92468ea40681b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$2DBFDFD5-7D56-4566-BA27-3A9B4C11D0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7a8d1c5be3816c0eac56917cb8b0244a44b6bf","datavalue":{"value":{"entity-type":"item","numeric-id":5438968,"id":"Q5438968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577476$16CD5214-A291-472C-89AA-E0209E6609E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c167b50a20f23dffd21ae236558ca184332a3ceb","datavalue":{"value":"10.1016/J.JLAP.2005.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577476$4AAE4B46-EF88-4F4A-9992-2C40804BE6FE","rank":"normal"}],"P1643":[{"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":"94906b453407c0ad9d2dd9db811f6dc1268937bf","datavalue":{"value":{"amount":"+0.885974109172821","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":"Q2577476$40C8986D-3972-4537-A2B8-1318CCCE85FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c269e5a99f2caa587ad2d3307a55084f7b365d25","datavalue":{"value":{"entity-type":"item","numeric-id":5246718,"id":"Q5246718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94906b453407c0ad9d2dd9db811f6dc1268937bf","datavalue":{"value":{"amount":"+0.885974109172821","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":"Q2577476$A592437C-9E92-4EB7-A2F2-0BF174BCDC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f89c41d640daf3bd74f8f8e1b37397c2e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbe287cc7c2712a59941c8d341d46e263fa4925","datavalue":{"value":{"amount":"+0.8365259170532227","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":"Q2577476$D8ADAB6F-1BF0-4651-9D9F-EEE9E0C47373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c90b5d6a9cdd326319d88bde8b470ca59830a97","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33d3d98a49cc68300253bd253d704c8da10775a","datavalue":{"value":{"amount":"+0.8336137533187866","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":"Q2577476$3704F2B7-C436-4AC0-82CC-132BE143FEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d7f413032b68f847d2c69e71e5ee21c069e875","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f88ba36bb877c5f5d2d180e39d8f551c0b7b250","datavalue":{"value":{"amount":"+0.8274925947189331","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":"Q2577476$FDB94CB9-E14D-4A7B-BE0C-27FAB403B45B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indexed induction-recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Indexed_induction-recursion"}}}}}