{"entities":{"Q4862312":{"pageid":6891892,"ns":120,"title":"Item:Q4862312","lastrevid":47391013,"modified":"2026-01-01T14:50:28Z","type":"item","id":"Q4862312","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 842687"}},"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":"Q4862312$1D78EE5F-DEDE-4695-9F37-671BC3383C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e61986a05c89bdc0f535182c30d62594d4eb1ca","datavalue":{"value":"0848.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862312$A2D378EC-3BB1-410D-8BC2-6327E398F5FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdf87fb982964371cbc6b176aa80689874696360","datavalue":{"value":{"entity-type":"item","numeric-id":386038,"id":"Q386038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862312$DEEF3EFE-3F5C-402B-AB20-9781F562B47F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55db9748d4b29401b41060ef3053f73991b416ec","datavalue":{"value":{"time":"+1996-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4862312$485347DE-BD6E-466A-A581-9A847262E1A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862312$67CA125E-141D-43F5-8B2F-3D830B0462E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862312$D9DDEC6D-8F55-403C-94AD-D44FC82B0904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862312$C4E82109-477F-43AB-AD6E-69D491FCDB21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eb76e281294202dabf7a4bd74431788982a1e3c","datavalue":{"value":"842687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862312$54EA73A3-79CE-469D-967F-DEAF31BAD572","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92553e0593b26e9391d829936c800437ab2b3d14","datavalue":{"value":"formal grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862312$D6937CB6-F904-43C8-A0E7-1935C355F5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862312$6CC936BB-7150-4432-8552-426BC641725F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862312$E14066B5-351E-460A-9406-410D5FB970EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fcc7267223fbe80dc8075e7db276e45e6548737","datavalue":{"value":"Montague grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862312$45AA8835-B152-4B13-AFDF-B84E9F518566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862312$0807A40C-BCFE-466D-894E-A9993A001180","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":"Q4862312$C65F4022-9E16-441E-ABF1-05A9CC4D299E","rank":"normal"}],"P1643":[{"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":"1e1aff96689e14c352b9a59c2920d3e4016ad8a2","datavalue":{"value":{"amount":"+0.7926040291786194","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":"Q4862312$1AA1C107-71FA-4163-AC66-18E8449FBC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db9f6cfd000c18f95ce8aa5fb078f7fcf741d19","datavalue":{"value":{"entity-type":"item","numeric-id":4398333,"id":"Q4398333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debc0d4cabf272baab8e949f732dd93d3aa99238","datavalue":{"value":{"amount":"+0.7765340209007263","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":"Q4862312$FC316E30-7E1B-49CD-9C12-B24CBEE3866A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49476276299c841150249ed7d8eeb2c4d4220407","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf080bd40199d12f5b4fd0607e24e1991ccfc691","datavalue":{"value":{"amount":"+0.773288369178772","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":"Q4862312$F13219A3-584D-41D8-8DB4-4D5C168506DD","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":"513695695e922455e106512b3a43ddabaaf0cda1","datavalue":{"value":{"amount":"+0.772070050239563","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":"Q4862312$9B76DCBA-DB4E-4163-91C8-BFC2B7333887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c804bd6ef1231e2a148547f4c26ac83ddc94223","datavalue":{"value":{"entity-type":"item","numeric-id":3348895,"id":"Q3348895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9a826036be36262844af500c830ac3c986f688","datavalue":{"value":{"amount":"+0.7715675830841064","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":"Q4862312$74DD5354-1A00-44D8-B14C-FEE90A7B5FCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4862312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4862312"}}}}}