{"entities":{"Q6940445":{"pageid":21146277,"ns":120,"title":"Item:Q6940445","lastrevid":84102689,"modified":"2026-05-10T03:14:21Z","type":"item","id":"Q6940445","labels":{"en":{"language":"en","value":"Multi-level contextual type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082601"}},"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":"Q6940445$5BC1C7E8-A5B4-4587-BB5E-F01C3EC043B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1dd2781f3b68b78c3229659576c51b081af0975","datavalue":{"value":{"text":"Multi-level contextual type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940445$1F40A8F4-5B57-44D4-B27A-C78A30A8ED9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efbbfd86ad6e10f3871c27ac9ee1ae97bbd7672d","datavalue":{"value":"1569.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940445$9C4535D1-BA51-422A-93CC-6FD5682390EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a08817103bcb1a1182e9a48d10624de9cef194a","datavalue":{"value":"10.4204/EPTCS.71.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940445$EC61D423-72C8-4582-AE71-A9C56433309A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9582376c384aa8c5a3aefd4fddf6e8959cf8d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":6940444,"id":"Q6940444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$3D7E4198-C6BA-4ADF-A5EA-1F63A2CC444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$C597220F-DD2C-465B-91C7-86F3D4A7DA89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940445$FFFDC7C2-6B0D-484B-A903-294D16DE87A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940445$01B55451-6119-4BCC-9C4A-E5C7BA9D61A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940445$43CFA7B4-0960-45F9-A197-29F4356186B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd1f239cfab1a4f0bb72d1b2521ecbe3c8877460","datavalue":{"value":"8082601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940445$8FC30583-804F-451C-A293-548F24B5C0BE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$D0DDB588-543E-4DA8-8DF0-08EBDA9E3516","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":"Q6940445$DC018197-619A-4070-98A5-578833C9CFA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e137554327a83ce459440ec8b7c475f1ba7c54f","datavalue":{"value":{"entity-type":"item","numeric-id":6941742,"id":"Q6941742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$5532D53C-99A6-4D09-AEF3-66F6A7E9666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca8ab5b657feef146fdddd48e26b4ede4a72db3","datavalue":{"value":{"entity-type":"item","numeric-id":3007654,"id":"Q3007654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$BF8AD29C-707F-4A02-8BD1-473430808268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27728b985aaefa6241d7f1c5f37b977b1744c778","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$797C9A56-E239-4C5A-B6AE-E51DA9B67D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$FF6CC4A7-39BA-4322-B02D-B7605BE11664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$E81A712E-7033-4C0C-B573-C225AF420123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9708c5a8afeddedd783a2faf1f8fff988b1a47","datavalue":{"value":{"entity-type":"item","numeric-id":2871858,"id":"Q2871858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$8EBE775E-68FB-4174-8B4C-237DD7856F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da3b5e188ab4d88fc2d4a3b0c2f190a5388a40a","datavalue":{"value":{"entity-type":"item","numeric-id":1044184,"id":"Q1044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$43F76719-CDA0-4762-BB0F-7AD933ED3A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab39f3e76955eb000a374ee76583aeff145f9c9","datavalue":{"value":{"entity-type":"item","numeric-id":4411846,"id":"Q4411846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$91EC98F6-CFEC-402B-B41F-FDCCEB929675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e15ad9c46137b3d63c9c98171e0bb2b809aed0","datavalue":{"value":{"entity-type":"item","numeric-id":1313954,"id":"Q1313954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$E7A327F1-84A3-45CD-AA76-CA423BADFB04","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":"Q6940445$FFDEAFD0-392E-468F-910E-3E0EB47FDFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$659A9E07-25ED-479E-B4D0-DCCC517C69F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367189479a0b8a1dce5a6b297a499a3743fa3490","datavalue":{"value":{"entity-type":"item","numeric-id":2454612,"id":"Q2454612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$05A6042F-40BB-495D-8E56-8636D69F2989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd97334618a8abcb30d6b953aa7791488fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":3189856,"id":"Q3189856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$7048A829-B62F-4AE3-BB67-449FD432C5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$F1A60A36-CCD1-4181-B52E-584F7A4DE24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c7c1567cee615cb93a6f63e4d461ecdc567d","datavalue":{"value":{"entity-type":"item","numeric-id":5900734,"id":"Q5900734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$CF9E4CD3-E8F8-4654-8C2A-6D834512A281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a323680a17c06e543b6e4a9819dbdfd285ade5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5292660,"id":"Q5292660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$3F2AB69A-6C20-41BF-9228-9863A8C73FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f361a4164fce3060765f526c66becf8221bf05db","datavalue":{"value":{"entity-type":"item","numeric-id":5176952,"id":"Q5176952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940445$1DDEFADE-8749-4983-B070-89A290B6C304","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-level contextual type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-level_contextual_type_theory"}}}}}