{"entities":{"Q5718672":{"pageid":7748226,"ns":120,"title":"Item:Q5718672","lastrevid":48631867,"modified":"2026-01-05T10:58:52Z","type":"item","id":"Q5718672","labels":{"en":{"language":"en","value":"Interpreting descriptions in intensional type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247424"}},"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":"Q5718672$2FC48001-9DB9-4B47-B6BB-E64E2271151E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b99996229f8c51f9c301d3f6d83410eb161a03d","datavalue":{"value":{"text":"Interpreting descriptions in intensional type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718672$14676AB9-094C-48A2-87E5-2947A5EDFAC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94754d2f0a62930eb61fbc380355c219ccf65c6b","datavalue":{"value":"1089.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$FDF96B65-3280-4BDB-A57A-D0606EB4959A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ad58d6cdaeeab50300ab14b8203fbdd781e0ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4435461,"id":"Q4435461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$7C21C3F5-5361-4CAD-B958-7AABC956848A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$F27755AB-D391-4BE3-883A-D1BB7AEFCE6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718672$4BE6C32F-6992-4322-8BA3-754E7FA5CAC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dbe9276f4b811365d225b32a1b9b99bb88f7862","datavalue":{"value":"https://semanticscholar.org/paper/4d9e749ea26d9204b7651e6b4a7024aca37d1e59","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718672$1987B392-F2CF-497C-9382-0AA3E07CECCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$C0999A8A-000E-426B-BC4D-32AE00D84E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$EB7643A3-C7B6-4372-8D53-B483FB61FD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$C7FCA141-6E9F-4C88-A85E-47F9D1BA33CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab3fa6f7e9a3a2c0a2622a49a35ac3c5c9402c34","datavalue":{"value":"2247424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$36B45DD2-62F9-4497-B428-D30FD51F4C59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718672$48A5E240-CDF6-4171-887D-C126804026BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718672$8AC51856-66FC-49C1-9D56-FB70BF44DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094728dcab5ffb8524f18a1fee46b4dbf0a39b3e","datavalue":{"value":"indefinite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718672$8C8C87D9-9F04-41FA-BB81-99FBC627A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6d307399d40747a7ccf9eafea50adb4f4e5846","datavalue":{"value":"intensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718672$703F7A1F-0B46-4CDA-8623-757616A90CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718672$D7E816CF-23E8-46B3-B0F5-7D35A2847860","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":"Q5718672$D55CBDA8-3436-446B-A69D-359A488842AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40466bf893ff7e6f332cd91ce16c7cd79ba262f2","datavalue":{"value":"W2073858584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$FCD4E21E-8E37-4FD9-BB0D-038F588DD3B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86fac08569f7a38c21f588c4c4150c24fe55be2","datavalue":{"value":{"entity-type":"item","numeric-id":4773682,"id":"Q4773682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$678C36EE-9718-4CF2-A09F-CA8BB328DE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b45cb94e678af0af29ccde58f37d92739bef609","datavalue":{"value":{"entity-type":"item","numeric-id":766669,"id":"Q766669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$17998198-E6A2-43C8-ABED-348E52892E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acac0bdcc5f398fbfeadd0bb0d9618cae9a7e7d3","datavalue":{"value":{"entity-type":"item","numeric-id":5675348,"id":"Q5675348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$1FD5295E-1872-4DB9-B04A-C9859E7A34FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$748812BF-FA34-42B2-81A8-81E43A9FC476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$C47C6466-7D10-4683-BECB-F07EA5E5C102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$B21DEEAF-5116-4A5A-A791-DA3BD87DC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$357EC208-96BC-4DFD-A179-B6301383FA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a9345f55b07abcc48c3a4176c64845a3b9c2b66","datavalue":{"value":{"entity-type":"item","numeric-id":1256460,"id":"Q1256460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$7C6A3324-1A4F-4DBE-B5D5-B4AB2D81F0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$3565CC1D-26A5-45E3-AD57-206E42D7CF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2872a65a32e51f278619b314fcb87975d2d0d3","datavalue":{"value":{"entity-type":"item","numeric-id":5632555,"id":"Q5632555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718672$5CFB16E0-9343-43A4-B41D-991D23A6204B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba391b1acdc0bab3abb94f5229000be9488c8963","datavalue":{"value":"10.2178/JSL/1120224725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718672$239A7D3F-8CB5-4528-8901-26B06F15914C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bdf507589176750faee03f3b751390c11128c1","datavalue":{"value":{"entity-type":"item","numeric-id":3367510,"id":"Q3367510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b63e20d8dd95feba1cab56385358fceb0fde06","datavalue":{"value":{"amount":"+0.7890534400939941","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":"Q5718672$A432AB32-9F5B-470B-9429-C3C8037CB6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebc073a48b6987817115c78d815f192b93a56d6","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ae73c9af1fd5c0dcd8f80d3fffbb7592f335f0","datavalue":{"value":{"amount":"+0.7539469599723816","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":"Q5718672$89463DD4-8C7D-457F-95E8-98DF7115FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f2dff1aebd211fac111ad30bfbc9b77410be68","datavalue":{"value":{"amount":"+0.7453569769859314","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":"Q5718672$962B3C79-BB32-46A4-9B5A-23F44AA3739D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aac85556736c2d6f9822a56f417067886b152eb","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3786b81db2a0a06170cd7348bb4d41c27d04284","datavalue":{"value":{"amount":"+0.7429025769233704","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":"Q5718672$9BE51C8C-BEF6-4CDF-948B-E98518EEFF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb754dd91a34c7f83ea323481a24843bf9af4996","datavalue":{"value":{"amount":"+0.7428929805755615","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":"Q5718672$14724B36-0AB3-4BAA-A3E4-6D5FA02D54DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718672"}}}}}