{"entities":{"Q5145658":{"pageid":7175229,"ns":120,"title":"Item:Q5145658","lastrevid":53912930,"modified":"2026-01-25T22:25:00Z","type":"item","id":"Q5145658","labels":{"en":{"language":"en","value":"Multimodal dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299491"}},"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":"Q5145658$78724DBD-2952-49C5-9576-3D973744A2D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6283961e2126de4fe11021187a7403466860a59c","datavalue":{"value":{"text":"Multimodal Dependent Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145658$39741372-08A9-487E-BD90-F815F7E09F81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2bd146c201500abc034f101f4efed6e9624b460","datavalue":{"value":"1498.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145658$B188D2A9-6A0B-421A-BB11-FA505E8F5998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4605b218f11bbb714c1a02749f18dfda49c8a127","datavalue":{"value":"10.1145/3373718.3394736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145658$3AE18FFA-C4ED-4F2D-9B40-588B51878A1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145658$C2460DC7-C61A-4AC0-B5E8-EBBCD83FDBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eb25dfe5705ac46f782999a0940bf89bc761374","datavalue":{"value":{"entity-type":"item","numeric-id":2988391,"id":"Q2988391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145658$25C15153-97B2-44CC-82A0-804DA30E492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b07331328bd636f30b2dd1e7cef089c7de5cf55","datavalue":{"value":{"entity-type":"item","numeric-id":2229234,"id":"Q2229234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145658$F74B9058-2737-4B07-8465-9DD5EF3A54E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145658$1999E61F-0EA0-45D8-813E-770D498234D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145658$F7CF3AA6-DC71-4FAD-B64D-B347D4357943","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145658$01854536-03C6-470E-89C2-A129BBB5B6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145658$244F226B-1981-40DC-97EF-0DF07380E0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145658$F7B7B9A8-0750-41A3-9821-311D9DC8DC9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"050a54780e5a8196bed951ae1a5c4db7d97c3c0b","datavalue":{"value":"7299491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145658$0BCDBFAE-FA86-4743-9D66-60760CC1B095","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf3cb40fa02391c77861f425263fd40a6349dd8","datavalue":{"value":"modal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145658$6EFF9F36-E369-4FF1-BBF5-8AEF8B2EA1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145658$D8D21EBF-6999-45FA-87DF-231DD08F0940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145658$4D804495-3317-4E68-935F-AA6D7DC5A863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aea17022b758b08d4b039fe59936fb505daee19","datavalue":{"value":"gluing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145658$4128A1AF-709B-4758-AD05-60855D789837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145658$2A308714-47BC-4C15-BC42-5D904D10058A","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":"Q5145658$3C38399E-DD8E-4738-A056-A94AB32BA842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f468a8ba730d6f06e000d000f3cf92eaaca15f32","datavalue":{"value":"https://doi.org/10.1145/3373718.3394736","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145658$0382FB0C-9D0D-46BB-A4EC-8DB3D1915EEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"292b81f490f21d364a7e492b781f3007a6415755","datavalue":{"value":"W3030119148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145658$5A7212B5-7280-4838-9272-AA0CBAAB45DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c8a36b8cf95b30f9d5ee783a3172492925c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0c7a47ad2b70fac77c74aefdb4eb8fe2eeb06e","datavalue":{"value":{"amount":"+0.9889663457870485","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":"Q5145658$BBDC8727-EBEA-47C6-8A18-A16606F13151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb928e427d1c99057f0b9b5d63ed4e4a7e768ae","datavalue":{"value":{"entity-type":"item","numeric-id":5072609,"id":"Q5072609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4316646a4409dbd853dc3fe00c75e1cd573b3089","datavalue":{"value":{"amount":"+0.8287010192871094","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":"Q5145658$3A5DA29F-DBAC-4869-9529-9D2E8ADCDC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdb45cc7ab8da35f7677885f7ab810d5e4b7f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c74dd35f1fe2a4986fcfe2f045e00d816d7c7d","datavalue":{"value":{"amount":"+0.7938216328620911","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":"Q5145658$A16B602C-57E7-4B80-A593-48FD3E5871CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f5cf7038531dee7909a20d9c266ed0947e3fb1","datavalue":{"value":{"amount":"+0.7894424200057983","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":"Q5145658$DC374B25-DA0B-454E-9E67-7D33DEE409C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec43c49676003ba71602b3dbe0f17fb2ccedc9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1744413,"id":"Q1744413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20bf4b2ca08fe64bb4fda7f4a696b81800cde8b","datavalue":{"value":{"amount":"+0.7777456641197205","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":"Q5145658$6A350654-8EBD-4B2A-8706-D414A80B6845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145658"}}}}}