{"entities":{"Q4635888":{"pageid":6665469,"ns":120,"title":"Item:Q4635888","lastrevid":58314198,"modified":"2026-04-04T16:41:28Z","type":"item","id":"Q4635888","labels":{"en":{"language":"en","value":"Type theory based on dependent inductive and coinductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863502"}},"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":"Q4635888$99372010-460D-440D-9F15-E8FDEB30214F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dba5d0e289504af7bf7682dd71757320a7aaa92","datavalue":{"value":{"text":"Type Theory based on Dependent Inductive and Coinductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635888$8E919C80-BD4A-498D-A510-AC4BF1B159AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7acd0fbe0a91f6bf0b138034285d38d0656e28a7","datavalue":{"value":"1394.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$F28155D6-DFC6-46F3-AA58-2D8CB3474B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baf63e2ec22cf3c61b14486ef1d9f5d15eb18b5d","datavalue":{"value":"10.1145/2933575.2934514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$C84B4DB9-C5ED-4016-9619-252226578D98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4579b04445885ccce3d16d5b0f09ea564b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2233466,"id":"Q2233466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635888$18919705-0F13-400D-B9B7-43292542D89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635888$B528811F-D1E1-49FF-BAA8-4BF33BCFEEDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635888$BC54C946-ACE6-4D36-AAFD-BC05C0D61B79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635888$327057FA-8A6A-49F2-BA90-D2531C98B1A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddd89f99a4bd32531e9ac5dc121301602381041d","datavalue":{"value":"https://arxiv.org/abs/1605.02206","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635888$6AE7961E-F652-4771-BF6F-685BBC9FC0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$07A6402A-7DD1-48C8-B465-2A2B4683C3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$4EF8E3EF-A3BD-4457-B3A4-D91B7FFC16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$9D49A0D9-E273-400D-BFD3-31E01A0C68FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4327f8b8b3b9db07ceef0eb25e1c8541b0abf31a","datavalue":{"value":"6863502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$2615490F-6BD4-4686-9328-ECFCF19BB707","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635888$FFE8D720-2CC9-4635-A0A6-E365434A519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635888$807513F4-ACEF-4D35-BE70-45644FF2E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635888$35116BF1-9590-41D2-94C3-D5192AF9DC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635888$ABB5E237-CE2E-4B1F-8816-422FD9928295","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":"Q4635888$FEE82942-1087-4D76-AADC-C7C6E94F2163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd3f9b169b3e6f1175a5f2513fc55e12ddb91959","datavalue":{"value":"W3099982020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635888$68C93EAD-C5B5-4BC2-AE24-0115E9164BDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de650f9c1c06853ad5aa480c6f7ce1a1e9810f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5014439,"id":"Q5014439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ced021179585326e3e7dd89d266472c74d1114","datavalue":{"value":{"amount":"+0.7973324656486511","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":"Q4635888$D84EB5BE-3F74-4A39-9609-BBC61DA816D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d922db37ef1718202e561077e8c4a52fe341f","datavalue":{"value":{"entity-type":"item","numeric-id":5492817,"id":"Q5492817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252aef0bd700e172f501d87c2a4d7aee50eb9813","datavalue":{"value":{"amount":"+0.7759104371070862","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":"Q4635888$AED0DE56-FCD2-485E-B1E2-17A4740AD28F","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":"9db62e1b8b768f5fddf04056efb99b95ecc42fc4","datavalue":{"value":{"amount":"+0.7688303589820862","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":"Q4635888$E7FE5D2F-A889-4B9F-B28C-82BA256AB3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fba82f0dcec115429cd4d57c9e84093b7eb89c4","datavalue":{"value":{"entity-type":"item","numeric-id":4263807,"id":"Q4263807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c422faa58cf10e06e6f68e982aa0761ab7586a","datavalue":{"value":{"amount":"+0.7672483325004578","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":"Q4635888$7EC6F5A2-9FA0-400E-9FBF-FF4E5148BD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15863efac8d3d9d09ba502407e93a2ccac5d478","datavalue":{"value":{"entity-type":"item","numeric-id":3636828,"id":"Q3636828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bcbe1368b9b40b0f9eb3c2c03f1e1b5f9c4a5c","datavalue":{"value":{"amount":"+0.7595714330673218","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":"Q4635888$053DB6AD-DAE6-4698-9F9A-661B2FE76108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635888","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635888"}}}}}