{"entities":{"Q2130587":{"pageid":2141330,"ns":120,"title":"Item:Q2130587","lastrevid":55406587,"modified":"2026-02-17T15:42:35Z","type":"item","id":"Q2130587","labels":{"en":{"language":"en","value":"Finitary higher inductive types in the groupoid model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7513458"}},"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":"Q2130587$9FE0B513-8C24-418D-87D4-0BB3865CA93B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0535d5f792ed2b24b5f6ee195b6fbf45a29958a","datavalue":{"value":{"text":"Finitary higher inductive types in the groupoid model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2130587$4068F887-3757-4915-BAE7-980B73663449","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":"Q2130587$142A2841-AA3C-41E5-8AA8-F4F7FE876992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8220b8e99616536ef0f972f767bfa3457366bd09","datavalue":{"value":{"entity-type":"item","numeric-id":2130586,"id":"Q2130586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$837F7170-F498-4C45-8BF5-004A4DBC6802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90c0720e1a62b0a0cc9fb728fce3a94226dbe7a2","datavalue":{"value":{"time":"+2022-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2130587$01856E28-F52D-4D16-B25C-67957F5DD21C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130587$D03CCA65-9032-42A6-B442-DC77E286D9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130587$472539DA-D0E7-4E1D-87DE-1FE486C30B38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e23481e6b72ffc9bb17f19596628057807e5b831","datavalue":{"value":"7513458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130587$B5774966-9CAA-4444-8668-132B3BE97181","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130587$C315B777-F4AA-4866-91BB-18225FFA6F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7b45a4a1edbeb4c9f7bae8234defdd2e485bdf","datavalue":{"value":"identity types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130587$2FF02AF6-608D-4702-816C-6817F23B7EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130587$1166C6D4-7309-4BCC-99B5-DE83C2C59A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130587$7D1B0659-8CA6-44FB-9714-2B418C7FEC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5c87fcd639a8f5d38124c5c135c89f5eadb015","datavalue":{"value":"setoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130587$5266ABCF-5B0F-42D4-9DA9-C3D34309380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130587$0CE0AD0B-B0D9-4719-891B-92A4EC47B61F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b50cbba50071d0a4b5ee6b4fff98ea1b4458d902","datavalue":{"value":"Q113317560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130587$3F74743F-FAE9-4F51-A94E-242F0E1995EA","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":"Q2130587$C88F5F06-61B6-4F76-8E5C-5460415C8B54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"395b4ad0ca77703ff9ee893ddfc40442c3196243","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2018.03.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2130587$9C706E61-19C4-40A7-9D71-B1E8981F0912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bfa34698f791f942766237e6364ebf7718e10b7","datavalue":{"value":"W2802510100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130587$BF716F5C-AD16-43BF-81A4-0FB640DBFC4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$E3A80347-8DE5-4AFD-AF40-FB1AD8F6B67B","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":"Q2130587$AD870E43-194B-45F9-B351-4A7D82A9D729","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":"Q2130587$7F77725E-ABD0-4E07-B3BC-E89D4F7A352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$B19D5096-98E5-485C-B8FC-7597196F8DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c3bff08a591a81b01078d3191ce7312b8dacae","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$A8FEA972-3665-4A0A-8A13-F050D1B9FBAD","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":"Q2130587$A214D6EB-5308-41F5-B1DB-113A4BFD65CA","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":"Q2130587$D6151654-A8A9-4B10-A23A-29C2DADAEC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220e7bd07cfc86bd56365fb168aa15481d8c02d7","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$F8CE1F38-3474-43F3-AE8B-9E748B49B5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$DC34102D-B1FB-42CB-9B65-98EBA3A3E65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$CED46120-C4CE-4CC2-9656-BD22381959A4","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":"Q2130587$51B8090D-E997-4CE0-BE71-222B3B85DA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615fa71f9ac381c1b1417bf5e79adb133d890653","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$192373FA-3F9A-4727-840E-091E11F889F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d920966bfcf66a9fc379fe82026a955fb20d53","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$E17C77C2-9D1D-471F-9283-0EA07A69AC24","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":"Q2130587$82D52629-8BBF-447A-9B00-36B8E5B9F7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$9E20D4BA-B568-41C1-A014-F3EAF86BC78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784f038b41cf6a95136e868957e992da42f29715","datavalue":{"value":{"entity-type":"item","numeric-id":2819787,"id":"Q2819787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130587$302B3708-625F-44D4-978D-ABD5AE926268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff41f931dbf0342372535ac9af54e2907192e3ac","datavalue":{"value":"10.1016/J.ENTCS.2018.03.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130587$93DA9C15-013C-420A-8156-424C3ECCE005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3f7793c966f5800be0bc53668750d78d41f94","datavalue":{"value":{"entity-type":"item","numeric-id":5145692,"id":"Q5145692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7834f6544aa78dec47d618832fe50421ff24b06d","datavalue":{"value":{"amount":"+0.8093870878219604","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":"Q2130587$2C13D551-9EEC-487D-BA84-90100E274C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f08de8ac116433111d403d8d42f140b773caca","datavalue":{"value":{"entity-type":"item","numeric-id":4989403,"id":"Q4989403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25289896b24117607da384c03d6fb30a3c2d266","datavalue":{"value":{"amount":"+0.8035120964050293","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":"Q2130587$0CB1983D-132D-4444-B51E-C2C878027E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ae49d88c0abeeac335c84d8aa55e0a4e6f4c22","datavalue":{"value":{"entity-type":"item","numeric-id":2133178,"id":"Q2133178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5262fd7eb076b88400fd6a496ffcdd5966cd32a","datavalue":{"value":{"amount":"+0.7676435708999634","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":"Q2130587$0590F9D0-5C40-4A56-A403-25B245DD6E74","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":"e24833dea0ddb5d7d5f354f748c69932ce3e0929","datavalue":{"value":{"amount":"+0.760062038898468","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":"Q2130587$FF524F55-7501-40D4-88DC-C7D10A8134BE","rank":"normal"},{"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":"609d2927223419b1fbc62b3f724bc63ea7c65597","datavalue":{"value":{"amount":"+0.7379335761070251","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":"Q2130587$9EDAF54D-3094-46FE-A90F-05855494868D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2130587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2130587"}}}}}