{"entities":{"Q5089020":{"pageid":7118596,"ns":120,"title":"Item:Q5089020","lastrevid":55415320,"modified":"2026-02-17T15:57:10Z","type":"item","id":"Q5089020","labels":{"en":{"language":"en","value":"Modal embeddings and calling paradigms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559284"}},"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":"Q5089020$E5109A72-08F4-437E-BEC7-5366898142A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2285d8b829d07ac88f14bf0c8507541af2328aef","datavalue":{"value":{"entity-type":"item","numeric-id":5089019,"id":"Q5089019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$D83166F4-AD8E-4AF1-9983-53B57E3084C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$78A83795-9558-4396-A8C9-FD1F6B76745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$F5721022-EAB2-4EA9-8545-4716A7F7F14E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089020$9737BFC4-3C3B-4B02-A325-7B5DE7E38C9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089020$2865AE82-BAF3-408B-BCC9-BA7177AD671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089020$65F159AD-F279-49D9-A4AB-658366746527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f72cab4a3fbac4ccf167b8c28132b443150f9b39","datavalue":{"value":"7559284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089020$236C8BC6-3A9A-4352-AF95-287AAF8E446B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eb279f05cd2ebc399f045df96f4fee92414d8c9","datavalue":{"value":"intuitionistic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089020$9D0D8E32-6108-48F3-8DA0-75BCC562F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089020$CE80D424-36FD-47F5-86DF-39482DDD97C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089020$C96544B0-FF81-475A-A1E0-60C9B1B4FA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1e58602a2ccc21446c4d1149c25c38bef6e8f8","datavalue":{"value":"comonadic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089020$04553111-D550-4610-B9A8-2A3FA66EA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d613ca5d558d91e811df923cf208208ced9e8","datavalue":{"value":"standardization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089020$98529815-8A41-439C-9600-17D8BCF9A1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3207a9ff64b31de47b68cdc055ec58fb7854f33","datavalue":{"value":"indifference property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089020$722E6ED4-CB53-42B8-BA02-BFFE67D101D9","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":"Q5089020$1C618B41-844A-4DB3-BDAA-CBE01545774A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$B9D62D40-F665-425B-8E16-61059F9FB74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$7B6C1C35-DC06-48B1-B9AA-5427ECCE3F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$3CF0E623-B66A-46AB-A3E7-2F716F12B715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526bed8032ccb2cb82ed669a4b9ed1af4bf2a6cc","datavalue":{"value":{"entity-type":"item","numeric-id":4358459,"id":"Q4358459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$1B621CD4-1E08-4D68-A029-DEC201D51C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$2E93A0EB-7AE8-457E-801B-76C2FE08FC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a5c08dc8961788926e623ce4a3da5d23a3f474","datavalue":{"value":{"entity-type":"item","numeric-id":3623947,"id":"Q3623947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$3ACD169B-F932-49FB-B14C-42B0B2B29F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$BF016490-C169-4208-8F02-3BD182B34D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$3B5A7185-CCD9-4705-B81E-A748944D923A","rank":"normal"},{"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":"Q5089020$FB4256D2-F104-455E-BBC5-747E72829884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089020$65B7C3DC-3904-4B0B-A528-A779B97B2498","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a52021dfe769ebd05d91863d4d3d63b711febc1","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089020$192B817C-7ED8-4696-A721-51BE653517C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2bc79e0517d8aff916f368038f3a46f437f018","datavalue":{"value":{"entity-type":"item","numeric-id":2141293,"id":"Q2141293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0730b7d3e043e6041e93d6d50e30f8fc85c0d2","datavalue":{"value":{"amount":"+0.8615926504135132","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":"Q5089020$F468DE6F-9062-47DC-A01B-F1D82774F62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d025ba33fd9e34bb4c7d3ffd85247ecf3e3535d","datavalue":{"value":{"entity-type":"item","numeric-id":3498449,"id":"Q3498449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af396680fef917f7a849d0529f638556a7719f34","datavalue":{"value":{"amount":"+0.7946500778198242","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":"Q5089020$8A1CE896-8ED0-4460-B271-37496BA6D37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f2294f92fa9b2b431175608483f391999effa9","datavalue":{"value":{"amount":"+0.7664565443992615","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":"Q5089020$7B3D8B69-FE76-4777-A037-304BF7A9DA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29295bd155063eb69492e734b7d10b1df7a9ecfb","datavalue":{"value":{"amount":"+0.7632359862327576","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":"Q5089020$4A3665A9-19DD-49D4-BF78-5B3674C89CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8aec5cf497c6441690a8319325eee2e4d847b4","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8452b8ca3a21f14db0a51678f524ed153acf4498","datavalue":{"value":{"amount":"+0.7476783394813538","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":"Q5089020$E0B7C098-B753-47FE-A99E-04C98660E477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089020"}}}}}