{"entities":{"Q3406453":{"pageid":3417156,"ns":120,"title":"Item:Q3406453","lastrevid":46143127,"modified":"2025-12-23T12:46:49Z","type":"item","id":"Q3406453","labels":{"en":{"language":"en","value":"Full Lambek Calculus in natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5671709"}},"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":"Q3406453$AB15FF5E-CA0E-4689-BA7F-A237EE711A21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed7d828b57f89dcc56806173802c4ea4ef5019fc","datavalue":{"value":{"text":"Full Lambek Calculus in natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406453$484D664C-7B1E-464D-B15C-7553B2A3CB66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"239a66e69e10a84af5e087fe6f104050fc6f5b39","datavalue":{"value":"1203.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406453$A964EDAA-84BF-4A20-90E5-995DC4D23618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731bbd863e426c881575785bf5fab09d2fd3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1005978,"id":"Q1005978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406453$0304615F-2354-4C65-B331-75933CE42317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406453$E7E0ADFD-36CB-489F-B9CF-B018FC88FAD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c9e9fd36ea5cba406777e17a8f4a095d5f4d8cd","datavalue":{"value":{"time":"+2010-02-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":"Q3406453$4CC50828-EBFD-4B52-B561-8A6D5FC2DADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406453$342D9B7F-8756-41BD-8C2D-B464A24E6300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406453$E7B64ACF-2939-4BA2-8A5A-AE1528DCFF6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"343157fdeae6e739218c578189879b51f18843bf","datavalue":{"value":"5671709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406453$F46BDBEF-6E9D-4FA3-9F90-72F5144C8CDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406453$ADEF5C9E-5C4C-4C6F-A5A9-FC8871CADF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406453$1A4BA18D-85E7-41D0-942D-718588301942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406453$9B8F807C-7455-4ADF-AEC1-16345336228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb9cedd71a420fdfb651dc9e12e9d17364dba6d","datavalue":{"value":"multiplicatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406453$70A319E9-BF29-4AEF-BAF2-2A821671E25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e5569cdb72f7080ab7f2cfa25dad10cc3168b2","datavalue":{"value":"additives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406453$DCC64863-44E9-4F9D-858C-59C4FEDE9FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406453$26895222-1796-47A4-A709-1F3D4BF96E39","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":"Q3406453$BF8BF1BB-ECD4-4AD1-B4E3-1057F3D4C6FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42040dc6e1e20fe5630f18b9fd6ffe5d7374b709","datavalue":{"value":"https://doi.org/10.1002/malq.200810042","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406453$738F0983-5DB0-42E5-B5F9-3321FD1C4433","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa233c725aaea3e904f21d7109ef60518c018b83","datavalue":{"value":"W2080962320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406453$17248D44-526E-481B-B361-66DDA607E5DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406453$E37EDCEE-51F2-4F1A-BE03-999702E00667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406453$189AD612-E58A-4DC7-9592-C68351E196DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fea2cadcea1d9df9a09b31cf450f2b3df855d9","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406453$5597DD1A-0C3C-4E26-AD07-5A0D01A17BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82dcde898a9023fa531b48d50cba4aee84e53250","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406453$5332B6C0-495D-4E3B-A2CC-7727C2AB37EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7583192fd2c711c90a118231ea14896efa3f379c","datavalue":{"value":"10.1002/MALQ.200810042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406453$1D963204-EC6E-4D2C-BEC5-0DE295FF9949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c1a4eb9c1eae4661ad490d6b1c40714c345869","datavalue":{"value":{"entity-type":"item","numeric-id":3520236,"id":"Q3520236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd2d9835f4995742fc7caf8d6ed200bb62bfdb1","datavalue":{"value":{"amount":"+0.8923116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$ECD50F7D-CA6D-4CC3-8821-F3DB184790A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda618b265d8aa24636d9985483c3fdae0a4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":1850949,"id":"Q1850949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9599ff2e9453a5006d551fcf8b2c0c71349f32b","datavalue":{"value":{"amount":"+0.81872725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$B9E54274-9AFD-41F4-890F-B1BB2B2C2DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1194969e29ecfca5a384cdef85215621a33b78c","datavalue":{"value":{"entity-type":"item","numeric-id":2236507,"id":"Q2236507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef82876d5990219b5c24d7796ddbd4a59f990650","datavalue":{"value":{"amount":"+0.8174784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$6C3A483D-DB05-472F-845A-FCFC932AF591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f55894194e6ce911d6de78c54f09c364659c184","datavalue":{"value":{"entity-type":"item","numeric-id":332086,"id":"Q332086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfd7b517b5230d64aca29831ffa2a39ad4bd525","datavalue":{"value":{"amount":"+0.8072413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$FC969516-48D6-4FBE-BF10-FDB7E26729D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a205675c4d4867cf7fe1c75868fae5450ab2626","datavalue":{"value":{"amount":"+0.79660946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$A888A683-2913-4304-82B0-C247A36AA744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839ebeb8d22946fd398802d6e5e6f476f3ac389d","datavalue":{"value":{"amount":"+0.7954137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$15D6C794-6BE4-4337-A8C8-AEC816B64193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a35544205ce0f74d0f34df33b212fca9f87ca47","datavalue":{"value":{"entity-type":"item","numeric-id":5283424,"id":"Q5283424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1201440017479566d4f924237f587514643e166","datavalue":{"value":{"amount":"+0.7949124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$C8B1B2E8-50EF-4813-87C4-F9D4A9BA8105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322a3068af9b4090a58ea744336a5ef4dfe46cc6","datavalue":{"value":{"amount":"+0.7909268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$95C367B6-DBDA-4E0D-AFC4-B3D1750D16D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb50c0a66031ae753b861dd521ff92223c823a1","datavalue":{"value":{"entity-type":"item","numeric-id":5014595,"id":"Q5014595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85577689f9f3987fa5e4bab7c387c1fce880cd2","datavalue":{"value":{"amount":"+0.7890971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$1D4EFAEC-DFA9-47A2-ACF3-EAE2D5ABE5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6574b72c4eb47bc0002f465bfe871799da7126de","datavalue":{"value":{"entity-type":"item","numeric-id":3389495,"id":"Q3389495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740e4166b01883c592ff9f1386ac7f04eec03a7b","datavalue":{"value":{"amount":"+0.78777766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406453$1B3F4DD2-6E1C-4B52-900C-8091AE93DF04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406453","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406453"}}}}}