{"entities":{"Q6535230":{"pageid":14146373,"ns":120,"title":"Item:Q6535230","lastrevid":57344019,"modified":"2026-03-30T14:06:14Z","type":"item","id":"Q6535230","labels":{"en":{"language":"en","value":"Builtin types viewed as inductive families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770313"}},"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":"Q6535230$E682E853-5CCF-439E-826A-D45A54B40D4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bcdb52b70cf9841b8693e1c672c73a22152e867","datavalue":{"value":{"text":"Builtin types viewed as inductive families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535230$FBAD5A09-712B-40AF-898E-C6540663D921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32f3117385458754d52a1ff9b86ec7a54542e1ac","datavalue":{"value":"1541.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535230$75AC6821-22C3-4B48-A5E7-92557CA981A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a94a35c08ec5a2ca56de51f457aab86d4646710","datavalue":{"value":"10.1007/978-3-031-30044-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535230$19F16907-ED80-494F-BCCA-CFE8767B183F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29e09eb296efe01dc61f7179a7202bfa91ca6089","datavalue":{"value":{"entity-type":"item","numeric-id":5019017,"id":"Q5019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$1357D252-321A-45C4-B577-BBA9E91DF9C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535230$3346CA25-8EA1-4F2B-9C1B-7617D1ACA331","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535230$E5D6276D-3076-45BC-BBF0-4FD3031E111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535230$6034125B-A3C1-4999-8658-B58C4D3270AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535230$F12E97B2-5131-4F04-BFDC-E1466DE51BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"075629518d9f210f665c701f4950aadefa6e07b6","datavalue":{"value":"7770313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535230$A652C529-8B4E-4C5F-A043-1D38E4801CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8667ba5a27e87b199bec084386ab59742a1fb655","datavalue":{"value":"quantitative type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535230$46551D18-421D-47AA-8A5F-F84AAD2A6CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd406fe36b5fb088e3f85ef2e78191b4c3e0da35","datavalue":{"value":"indexed families","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535230$3E604B86-2092-4DD9-A27C-866ADA76F75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e924f2660ae43a133a8bc3423fd2e98eec0dd500","datavalue":{"value":"runtime representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535230$ED5D2678-AA2E-44FC-AAAF-7250835FDD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580c8451899f14b961fc97b9f812750adec4b49c","datavalue":{"value":"Idris 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535230$C57DFFBD-341D-44C1-A334-A846AE189680","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":"Q6535230$C6730A30-66B3-4F44-9A40-D09EC181FD93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$3B985C9D-933D-4B7B-B731-5B5A5CD6F868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6075d9bd0f5164b49d15891cb1b119d9921cac","datavalue":{"value":{"entity-type":"item","numeric-id":5712325,"id":"Q5712325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$366F1309-F636-44B7-96F4-4F833BF7C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$80F0E767-1D4D-405F-BCE0-D7CAB694EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ea7e81c6de0065717c066fc903d6beef24bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4647573,"id":"Q4647573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$D6A3B403-66B3-4A74-BE3D-FC0E88B0ED17","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":"Q6535230$6DC9289B-A047-490A-9548-1AF440896AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8eae90b3712e039a2cc5ccb788b8ef094b8aab","datavalue":{"value":{"entity-type":"item","numeric-id":270034,"id":"Q270034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$2913B642-A73A-4F48-90D8-7C7C7A95B470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6dd02afc1518f0b7162d3764d0c37e5d6b21517","datavalue":{"value":{"entity-type":"item","numeric-id":3384910,"id":"Q3384910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$355DFE76-A908-438F-9138-2CCA731D81FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$0B141E0A-1553-403D-8C70-B87213749BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea19df45b380e856eb67512942460b3fe49455","datavalue":{"value":{"entity-type":"item","numeric-id":5747666,"id":"Q5747666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$D8B1F691-5098-4E60-919C-F68D9593ACDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521e873a9ede93d7d82c0b6f388184c11eee487","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11f3d0ea7fbbbd283303fa9e6e0fb2790af4a7e","datavalue":{"value":{"amount":"+0.88789093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$339C5035-AEF2-4707-8B9F-AFD2A68B5206","rank":"normal"},{"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":"ac647304b9266209a4edf55085cb79cabde21066","datavalue":{"value":{"amount":"+0.885954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$60A08C4A-01E2-4A03-99CF-A35E80057D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde91441ac9e10a466a7ee95aae27d587fcf5a64","datavalue":{"value":{"entity-type":"item","numeric-id":2890506,"id":"Q2890506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c1dcdc233151777b1a6d168cbecca37ba8fffc","datavalue":{"value":{"amount":"+0.8629422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$09179CEB-A960-4A40-8B33-3250629BB061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70332f25f8b1ef60c0baa6e2083a28ef246c43e","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dab9da401b35c286cafdee8b8ced48fa42ffd48","datavalue":{"value":{"amount":"+0.85782075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$E258557B-07EC-4119-A3F6-D7800021AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6f76415a446fbd42c606c261fa56ffb5c9a4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdb6da1dedd1977c42a66e8b67ebb3b49c9524f","datavalue":{"value":{"amount":"+0.84743524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$9E8EB86F-BB6A-4F2A-9CB4-1C44C99CE390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf00f5c73a14d206e0dbdd2b0ce7ffafc7926df9","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77c14a8e712955f5dd4f2544ddf903a37c44eeb","datavalue":{"value":{"amount":"+0.846939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$BC48A262-F27B-49C3-B3E7-BCC5AD659AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4b78f75b92005803787d50ccaecab88a2d578a","datavalue":{"value":{"amount":"+0.84310067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$D15E16C4-8DFC-471E-A3ED-8E3B717394E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c60692d0a5bcd589d3083c68f0be807ae98ca4a","datavalue":{"value":{"entity-type":"item","numeric-id":2729056,"id":"Q2729056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca537f4c06cf40ce12f58c9db0a997eb524de11","datavalue":{"value":{"amount":"+0.8420692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$F6C10317-6DBC-4132-AA88-816CDB806858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dba2f0aefd8e21577fab8944d1f95576fc2227","datavalue":{"value":{"entity-type":"item","numeric-id":685350,"id":"Q685350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb92717c32cd0b98c9aa56768923a06f41f603e","datavalue":{"value":{"amount":"+0.8403267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535230$EBE88FBC-131E-4076-B747-CA2277CA0E06","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535230$C3997A6C-B535-4D57-9908-F37561963DEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535230"}}}}}