{"entities":{"Q1280045":{"pageid":1290795,"ns":120,"title":"Item:Q1280045","lastrevid":70064442,"modified":"2026-04-13T12:11:24Z","type":"item","id":"Q1280045","labels":{"en":{"language":"en","value":"Categorial inference and modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251514"}},"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":"Q1280045$5F7AD316-72EF-487F-B9AB-21E05A6567B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66eba316effcdd0c8a74718a2ca4929ee167422b","datavalue":{"value":{"text":"Categorial inference and modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1280045$4E22703F-3BFC-49C8-B931-007B2D3DECDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fc3f7d2cdeae9f541273a05e67b2de9c1a2758a","datavalue":{"value":"0915.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280045$B941D2A8-82B9-4879-BFD8-07A35BE5C78A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c90890c254e0aa843ef75a347a2c0ac92eb5b2b4","datavalue":{"value":"10.1023/A:1008322125368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280045$CAB75A68-5BBB-4372-8D50-ADE5F60D4B07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ece5b693aa76572b186f3e8540450afbf9c6e5","datavalue":{"value":{"entity-type":"item","numeric-id":1280044,"id":"Q1280044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1280045$98776609-C43E-4577-B5AF-44F40A3C41B8","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":"Q1280045$005E34AD-FDA6-4F10-B4BF-A91902C0A3D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8538f1ba6baa09d5d0d64bc29fdc3e18f7dc8f68","datavalue":{"value":{"time":"+1999-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1280045$4651F472-C149-4DEE-803E-4BD8A06C70CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280045$1C8E1E3C-9DB2-488C-B357-7BFB7A1421B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280045$DB58B1FF-E323-4C21-9FA1-A22509F064AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280045$21E4196C-F6CA-4BBB-9B53-0294F910B38D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60d955f0dc9d08635964f8019adad474d1131863","datavalue":{"value":"1251514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1280045$4FBE78A1-1AEE-4F51-8746-E9F71ED56CA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$63A69241-915E-4FB7-9360-EAF2B31F958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f3aad28a85690fa03068192c09de7876dc3a69","datavalue":{"value":"non-associative Lambek Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$CEDFCD90-CDA0-407A-BA35-D272B76F2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19107e13887738fb0299693056f8878126dae938","datavalue":{"value":"structure sensitive categorial inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$5ACF121F-461A-4DAE-B50F-6CD8492529D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$AD28B29E-F8F1-4081-8283-98793B69D183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$E9703052-35E0-4CCD-88DF-313411DFFD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ed7b01a1c22950f3b8d43965bc28cb22daba9b","datavalue":{"value":"weak Sahlqvist extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$22746C62-5AA8-4C6B-9ADB-7559C9AC5BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$8F8301AB-6CD6-4A9E-A2B9-9BBFF9BE25FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5bdd6f5a847053ebad9469020d9f5e86b2e17c5","datavalue":{"value":"ternary accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$7A43E4BD-70A9-46DC-93B1-6E4FE8401D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9fc8e7a775d60cb3105c12ca3c1cad4ce57abb","datavalue":{"value":"binary Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1280045$66F31C00-0B5D-4E74-B0D9-0516A273DEFE","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":"Q1280045$D4F405CB-B939-44C8-B67F-4DA64F02AE07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327981d898ff7aa9bd4b2f43e384f00db55825c6","datavalue":{"value":{"entity-type":"item","numeric-id":4430398,"id":"Q4430398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744b06958b2f331116e7881396860b1b57b2d015","datavalue":{"value":{"amount":"+0.7384013533592224","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":"Q1280045$01ED76FD-11DD-4373-9065-A5E24BD14FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1744cfa7668f1ecd81c8ab0b50141ec30311dfc","datavalue":{"value":{"entity-type":"item","numeric-id":1314285,"id":"Q1314285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025d230f861199eb93486d1c237e2e10cae01ed9","datavalue":{"value":{"amount":"+0.7366997599601746","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":"Q1280045$6328F123-7178-4834-83C7-58EC3163C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0d39c74ca3bf26dc0add2f69bed792cb718c7d","datavalue":{"value":{"entity-type":"item","numeric-id":4230933,"id":"Q4230933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b731f3439b5e26cfbe48e59b61e9ce8b246d6a","datavalue":{"value":{"amount":"+0.7337544560432434","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":"Q1280045$A752E69C-40D2-4B30-B494-F37BD2080A08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorial inference and modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorial_inference_and_modal_logic"}}}}}