{"entities":{"Q4635920":{"pageid":6665501,"ns":120,"title":"Item:Q4635920","lastrevid":53070986,"modified":"2026-01-24T04:11:17Z","type":"item","id":"Q4635920","labels":{"en":{"language":"en","value":"Constructions with non-recursive higher inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863529"}},"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":"Q4635920$34DF12A6-632F-4082-AE86-BB3902BA4297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6dd0c640bfba95fe8da2a4d0c54879c4bbb3e51","datavalue":{"value":{"text":"Constructions with Non-Recursive Higher Inductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635920$8E97AF62-65F7-47EA-802A-08035863C4A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2267fe59271d0d49320f56faabac0e1d2191be69","datavalue":{"value":"1394.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$6ED46AAF-A70B-4477-AC82-90BCA2BC0FC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f940018e87816f2826150cfc6563513f1c459616","datavalue":{"value":"10.1145/2933575.2933586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$3EEDC286-DAE3-49FC-A689-9641C1F804BA","rank":"normal"}],"P16":[{"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":"Q4635920$F0A0D4D3-1A30-4D94-BD3C-6099135D0A28","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":"Q4635920$E3D25023-88C8-430C-A0B1-036F6E687E9D","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":"Q4635920$78078967-D597-4D05-B2CF-02A9425C639B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03b5752ecf02c8efe6c020d23dedddf8d8541b4d","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/84904788/Constrructions_with_Non_Recursive.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635920$9A6BBFBB-E21A-461E-A33B-E61A54FF974D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$2B1CD297-A086-473D-9B5D-6DF522D470EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$4028C53E-BFB2-46B5-BB57-B15AC611E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$F4DA72B1-9B3F-4BAD-8446-36D6DCA915A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e35e188c4dac0a2a64372abe5461e89683695adc","datavalue":{"value":"6863529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$BB735688-A07D-460C-9799-B6369A2222AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635920$43FEAC34-F9D3-43EC-918D-6845C97F3E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635920$7631A7E2-78BE-4953-998F-612823277AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5ec1eeeeca0034ff41918dd79603fb448d6f70","datavalue":{"value":"sequential colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635920$D032FFED-8DD5-41CB-A28C-7B2AE33BB189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7139a90187f09a324ddc5350aa58b5b95ef9a4ff","datavalue":{"value":"truncation elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635920$023366C7-F8CB-427A-ADE8-191C776E6ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986778cbe3175d852d3e76576f6c2c4744bab890","datavalue":{"value":"van Doorn construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635920$47F920DC-0CC3-46DB-B22C-D80D892DCD7A","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":"Q4635920$5E2C689A-C434-413D-89FF-26F22B71F0D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f436444c2688de8d7ccb09a334ccd2d9c6ee3f70","datavalue":{"value":"W2467476450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635920$CC432418-3C54-4018-BFC8-91073E6497CD","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":"58f16d0a21625a84be64a21a550c07e04b896359","datavalue":{"value":{"amount":"+0.777390718460083","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":"Q4635920$C3AC68EE-D0DA-4FE1-B336-BABB658C80A7","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":"3544c45e23138d7ff6de1f82b84435a3518710a5","datavalue":{"value":{"amount":"+0.7638664841651917","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":"Q4635920$6FAB3445-5D3C-466B-8E34-9E7CC4E26C17","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":"ffbb0001cfffbb7745882359da50b12cbf63d77d","datavalue":{"value":{"amount":"+0.755813479423523","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":"Q4635920$B4D9975B-AD97-4CC6-9197-1E1B01AE3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b91fefa22a190b1184ff9d7b60e82b557a389e9","datavalue":{"value":{"entity-type":"item","numeric-id":5351968,"id":"Q5351968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877efb215b6a16b122a31d872800f8c6089d0764","datavalue":{"value":{"amount":"+0.7351033091545105","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":"Q4635920$8B76D5A3-6F33-4BD1-AE1D-77DDD71557B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5ea9b4be19e4b9fdaf73af73dc57b7d05e1c06","datavalue":{"value":{"amount":"+0.7315129637718201","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":"Q4635920$B4CCA68A-459A-443F-B0F1-AA522AD364CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635920"}}}}}