{"entities":{"Q1652995":{"pageid":1663736,"ns":120,"title":"Item:Q1652995","lastrevid":57436590,"modified":"2026-03-30T22:42:41Z","type":"item","id":"Q1652995","labels":{"en":{"language":"en","value":"Quotient inductive-inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904542"}},"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":"Q1652995$9AF4F654-61A7-4176-B7CA-12442D1F12D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d6cb096fcb0aea7c32c51f9365252b8185c8f55","datavalue":{"value":{"text":"Quotient inductive-inductive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1652995$B30DFF04-8DEE-44A9-91BC-0E0C5421599B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"916f5235a3e70ae9e9ff25972ba55dff557d3ed3","datavalue":{"value":"1506.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$1AB0CB58-FF82-4E9A-80DC-C0A32BB64AB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48a8479f10b2a869bf826ccb981c68480a3ee338","datavalue":{"value":"10.1007/978-3-319-89366-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$BF592084-A4B9-4F5A-B964-88B732D9F9A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652995$001FFEEC-698E-42BE-9D9D-1D0958F956DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725426ba4e3e8b8ec62a89eadeb43219fbf11018","datavalue":{"value":{"entity-type":"item","numeric-id":1652992,"id":"Q1652992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652995$C284CE21-D4A8-4C3E-92F9-68268369B4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00e4400db5f2be559a233ebf51f1a3769da73b7","datavalue":{"value":{"entity-type":"item","numeric-id":1652993,"id":"Q1652993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652995$092727CF-AB67-41DD-A82F-FAE373D19CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652995$EECE14BC-DDE8-4EDF-9622-C0D1EAB31482","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":"Q1652995$4262A7D4-C9FF-46DB-99D0-B8C495D0630B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1652995$8CD228FE-1198-4CE2-AB97-3791BD773A5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8b8c96c7655cd48d79eb4c5436df203e41c9486","datavalue":{"value":"https://arxiv.org/abs/1612.02346","type":"string"},"datatype":"url"},"type":"statement","id":"Q1652995$7F837021-283D-4C0B-AB30-7BAF369720AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$4892004E-FF09-4871-8231-81C36B4E937F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9db3a64cb71879c1d7a6c49a041eda960a64c416","datavalue":{"value":"6904542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$60E3F409-DD72-4D3B-867D-89DFE1A754B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4495c0493723bb8248411efc27ec091d18619a70","datavalue":{"value":"Q61583552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$37D2461F-7D51-4278-90F2-9C35F4E6728B","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":"Q1652995$1EFA6C2C-34D6-4EA5-8BD8-785120079820","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2499566837aa36746420e10535d081633b2deba","datavalue":{"value":"W2563196418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$A6A05EC2-A15A-4F9F-8C45-A4E0C4BD8380","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"633bdf307c9e9822b4d84a1672937f18ce6506f7","datavalue":{"value":"conf/fossacs/AltenkirchCDKF18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652995$DBFA4B0E-C301-4480-86C5-FB33C4001E7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5045d469091b2aad0fb30f11c21619d52a0114","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04174ecbe73449ae791beacc01f920f45abd8285","datavalue":{"value":{"amount":"+0.8342142105102539","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":"Q1652995$FB4758BD-AEA7-44A8-8370-7D601D93B24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db510cb49ecd6ec2e89879a9048c53e8778259a","datavalue":{"value":{"entity-type":"item","numeric-id":5145670,"id":"Q5145670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c9f202150ae981c141eccc79f98ada2bf0d1c4","datavalue":{"value":{"amount":"+0.8201885223388672","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":"Q1652995$0C25CE5B-0FD4-4076-BAC1-A24257F3B13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80eee57571fdbb56a12fbb8fc8ab44a57cfd5c63","datavalue":{"value":{"entity-type":"item","numeric-id":5094144,"id":"Q5094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ade2db480a344eda7db2eaa16b6a71070933c6","datavalue":{"value":{"amount":"+0.8038190007209778","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":"Q1652995$826B4ADA-77C8-430D-B7D5-302D39FF055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e001309006a43b2c682ba66be212a39e7be2b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6973b6b28d688ca1d8d5da8280a57f3a46e348","datavalue":{"value":{"amount":"+0.8026105761528015","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":"Q1652995$4D8DFC09-B7C9-414C-8627-74E9692C3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d5eb500b91b900b7e0ec167e7c875fd9ecd2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70b02c99f9263293b8caec6fe21c063cff8c1fe","datavalue":{"value":{"amount":"+0.7965183258056641","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":"Q1652995$1B793383-AD22-4CD0-AB95-A7872FD0888D","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":"Q1652995$A255BFDE-AC9A-48C4-9E86-F11CABC5C0A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1652995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1652995"}}}}}