{"entities":{"Q5416731":{"pageid":7446305,"ns":120,"title":"Item:Q5416731","lastrevid":51998465,"modified":"2026-01-20T17:31:28Z","type":"item","id":"Q5416731","labels":{"en":{"language":"en","value":"On the computational interpretation of \\(\\mathbf{CK}_{n}\\) for contextual information processing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6295289"}},"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":"Q5416731$AB122417-D3DF-452B-BCFC-9C113BA46E86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf33c4f291aa7576b59c768174852d984436a9df","datavalue":{"value":{"text":"On the Computational Interpretation of CKn for Contextual Information Processing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5416731$18DF5B42-E584-4CE8-AB74-41B660843708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c05d7fd64f328d599d19711ecb0c7c58c05f7afe","datavalue":{"value":"1323.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416731$B4243B89-029F-46A9-BFD1-31B0C7F7E4D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4faf6d52f2180e9c5ada7e738ccd802d836f8141","datavalue":{"value":"10.3233/FI-2014-984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416731$BFA8D3CE-3882-4077-83A9-C6D3EBD11762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416731$9A398203-2D6B-418E-BA94-F87BB53ED625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc9efcc2e74771e5be700695bdb2dc21d0c75e5","datavalue":{"value":{"entity-type":"item","numeric-id":764258,"id":"Q764258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416731$F19285C9-CA4F-4D2F-94F5-F2A50D358E0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416731$D86EE33D-B717-4201-8C2D-BEEEAB52A622","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c152340ac0b0636b94de35321a7f88ea26a273d9","datavalue":{"value":{"time":"+2014-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5416731$89F205A1-9222-4A97-B83C-0F5812E56509","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416731$FFC4BC8A-866C-4C5C-AA25-5C36966E77FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416731$4F41AFB2-3458-4987-8991-4CB27E3F827A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416731$769D8525-700F-47D8-93E1-C75E235B0429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4f6a2f37f106328a431a737f289c1f38e22137","datavalue":{"value":"6295289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416731$EFB88967-BAE3-4876-BC77-649A7E345EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7e8cf1a6d18df213ace3d0fcdf8ac9228f8bc5","datavalue":{"value":"modal \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416731$CB260D76-CB5E-4FF9-8BD4-DE2D90914B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9467e7549879f63b6f4fe88a7d655f4b7acbe9ba","datavalue":{"value":"constructive modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416731$D6CE64EA-336C-45EA-BB6C-6E451DED456C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416731$E956D4C0-680A-4008-BC07-085418A6ABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416731$7671BB14-B088-4D4F-BCFE-A70F032914A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d125caee2a597edaefb5964c92ca3d5cb8d094","datavalue":{"value":"contextual information processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5416731$FAEA0AE9-7FFA-4685-B880-F46023D8BFB6","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":"Q5416731$538AF632-7246-4672-B71C-2F246E01EA0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a8cfb01f11f3bb0d919331319620523fdbf099","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742578ca9acdc77a08903108f9d22c8c5c120045","datavalue":{"value":{"amount":"+0.7673234343528748","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":"Q5416731$2277358C-398A-4F22-9287-80C5A47F9D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa3e52fba1a9078ffd97183f542871dd8723343","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0a2d53b8c3a249d58f246138ab7d444690a3d0","datavalue":{"value":{"amount":"+0.7624495625495911","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":"Q5416731$42EC962C-DB91-49A4-BEC5-C580FD0532EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eced500058b3c9bb361c015d2054a1a57aeb91b","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0f637a5b3daf24555c871fa2c6e2a86c6970c7","datavalue":{"value":{"amount":"+0.7590681314468384","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":"Q5416731$1DE08E2C-1EA4-4629-9134-BCEC0A166AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6506c95f8f9d728a0b4a3ac3172370130debeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":4925871,"id":"Q4925871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577be3333b51b4900bfc528cc41de4578350468a","datavalue":{"value":{"amount":"+0.7546364068984985","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":"Q5416731$4E3F1349-7B35-4CBE-8A83-2AB2A229A903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48dbbaf88df094c4c610a5fe7124bb1ed6ba2899","datavalue":{"value":{"entity-type":"item","numeric-id":4918421,"id":"Q4918421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6d576e7233e88978860675fe358d7404554e79","datavalue":{"value":{"amount":"+0.7533556222915649","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":"Q5416731$085A1064-1114-431F-9864-6CA38C96A898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5416731","badges":[]}}}}}