{"entities":{"Q6941742":{"pageid":21154059,"ns":120,"title":"Item:Q6941742","lastrevid":84099842,"modified":"2026-05-10T01:41:09Z","type":"item","id":"Q6941742","labels":{"en":{"language":"en","value":"Explicit substitutions for contextual type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8081380"}},"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":"Q6941742$BE1855EB-32B2-45C9-8637-23D788351BB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adafeeb5256b84e868458c15d95a41a57b89c0c3","datavalue":{"value":{"text":"Explicit substitutions for contextual type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6941742$176AA06D-3296-45FB-B24C-DF848B1A4C03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58c5380f829b1110771a785cc32fe0fc36801021","datavalue":{"value":"1570.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941742$8FC9EA2B-5E3B-498E-AEEF-0D21D20AB13E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f5f4e4af0b461ccd54b2e451b9ae6908e8b4440","datavalue":{"value":"10.4204/EPTCS.34.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941742$AEB15397-92E6-4D01-AC9C-082E40978040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$E9DDE1E4-0DFC-420F-BC21-F101E6427C14","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":"Q6941742$683EC202-868C-41C0-A458-63F768778049","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":"Q6941742$CF9E7CB9-3236-4DEA-9A2B-C613570EEEA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941742$3728B824-1ED4-464A-B500-3B1E89D15DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941742$FD90D02E-90A4-4364-823A-FD9F81CEF8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941742$61E2FBC1-4A47-4920-BAF8-5F318F18D779","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e12330e878287d034632eb08dd019f5fcbef4c51","datavalue":{"value":"8081380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941742$D9CF0241-1C0D-4647-8751-4E0B100FAF01","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":"Q6941742$5E179623-28D0-4EAA-9309-C6B91E07E75D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6941742$570D6FF1-9A00-485E-A62F-23879869C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02cf0356d3c67a424ace80a078775b45e662bbcf","datavalue":{"value":"meta-variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q6941742$2CA046B1-FF9A-48E6-9350-646BE4812281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6941742$2AB3CC81-4A70-4DC8-B952-A83AAB65FC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6430612c0b249c935b8336868b9f8965bf2e883","datavalue":{"value":"contextual modal type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6941742$2FCFDD22-248B-41AA-B543-3F5DC042C819","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":"Q6941742$A1B902AC-FCF2-4A12-8D78-5563282311C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$AA2C7062-5086-4A23-A763-DDE0D5CD05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68233b67a9f682019ba37caed6a30ff45c93cec","datavalue":{"value":{"entity-type":"item","numeric-id":3593498,"id":"Q3593498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$DCFB5115-869C-4F9E-A8F2-40ED5B0029C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$6AEF2A94-13F9-4BC0-9562-BA1FEDF82EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$4EF05593-1BD7-4AA8-98A3-3A23E36F9F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$E51F7BC3-E4E1-4A3D-9E0B-C1669169593F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$F97AC957-854D-4C2B-9B1E-EA9FC60F16DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$F2E52943-F73C-4826-90D9-4A26FAA2EC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbe5267d1195440877775dc4014bcf6f86f7960","datavalue":{"value":{"entity-type":"item","numeric-id":861365,"id":"Q861365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$EA2CD7FA-67F3-4468-96A6-52434FFCBEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f424568afbee8e6c5fde4c7bebc92442b4ccc1c2","datavalue":{"value":{"entity-type":"item","numeric-id":1129257,"id":"Q1129257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$1993BBD3-4353-4BC9-922D-B961825EBF06","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":"Q6941742$0073E42D-66C7-4A53-B911-12B795C68290","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":"Q6941742$D763C9F6-4805-4613-BCA2-25043565CF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5529fc59fde090e80519f64caa2fc1f892f31635","datavalue":{"value":{"entity-type":"item","numeric-id":5458389,"id":"Q5458389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941742$19A625C3-BA95-4EB2-8169-E95FAA53491E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit substitutions for contextual type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_substitutions_for_contextual_type_theory"}}}}}