{"entities":{"Q5246718":{"pageid":7276286,"ns":120,"title":"Item:Q5246718","lastrevid":94757615,"modified":"2026-06-05T07:38:02Z","type":"item","id":"Q5246718","labels":{"en":{"language":"en","value":"Positive inductive-recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428622"}},"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":"Q5246718$52E31CB8-F30D-4733-B0C1-5FCF43A8D37A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39834da6209ee087f8dfbfd6ea55b52c6404c444","datavalue":{"value":{"text":"Positive Inductive-Recursive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246718$081B3F78-A1AB-43D7-9669-150E7DEA2003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d72e71e36a369d092589ecbcb2d83137af6bf9","datavalue":{"value":"1347.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246718$FA1C99B1-9E47-432D-A42F-ED6290D79148","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85ade8c60ce134b5e6bb90882b0349c88356ba99","datavalue":{"value":"10.2168/LMCS-11(1:13)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246718$E6C93750-77A1-48EF-BA59-FA9AAA5E7DC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246718$5EBADE55-A448-4BB9-A313-7CD9E47E3EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bdf3d36e9ce42e8810d203cfcd2e72a91b62c0","datavalue":{"value":{"entity-type":"item","numeric-id":724936,"id":"Q724936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246718$3D14C9BF-BAC8-4AD0-A88B-79B5E119A111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a34dbbcd9b40b0f91ed93ee95499327f885f50e4","datavalue":{"value":{"entity-type":"item","numeric-id":2848935,"id":"Q2848935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246718$4E1EED39-1045-4B17-8E45-499BA35DADF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246718$532BBCCA-6BA9-4F93-971E-4FCEF2DFCE14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-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":"Q5246718$62C7E6B1-7A10-4797-B097-CD3BFF31845B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31b7668fb947ff0c05dfd6fbfc798e923dc961a9","datavalue":{"value":"https://arxiv.org/abs/1502.05561","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246718$717129A5-688D-43F5-B95E-EDD8C921287A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246718$110BAFAE-8FFC-427A-B729-54F3B6A15395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246718$E234BAE8-CC03-42FC-98F0-4D2A93A59ADA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77cbd4220903ab7fb6ea9c0739ea9bd6be71a6ee","datavalue":{"value":"6428622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246718$9D4B5206-0085-459D-8DA3-CFC861EC0F90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246718$A490AFA2-03EB-4419-A877-51C1CF2E9F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246718$889ECA7C-2427-436F-B1B7-1CCCCBE28441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9b6b30e75ab6d3d3efff8704b8590355cec6c8","datavalue":{"value":"induction-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246718$54F16009-1F1C-4114-AD5F-75117A46B20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beeb4ca7951dfc11267d09e8ab29d4c7e9f2c51c","datavalue":{"value":"initial-algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246718$93010F1D-A061-437C-9FA7-50433449AB75","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":"Q5246718$BA76BC17-68C5-46FE-B238-BEFA0437AC58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18ff4573b76ec4be3b9f1855046552314452c1af","datavalue":{"value":"W2148742142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246718$B60A5D68-EDB5-4B44-B8EF-648AB74B5A0E","rank":"normal"}],"P1643":[{"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":"ec5e34956742f102a4161f110c76c121a3e2c935","datavalue":{"value":{"amount":"+0.992224395275116","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":"Q5246718$F8347301-75BA-4B08-9286-99267CE75E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a349e2f4328bbb927b20f76e1c6123c8d56b4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5111280,"id":"Q5111280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2cd0a62833d6e2de57ee22f4e497d1f6a1527e","datavalue":{"value":{"amount":"+0.8297296762466431","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":"Q5246718$601AD535-F11C-4878-85BA-A7059BF68FEA","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":"0205e6715ff004d074703c2c2de3e00acec4a8f7","datavalue":{"value":{"amount":"+0.8142892122268677","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":"Q5246718$F7012E02-ACA9-4B40-87DA-6919BF32BE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b157d137fbaaec12d04cdded0c52ea6ec4bd7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":5300900,"id":"Q5300900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ebb847ab1e6c648e401bb597dec4de5a1955e45","datavalue":{"value":{"amount":"+0.8090463876724243","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":"Q5246718$E00575FF-8068-47E6-BEA0-1B4C8EACCC57","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":"2b466c775f166886775883e7c8b4ad4f1cfe6928","datavalue":{"value":{"amount":"+0.8053560256958008","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":"Q5246718$4711A8E9-05A0-44D3-AB46-7BC318631194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive inductive-recursive definitions (scientific article; zbMATH DE number 6428622)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_inductive-recursive_definitions_(scientific_article;_zbMATH_DE_number_6428622)"}}}}}