{"entities":{"Q3470458":{"pageid":5271145,"ns":120,"title":"Item:Q3470458","lastrevid":49358293,"modified":"2026-01-07T00:50:28Z","type":"item","id":"Q3470458","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4137754"}},"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":"Q3470458$7B20539C-EABF-45FC-916A-6686EDE9C62A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2b010c389ef698e27a13e5c9b20bbffe5f809b2","datavalue":{"value":"0695.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470458$0C97A5AA-9C2F-488D-8E0B-AD5C407FBF93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3470458$84EF923D-97AA-4E7E-B26D-C3B62E34ABF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470458$8FD6F6C2-C983-432A-B25B-5CC86CDC227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470458$6D1848CF-3AB2-4858-BA49-428DF592464D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"667ee714a2bb11ae41678184207b501ab84ed654","datavalue":{"value":"4137754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3470458$F98CA02B-E281-451C-94F3-F37592368824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6342429ea2280f1e1c657b0f7bca444312684256","datavalue":{"value":"catgorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470458$84B39EE0-E3F0-4BCA-A283-42DA5CB163AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"970ea7b604da2cc8ecf16084a23ac84157bbb264","datavalue":{"value":"lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470458$982CA58F-33E3-4550-B47A-19A52178D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbbed66c32c17ab203854683686f7edccc7f8cbb","datavalue":{"value":"assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470458$3EA00830-67CF-4341-A2F6-19F01D6DDC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70332a3a4c2ed113f171979128f07b83be4b978d","datavalue":{"value":"Lambek's calculus of flexible categorial combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470458$E8CB6669-5A98-43D7-A57F-58F5E41BBD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b197b37e3311f3e6b1c4bcc90f028eb5b5b5116d","datavalue":{"value":"Curry-Howard formulas-as-types correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470458$E134FCAD-215B-44D4-88E5-1159021BE7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3470458$E2549B79-B43B-4F28-BA2C-F348398D7B90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3470458$49E7B8AB-7614-4615-8301-8F88BE968569","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":"Q3470458$FE5F9299-CABF-4DA0-91F7-92BCB8EE8E4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a13afe6d27028507cdda903de12ed9670456b0","datavalue":{"value":{"entity-type":"item","numeric-id":3830983,"id":"Q3830983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c083e0dfb1e2a66365db334942147cc3402b874","datavalue":{"value":{"amount":"+0.8553352355957031","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":"Q3470458$CC9EB825-E8ED-43FC-8F0C-370427A3AD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017b58749d931dc35ca16e1a4a5e7c3ef661be3","datavalue":{"value":{"entity-type":"item","numeric-id":909654,"id":"Q909654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5a3efe7b55a4879020637f4d9b44715ebf536a","datavalue":{"value":{"amount":"+0.808305025100708","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":"Q3470458$4F8FA281-5E97-4139-B8DA-39FA34513283","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":"43db720d06683856a613a0eab4ec9ad888656fe4","datavalue":{"value":{"amount":"+0.8067249059677124","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":"Q3470458$5099FE3C-786E-4A05-9DD0-BD079F5BA4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72eb23b857a1efbeabda52aae062b272262a2e36","datavalue":{"value":{"entity-type":"item","numeric-id":964491,"id":"Q964491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07402e9df0d3d427a8100bc847dcd90c2289e154","datavalue":{"value":{"amount":"+0.8039945960044861","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":"Q3470458$6607973D-1825-430A-9FC7-59F6C4E76E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a8806235c720e03496a43a4cbd5126d7252eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4333469,"id":"Q4333469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f8b32d844ea38adbfc281c8db461097f5d3ae6","datavalue":{"value":{"amount":"+0.8019911050796509","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":"Q3470458$7B51C623-C637-47AE-8670-5C3358AD87A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3470458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3470458"}}}}}