{"entities":{"Q2206780":{"pageid":2217523,"ns":120,"title":"Item:Q2206780","lastrevid":43690845,"modified":"2025-11-07T00:06:58Z","type":"item","id":"Q2206780","labels":{"en":{"language":"en","value":"Towards probabilistic reasoning in type theory -- the intersection type case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7266049"}},"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":"Q2206780$C7059BD1-A0B4-49FB-9E04-BC79335E0B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea59157db061b61d7fe66a91fba8fe9df2685c1","datavalue":{"value":{"text":"Towards probabilistic reasoning in type theory -- the intersection type case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2206780$521102EF-C715-47C9-A610-40CA823D22A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ea539c013ab899022e2f64c8e53349a8ac7984","datavalue":{"value":"10.1007/978-3-030-39951-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$708A9184-0AC1-4040-A75E-3FD3F48F2660","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206780$B8DEDC07-46AB-4741-ABE1-C86C7912D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce0ce92a3ed785a05d622f72a3c118d17b9cb61","datavalue":{"value":{"entity-type":"item","numeric-id":1709699,"id":"Q1709699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206780$1F7303A6-AAEB-42C9-8909-DCD6A121A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b753c216bef75f3fb0fb971413e7ad9468405101","datavalue":{"value":{"entity-type":"item","numeric-id":1709700,"id":"Q1709700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206780$882DF01A-B60A-4285-82BA-3EE10CF991DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206780$1CCD6447-F762-4F59-9D28-48408DEE03DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11f7f11e55ab794a658586709e519d8af9fbb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1647485,"id":"Q1647485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206780$C3189EDA-BF36-4978-B315-D97B76CA9773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e727b8dd10312fe1bf23b61f26ac30e33058c101","datavalue":{"value":{"time":"+2020-10-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":"Q2206780$1F9AE90D-4B50-4626-810F-4FE50A25037C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$6527ED63-858B-4200-8EC0-B0C5736D4AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$02FA71E5-4E62-4E4C-8450-288C9DE5F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$BE8C66E7-7786-4633-B0B9-77A3F6C51E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$DA9FA2BF-EBD4-42AA-B1AA-6FEDFBCBBCC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49761651acced79dadedd4eea6b6b0fd8bd9a4c8","datavalue":{"value":"7266049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$BC35B0AE-2B73-40E8-AF41-E9CB685F09FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206780$2A4625DD-263A-4110-BFB4-D7A932901459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206780$2E40720B-EFF2-4092-910C-C8DB30AEF5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206780$F799CF70-DC7D-431B-8F4A-8546E36AC3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206780$FF0FB5FD-0171-4A73-A735-EC0DE8645A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206780$DA80DA2C-2A2F-41A3-A187-50637E54499F","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":"Q2206780$B83600CB-895C-42F6-9921-2220ED6A8E38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b28b98ac6576065f3514e682544b659260838260","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39951-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2206780$03616624-E1D0-41B2-91EF-2081CE0E2336","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58bbf62ed96e1c1b5b4f77ed6d5f9b8bdf0fadd9","datavalue":{"value":"W3004416224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206780$0C652EF5-553A-4033-95D7-0DD775392615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5208522e39ce66e94232b8d36122718cb513c34","datavalue":{"value":{"entity-type":"item","numeric-id":4580222,"id":"Q4580222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2a5376c117316e74c257d7a76fee4ea6fe2a3d","datavalue":{"value":{"amount":"+0.9194859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$CB8888CF-E779-4853-A923-051F46DF16BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afff89aed0cd32c368dc28ea9e160650d78eb55b","datavalue":{"value":{"entity-type":"item","numeric-id":3297838,"id":"Q3297838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7efc71359854660c08f22d4661b288351b2a346","datavalue":{"value":{"amount":"+0.9156329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$8030D75A-9638-4BA9-9091-EDAFF64884A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab26de88245574ae0b804012b17f68df4edc973","datavalue":{"value":{"amount":"+0.9057595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$6299AEF0-EE4A-4FE2-A2E5-CFEFD01202BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed2dd600d641a3d697ebffc8e412bc2926deeee","datavalue":{"value":{"amount":"+0.9021808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$881C77C5-DFA0-453A-9211-5911F3752DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2604c8ce780c65e1c5aa286f8fa3313448dd13a1","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c741dac25de160ef821e587a3025797dd377db","datavalue":{"value":{"amount":"+0.90030795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$F37A6276-4597-43B6-A640-91371920EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58355397779341e612357934702c01a75b0980d","datavalue":{"value":{"entity-type":"item","numeric-id":2942901,"id":"Q2942901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852953c399b8eed49bd639b5ba3661afa5c4546c","datavalue":{"value":{"amount":"+0.8947573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$DF7A8BEC-9A0A-4C1F-B074-A0704BD18D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f91487e848a46619a5a140482842c9133ef19c","datavalue":{"value":{"entity-type":"item","numeric-id":1709701,"id":"Q1709701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce6910ae0cceb687daab516f95a7c5d1e43db91","datavalue":{"value":{"amount":"+0.8870481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$D1834B8E-6BBD-4396-BFEA-7AC8E90E802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32833e986368c0fe3a8e81babe5d08dae61a2656","datavalue":{"value":{"entity-type":"item","numeric-id":1932650,"id":"Q1932650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e1229c5e467164c7c1f6a0294b79c43d1b8914","datavalue":{"value":{"amount":"+0.87666434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$62F16390-FFEF-42D8-8A46-260DFEC2D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc2027c5d6ba09babd653fda90d0178596386b6","datavalue":{"value":{"entity-type":"item","numeric-id":1987195,"id":"Q1987195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b14dd6013ec705108511c096a268200d06b822","datavalue":{"value":{"amount":"+0.87559396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$52D518E8-E8F1-49C0-B111-952A76F93C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af7f9b1051893633177dd3c414fea534e27a94","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0cb62bb80a90a4ff4e00e0b7a1b2866660a0097","datavalue":{"value":{"amount":"+0.8724536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2206780$40069D24-751C-476C-BE69-7C18C5CC0175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2206780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2206780"}}}}}