{"entities":{"Q5438967":{"pageid":7468531,"ns":120,"title":"Item:Q5438967","lastrevid":50269739,"modified":"2026-01-13T17:11:49Z","type":"item","id":"Q5438967","labels":{"en":{"language":"en","value":"Computational semantics in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5233466"}},"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":"Q5438967$8BB4C1D8-08B3-44A7-81B0-CB22EE2E1826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7c22e0a518f14aac72b3c3d3918aadc0a04eb93","datavalue":{"value":"1127.68458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438967$29A18244-E755-45A4-AD39-1176E91B61BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54635aa2d064d6d84820484aa2bf0ffd6395634e","datavalue":{"value":{"entity-type":"item","numeric-id":1280046,"id":"Q1280046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5438967$F2B45490-DE93-4019-BBF6-FCFBAD416B8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67e2a9a878a2213f3076b62fafd86632f88b9875","datavalue":{"value":{"time":"+2008-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5438967$CC4ACD37-0D30-41E2-8883-BEFAC07ED0FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438967$A3309171-6381-4455-914E-A9B0094A493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438967$897EEE8A-37F6-4B96-AEFA-59D89FB7B966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93dbe685a5e9c2f5ad06bdb3730c6bb14651a70b","datavalue":{"value":"5233466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5438967$AB2AD48E-701D-490B-A846-30D63C31C4A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2c10f579bad0813b791f72fcc1484fc619e422","datavalue":{"value":"logical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438967$DC4A86A6-6A78-4F68-9D1C-B40241FB1380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fcc7267223fbe80dc8075e7db276e45e6548737","datavalue":{"value":"Montague grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438967$E4A085F5-7115-45F4-9AA3-64245C0FB6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5438967$03E5A755-D302-4CEE-87F6-B2110CC5D0C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"508550ebaab26f61bce028d9d0c98cfa1d6470f5","datavalue":{"value":{"entity-type":"item","numeric-id":25581,"id":"Q25581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5438967$2E2AF771-F3E2-4DD2-A914-FAF51100A42D","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":"Q5438967$E902F53D-5B1B-4369-A410-1EFC81D3FC06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9aad47731ebd49ca90b71da5db261fbd8a60293","datavalue":{"value":{"entity-type":"item","numeric-id":3335760,"id":"Q3335760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8cac337f1fc3bb318ed1dcfb729b1ba6bd90bb","datavalue":{"value":{"amount":"+0.7684236168861389","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":"Q5438967$5F81018A-B32C-4B4C-9C97-4275FB45BA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f48097123f4debb823d8dc15020e32ca0edb9a6","datavalue":{"value":{"entity-type":"item","numeric-id":4819368,"id":"Q4819368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce41bf7785cae6f1e0b69d594dc61562b914173","datavalue":{"value":{"amount":"+0.7562529444694519","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":"Q5438967$50270B38-9E1F-46B3-BA62-3D45CA5C9257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"143a74dfa369a7cbd8cdb6c02a4d53ad7a74240a","datavalue":{"value":{"entity-type":"item","numeric-id":2968418,"id":"Q2968418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5eb9833033b1c96b39a8ebf924fa3d4c9290cec","datavalue":{"value":{"amount":"+0.7441970109939575","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":"Q5438967$2F08CE6D-DDEF-4909-B25B-315103C8CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c21eef43bfa5889a2021203fe6c59d61d6f1aec","datavalue":{"value":{"entity-type":"item","numeric-id":3220567,"id":"Q3220567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be172ecf11ddd7532f63fb9f350cd4c18c8cbbd8","datavalue":{"value":{"amount":"+0.7361834049224854","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":"Q5438967$EFA9638C-3521-4E62-89FC-8A53240EB79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27cf800a81034850541729af4e7afcf16ba57ae","datavalue":{"value":{"entity-type":"item","numeric-id":4380482,"id":"Q4380482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a563ca7987fa226089b31125793383688bec4828","datavalue":{"value":{"amount":"+0.7355184555053711","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":"Q5438967$25C9F850-BEA0-48EB-AE3D-F069BA3D3889","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5438967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5438967"}}}}}