{"entities":{"Q4842281":{"pageid":6871861,"ns":120,"title":"Item:Q4842281","lastrevid":47336596,"modified":"2026-01-01T10:21:30Z","type":"item","id":"Q4842281","labels":{"en":{"language":"en","value":"Some 3-Dimensional Systems of Labelled Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780068"}},"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":"Q4842281$E170E6EE-A9CF-40F2-B782-F64E50FE2F33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e60f18ef456085b3569b4f37fda560b11f1f13d4","datavalue":{"value":{"text":"Some 3-Dimensional Systems of Labelled Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842281$610775BF-12A7-459E-AA77-759E021EC17D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"769d0c9d34c3db1e91d1b604932726d690ce8e52","datavalue":{"value":"0842.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$D07CA145-D2D6-4600-9923-DF4635937051","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786020e0ac7e9931a89cbc17ee97a451f5240792","datavalue":{"value":{"entity-type":"item","numeric-id":174821,"id":"Q174821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842281$FED8A153-E669-4C30-B8B9-9D79C74D9C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16e7f627e6e9c247fb919d03f47eda62eaa793e8","datavalue":{"value":{"time":"+1996-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842281$8807F02F-4D48-40E4-9080-537D8BC361B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$09FAE7FD-5EA3-4534-A1B2-05AC58D6272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$DEE5D093-1331-4C16-9585-D2057558C01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$FB9984D5-ABC3-42AB-B1FB-7F22977F6409","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2732bb2282c188d58e1be077fb364f4bdec7d33c","datavalue":{"value":"780068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$4DA97206-E0AB-4100-9BA6-850117A4E0D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3028cee0f4fa953aba3d5d8a817e6bf705e05d7","datavalue":{"value":"Curry-Howard correspondence between proofs and \\(\\lambda\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$17C2264D-8EBC-427C-A575-0B0885873477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09394bb177b3de7716c1367d4d050fdf6fc7812c","datavalue":{"value":"sequent presentation of Lambek's associative syntactic calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$AFAA18AF-6241-456F-BD57-8E7C5D812754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$19C265E0-50C9-4CE8-A616-3B9816301EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$628DAFA0-3F38-4619-9732-F7DD00DDD89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f0d5e13217042b2f52f079f3d8df03a4623f98","datavalue":{"value":"quantificational type structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$1658ADB3-6A99-4D3C-B62E-E05254657B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6962164c72df3e116904aa233b4d5bae9ac144a","datavalue":{"value":"quantifier scope ambiguities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$61CB9008-60E3-4846-A737-0725978A1ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940a9bae4bad757d9468fa413bd0598536a328b1","datavalue":{"value":"resource labelling system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842281$E9EFAD46-7FC8-48C2-9BDE-9C6BA2D0FB18","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":"Q4842281$40DA9AA9-2627-4116-BA4B-D2CC4A87AA05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ce0d3975a2b8cbc851a3a912a43d601b73046ac","datavalue":{"value":"https://doi.org/10.1093/jigpal/3.2-3.429","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842281$E489CC82-B95A-4D33-BCFF-6176FFC981E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"568e027ae6dbfbab109e35ac3bb6f701ce9c1683","datavalue":{"value":"W2156106724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$A53D5C95-8B87-41B2-B630-604CD64F901E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb2b685c69e7fb36af7bca1bf9d6b2849e1e11ba","datavalue":{"value":"10.1093/JIGPAL/3.2-3.429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842281$AD281130-44E5-496A-99C8-D02936BA31BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842281$6397A028-1467-4AEC-8914-3149A38D21C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edaa022c1426eb859ca6660a00d68d01f3ac8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4946232,"id":"Q4946232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824644119ca735e4b3eca8ff5d6e02aed3a3cae7","datavalue":{"value":{"amount":"+0.781574547290802","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":"Q4842281$F34EF909-0276-490D-9355-4A6799974A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b74440cc62d975fc47553ad5ca791068767e8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4238425,"id":"Q4238425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd5abb61381078cf1423dc55a7c4f0ea9cb8a32","datavalue":{"value":{"amount":"+0.7778910994529724","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":"Q4842281$6620602A-738C-4D86-ACFB-4510559F6663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed5365e267bb1e27313734febcf5aa1b1c22a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1850953,"id":"Q1850953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd5abb61381078cf1423dc55a7c4f0ea9cb8a32","datavalue":{"value":{"amount":"+0.7778910994529724","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":"Q4842281$B21C634C-C29E-4D33-8C8E-9D9B35FFC9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2445d2a53fc3d9eee46f3d5cc9610be3bd2e4a3c","datavalue":{"value":{"entity-type":"item","numeric-id":4842278,"id":"Q4842278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57fa86aca833c6bd6e7e00f3131a1f29e933e87","datavalue":{"value":{"amount":"+0.7509853839874268","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":"Q4842281$CA6AAE4F-1833-4AA8-A3A6-7C2546D90214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b6ecaa36f1609889ff1e62f4978e12bc0369cb","datavalue":{"value":{"entity-type":"item","numeric-id":2937686,"id":"Q2937686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57fa86aca833c6bd6e7e00f3131a1f29e933e87","datavalue":{"value":{"amount":"+0.7509853839874268","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":"Q4842281$575794BC-AF4F-483D-BFBA-DBBD43D850D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842281"}}}}}