{"entities":{"Q2841233":{"pageid":2851953,"ns":120,"title":"Item:Q2841233","lastrevid":51779951,"modified":"2026-01-20T00:07:13Z","type":"item","id":"Q2841233","labels":{"en":{"language":"en","value":"Developing (meta)theory of \\(\\lambda\\)-calculus in the theory of contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190927"}},"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":"Q2841233$DAC5EBE8-EDC8-4486-80EB-54850615A206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a46b8c3781394ea7ce6d3cc57a42647468df3f0","datavalue":{"value":"1268.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841233$CAB62ECD-F087-466E-BBF7-4213B485F7AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d07f529848b4917b503ff6aadc88c8e2f7c7f8b","datavalue":{"value":"10.1016/S1571-0661(04)00278-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841233$35519110-382E-472B-A65B-4EA6699BEBB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$C7757048-42B5-408C-9BF5-290E5E8989A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$F3E0ED6D-ED6F-48B3-A121-8D3186AA6FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841233$47709486-3832-4830-B732-A0725A1980DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841233$13CBA7A0-D314-4400-9378-50C16C7E6BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841233$DED0E507-B239-4832-8603-8758983AC2C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eea62bec1bdee7b8864c0e62ad31d82b575dbd24","datavalue":{"value":"6190927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841233$6BC6C19F-0858-4321-94EB-373A1A3CB41F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841233$F3786AB9-765F-4B50-9824-5D6797967364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841233$7030B74F-F552-4712-B489-5865A2685BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841233$B26F3FFF-DC77-453F-8E8B-04DF6494D5A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$754C3234-28C8-4E0C-AC0A-D7793B9C1D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$202D7E8D-FD28-4F85-A21E-C256958729AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$CBCB2FC1-B06F-4B22-A379-DCFD6E9164BB","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":"Q2841233$62D19A86-441E-495C-8E0D-C03D7365B113","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$CCBDABCD-110D-46BC-9574-471EAA6AFABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$CD56C704-8138-400B-99DB-4E1F1CF6AA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$5BDBD168-E406-4541-982E-97A00A74528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde1d18e0cc121abdf56d21d4adde9cb14eddfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5472313,"id":"Q5472313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$459EC08D-B284-40B0-BFB6-63A6E048EC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ea7e81c6de0065717c066fc903d6beef24bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4647573,"id":"Q4647573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$824EC4E2-9871-43C7-AD2E-727EBB4523B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$5003191E-C66D-42E1-90B9-AF1C556C7DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7880cbdf3ea521643b7d84261ecfa14d69020d","datavalue":{"value":{"entity-type":"item","numeric-id":5958752,"id":"Q5958752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$0BE37555-9F35-4FC4-BA12-1DE64FA6AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$C8B79E84-747C-4AD4-97B3-725C2414016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc09fba81e6a14082e7e439b4990f073f09d0006","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$0721FDD5-C530-4D0D-8B4C-E8E2C1F06466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$A55A6AC9-6C2B-4E76-94B0-AA61FDFC4A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$C8193E18-6FC2-4539-B8E7-94B6C8CF5AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae1ae279a482446bb78d37be8963f369d811b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$00CF1477-9CC4-4FB0-BF8A-C8E6F780EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02225b9bf52ec561b65599c55548fe72422e1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841233$5102B94D-CFE4-40E4-838D-88D8B4CCCC7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"001fb2d05c7679660ffc673a39d3cba1f84568e4","datavalue":{"value":{"text":"Developing (meta)theory of \\(\\lambda\\)-calculus in the theory of contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841233$7A7A38AF-8662-4E2C-B35D-25BAD9ECC668","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14ffc87ae9579150588c68efa3e67f7336822c","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a21e475b353f51d8393ffdaa608b7a38747a6a","datavalue":{"value":{"amount":"+0.851666271686554","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":"Q2841233$DD5EE548-DB13-4F93-8B04-8041DC063731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bdfa47114e18ba8832ec0a219593596fe9a0b45","datavalue":{"value":{"entity-type":"item","numeric-id":2847780,"id":"Q2847780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a001842976d3afe2973a1fab241b5300cd4cd5f","datavalue":{"value":{"amount":"+0.7659364342689514","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":"Q2841233$867C86AA-EA5B-4F72-938E-6B81AE80D80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5398b6df03581d13840f4c2ed624403400625","datavalue":{"value":{"entity-type":"item","numeric-id":2358702,"id":"Q2358702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148f3ac3400b5334245baa0aca271175bac6a4ac","datavalue":{"value":{"amount":"+0.7570144534111023","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":"Q2841233$F7566C38-91D2-4478-8A7C-B3E5EF87BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d1fe06d9fdf5493a72540d53d6369aba7f6409","datavalue":{"value":{"amount":"+0.7504377365112305","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":"Q2841233$9CA7D3D7-748D-4CEF-A22F-E431E536DBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ced61b4e811154ba6d4ab8bcaa84a0b87f5cab","datavalue":{"value":{"amount":"+0.7481285929679871","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":"Q2841233$1A9E94B3-181C-47C8-B9A1-C148BA4D40BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2841233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2841233"}}}}}