{"entities":{"Q2233424":{"pageid":2244167,"ns":120,"title":"Item:Q2233424","lastrevid":57686373,"modified":"2026-03-31T22:06:26Z","type":"item","id":"Q2233424","labels":{"en":{"language":"en","value":"A general semantic construction of dependent refinement type systems, categorically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410436"}},"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":"Q2233424$40BB6863-AEE7-4D5B-8C73-2402297A04C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"887a350437d91ae0794b230f59eb8e927e7dc130","datavalue":{"value":{"text":"A general semantic construction of dependent refinement type systems, categorically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233424$1CF3FB8A-B56F-4759-890B-5561594394D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13e76ca317d3804f26138f396c7f468e743af31f","datavalue":{"value":"10.1007/978-3-030-71995-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233424$E8C29F05-A1A0-47BF-BEBF-22F99208934D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ede524bd6e9a73189c75201402127e2eb338ff","datavalue":{"value":{"entity-type":"item","numeric-id":832250,"id":"Q832250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$AB525055-2820-4DAD-A21C-A917C41D3D92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233424$ADC6B050-1D05-4CCE-9A19-A37A78961C0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"946c4c1d3daa6144ffbb45d1f90dc06a7dd1cdcf","datavalue":{"value":"https://arxiv.org/abs/2010.08280","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233424$6D7DB092-01D9-414C-B803-F7225276C1FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233424$D3C9C16C-2499-46E3-9C63-954B5314AC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233424$8696F05D-C577-41D2-B552-EB05EB9A00D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b7b5b0f764b107adf798eed6da5badc543d400b","datavalue":{"value":"7410436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233424$EDD7C9A4-7306-41ED-BC33-51A7406E9AB6","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":"Q2233424$7659F549-8BF2-409A-84B6-A01BE2763947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bf5714820a1dd36601bc95bbfe703920c559c78","datavalue":{"value":"W3141317606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233424$943E4753-1B33-4F9E-AAE2-73245F84A933","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f3322c5429041e9841c2c142ed34225680add8","datavalue":{"value":{"entity-type":"item","numeric-id":2133463,"id":"Q2133463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$D47A8842-F539-481B-A6E3-859944D9A255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f6c64e8902b7cfed33299c39513f7e285c6df3","datavalue":{"value":{"entity-type":"item","numeric-id":2811331,"id":"Q2811331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$3E42251C-CE89-40B6-ABA1-06821BEED550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02917c0db14ab53e8f4a4132ce95a65a648deb","datavalue":{"value":{"entity-type":"item","numeric-id":2819789,"id":"Q2819789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$800B1CA9-4945-43DB-BBED-9977F09E7D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$B81AD929-27D5-4A5E-80F5-3D8450749D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1306cf5971ea6ae481c5f8330b5b35e143e8527f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$B0C222B5-D269-4336-85E0-E4C26549B8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$51523709-4F6D-456E-B466-543222A15A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6001383377310e4b4785f7b29f084981c17a96e","datavalue":{"value":{"entity-type":"item","numeric-id":5408455,"id":"Q5408455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$6A431874-319F-401C-BCB8-3E07B3A77D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5404f54b5080d985d02bc43fda9074545348d87","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$651DF6C6-F798-4BC1-9EF5-A79757C176E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d34a9c4e2d8231512ffc28ee4d474595b3025d","datavalue":{"value":{"entity-type":"item","numeric-id":2819783,"id":"Q2819783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$DE94A2D9-4CA6-47BF-A02C-8DFB02DE614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$32D0BAA7-A455-49F4-BB4F-C5CCA0C4100B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43863c528a6980cd8a9f2cc7bb3b0610106254e6","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$FECCBFCF-8946-4FAA-B889-806E05B40814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275936cfd6130214e9d1021873d4a644d84981c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$FD77C8BB-1512-49F9-A029-709DDEB1D301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b63ef1959c1d3507c45fe9bb1d3548c1c276c9","datavalue":{"value":{"entity-type":"item","numeric-id":5326287,"id":"Q5326287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$3EF58844-BAEE-46D7-8CB8-EE838B7F88CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e478b454a848e966dd19d4bc1adbaf619f7c7421","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233424$EFB81159-406F-497D-AA45-2ADCBBF9A2BB","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":"Q2233424$4CD26B4D-1BD9-4E3D-B74E-C393FB2C6044","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233424"}}}}}