{"entities":{"Q5111189":{"pageid":7140763,"ns":120,"title":"Item:Q5111189","lastrevid":94289729,"modified":"2026-06-05T06:26:09Z","type":"item","id":"Q5111189","labels":{"en":{"language":"en","value":"Partial elements and recursion via dominances in univalent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204313"}},"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":"Q5111189$275AD6D4-43EC-43F0-8A5B-878F0D92D452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"432883f967d8f32b3b48fe8d918fe650ce74787e","datavalue":{"value":"1434.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$FB8C76D9-C93E-4516-9722-4835C8B74E58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111189$6A473951-1435-4DFD-A409-12CF4312657F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"258a5d866a0a86e7e57c73b55288e7a4da55ddb0","datavalue":{"value":{"entity-type":"item","numeric-id":5111188,"id":"Q5111188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111189$C8C850C4-74D9-4483-A4A1-C77C2EBB6927","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111189$4C0BAAFF-1CAF-4930-BB06-22C080CBE3AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$C841915C-A475-46B0-A00C-9EE68A0EFC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$208C2438-3029-4C51-9DD7-9BE3091F1779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$B21E77E9-EDE3-482C-BBA3-65C4BCCC459D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12c6b8f735c6d9c26127834d31c67ef60b771c66","datavalue":{"value":"7204313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$E7EC2256-97EA-478B-B9E0-C0D986BEE0CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55b3b4777557b818df7e0a13a733ea5bfaf8dee","datavalue":{"value":"univalent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111189$5B5F5227-FC82-46E8-850C-0D8407185771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111189$659BE0E7-9A79-42CE-BF23-F2BE3BA21DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa6f50b9700eb4699723de51c40290896f31ee6","datavalue":{"value":"partial function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111189$5130CFAD-E042-4DD2-BAD3-85F91DF00553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69d9fbe92d395f574c16399971fbba36ade8f7e","datavalue":{"value":"dominance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111189$23ABD4AD-0139-4A7F-8411-508816716DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111189$AC3284A4-9D26-4012-81C4-B035976D1832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111189$E8840B91-90D1-4052-AB62-093D2BB196F3","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":"Q5111189$0B2B9C54-8A62-476E-AEB1-244D5EAA3FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41d476f9ba7a34fce11fc37c9012efc7ecd94e8e","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CSL.2017.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111189$9C906F91-2747-45F3-A5E9-B5408D8C2506","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76f8686f246c10eaf752df76889e70e42a7f3e8a","datavalue":{"value":"W2760547725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$7A1CFFF1-0314-4951-92A8-0D09856B6D92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7906a1deedf001a85e6608f273f63a497de76201","datavalue":{"value":{"text":"Partial Elements and Recursion via Dominances in Univalent Type Theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111189$ACC24FAE-C219-4858-A431-21F9DCA3560C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86d4f2377e5b475f142509a7a5cfa4cb565e21ad","datavalue":{"value":"10.4230/LIPICS.CSL.2017.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111189$311BE139-9024-4B21-8BA7-70B147A31C28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed05abdbc12c71e1d11144d7a8c255e64568679","datavalue":{"value":{"entity-type":"item","numeric-id":5457388,"id":"Q5457388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9e4949217b5b7d7d6bb25a0ea371a765dc1bd1","datavalue":{"value":{"amount":"+0.7835408449172974","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":"Q5111189$22CE3F20-62E0-446C-9926-5E37EC695DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3899e4ab069ae0185cc6880c4de079dcf52cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5055497,"id":"Q5055497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7972e84b4c19edd7313cc9e03282966bf0578b2c","datavalue":{"value":{"amount":"+0.7464315891265869","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":"Q5111189$039C3355-A4A1-45B5-BFDF-76561A971A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cdc96fa3ad2a22c3f007fc23ed67bdfe00719c","datavalue":{"value":{"entity-type":"item","numeric-id":5145682,"id":"Q5145682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159fbb4bffb2376d3b795ca34cef5f6bf2b0de39","datavalue":{"value":{"amount":"+0.7373749613761902","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":"Q5111189$A7B69842-0ED1-46D9-ACFE-72AAB10BC106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e56c4594813525572fe7b58f60120ae1cde1b5","datavalue":{"value":{"entity-type":"item","numeric-id":689208,"id":"Q689208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef903372e3783448c50f67812a1a04f28e1988c","datavalue":{"value":{"amount":"+0.736026406288147","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":"Q5111189$FCA1CF8A-8AAD-43EA-BC93-11202E63EBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdb9c26432b4c50f1769e1349b5611bc8643e65","datavalue":{"value":{"entity-type":"item","numeric-id":3543653,"id":"Q3543653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1a0767c94f5e6b97361de3a3be2f152060a9c5","datavalue":{"value":{"amount":"+0.7321605682373047","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":"Q5111189$533F01E1-DB17-4837-B9F6-74EADD44EC26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial elements and recursion via dominances in univalent type theory","badges":[]}}}}}