{"entities":{"Q1280047":{"pageid":1290797,"ns":120,"title":"Item:Q1280047","lastrevid":70064460,"modified":"2026-04-13T12:11:24Z","type":"item","id":"Q1280047","labels":{"en":{"language":"en","value":"Syntactic calculus with dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251515"}},"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":"Q1280047$2581B865-5D03-400C-B15E-76DFE97593DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"885bc31620dc2b9d8f2086dd3380d6c56f670434","datavalue":{"value":{"text":"Syntactic calculus with dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280047$BD355AA1-452D-4C75-A830-9DB7F7209A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bfcb63358734e35cdf27b6625eee83d034e74bb","datavalue":{"value":"0920.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$90070E55-3258-429A-93B1-F2E723DEE2B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17cd1f90763e153bfed9d29a5cf79e418f6ca7c4","datavalue":{"value":"10.1023/A:1008390927185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$C70FE358-3926-4533-A592-12325720FF5A","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":"Q1280047$1BE37455-C8A8-484C-A4A9-940F26C263E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280047$4650811A-6A2B-472F-9693-CBC596869A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280047$51847E64-1B81-4E88-AA1B-1F98248EB73C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4055b2715fa6212fa5816b8c08b09419b90da468","datavalue":{"value":"The paper is a description of the syntactic calculus of Bar-Hillel and Lambek, considered from the point of view of constructive type theory. As basic tool of the formalization a notion of dependent types has been used. The presented approach is based on syntax trees as the main alternative of formalization. The paper does not contain new mathematical results but focuses on linguistics illustrations of some formalism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280047$70F5D91E-CDA1-4E08-A33D-148EAC6F34F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a8ae310966d8907b73b3b6c369333d41663bd73","datavalue":{"value":{"entity-type":"item","numeric-id":592502,"id":"Q592502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280047$8A2B12B3-09DF-4FE9-A2CF-C1473EF89595","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$CE0C59E3-499F-4153-86B8-62B412E361B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$ACB5BAD4-02AE-4217-9419-AC0E94308A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$793ED005-34FD-4E90-BE95-3C064518FB47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44690d5d0c6f75a3dacddcfb6108a248607e5c7b","datavalue":{"value":"1251515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$390A4E6D-C4BC-4EE0-A076-6E313266EA1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280047$19E9A550-1662-4BAC-8652-74C92B1A7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280047$C1F2749C-BC91-444B-A9BD-528EC5E006EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e32ed3dacfd0945f35c928fd6dcd220bcd2948","datavalue":{"value":"syntactic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280047$A5DB2739-DF6D-4610-80B1-CA42DD53007E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65c343fd27086ec3839e65559c0a3db51a761af","datavalue":{"value":"syntax trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280047$250470EE-AB35-40E3-BB19-7F8FFD840F74","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":"Q1280047$800897AE-9015-44E9-B084-D98B9F677ACF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48403fe1fb01469fa9af084a2fb5bf5244077a1c","datavalue":{"value":"https://doi.org/10.1023/a:1008390927185","type":"string"},"datatype":"url"},"type":"statement","id":"Q1280047$1F194432-515E-4269-BF8D-C2491781FA94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf794861adbb1f7036167242b88360bd1be877c0","datavalue":{"value":"W1523512121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280047$22BA8759-2702-47E3-8128-9F11EB2BA1CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422263aa66d81aa1256b236807d6c4a66b4f78","datavalue":{"value":{"entity-type":"item","numeric-id":3577908,"id":"Q3577908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7f97c9cbac10aaedb65ff04639ec9c82a9839c","datavalue":{"value":{"amount":"+0.7836162447929382","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":"Q1280047$35534AAD-1818-4CA9-8407-E6518F4456D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d762e18ae779c2437bd37edecbd7f9886f7c201f","datavalue":{"value":{"amount":"+0.7720428705215454","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":"Q1280047$23753069-9E03-49A6-AE82-7EF111A2BC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbf1c9ef810ee1a800d7693ce6429e93435dc3b","datavalue":{"value":{"entity-type":"item","numeric-id":3489980,"id":"Q3489980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e6d369a0515d0a2ddeb9eace1aaaf3318f3ed7","datavalue":{"value":{"amount":"+0.7497934699058533","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":"Q1280047$8AE0F642-A1EA-413B-A040-5CD1D2C5EFA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic calculus with dependent types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_calculus_with_dependent_types"}}}}}