{"entities":{"Q7325543":{"pageid":31366453,"ns":120,"title":"Item:Q7325543","lastrevid":105125611,"modified":"2026-09-17T14:26:09Z","type":"item","id":"Q7325543","labels":{"en":{"language":"en","value":"A two-level linear dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8251824"}},"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":"Q7325543$B60283AF-8243-497E-BCB7-D3BBD952146A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64b259e992031a12a8d390dc068289f9e74da1c2","datavalue":{"value":{"text":"A two-level linear dependent type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7325543$FE642AC0-97A4-4AAE-8595-A8490074D3A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"135a481c887656aa79046db64913a7bbb4feacea","datavalue":{"value":"10.1145/3819821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325543$1F362F61-D4B3-4E9A-AD88-1970AD226874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"418121cb61ef11c95eb2ad74461768465e01b59b","datavalue":{"value":{"entity-type":"item","numeric-id":7325542,"id":"Q7325542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$5D371B35-8ECC-4305-A50D-C8A86B9B78F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef15dcc9d238b439c915f4010ff60c2a860bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1286372,"id":"Q1286372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$D276716A-2623-4505-9E89-4E2CFE0E4139","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$6E715365-AD89-40BC-A9E3-D7F4219A953F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872c14032389646afc449a111a40c6a7cea5e0bd","datavalue":{"value":{"time":"+2026-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7325543$E965F5C8-AD70-4309-BE2F-7BCD6DCAF762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325543$CE1ADC19-0EEF-4F5D-B39C-9010BB7DF60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325543$04D5C7E5-25FC-4DDE-9CC2-E58710E16689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a7a3b698eb431552166d20c9da06978c009093d","datavalue":{"value":"8251824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325543$D16F44CA-B050-4CC5-B4D3-1938AC850151","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$6B66460D-48E2-42F8-AEF8-C4096B86B2AE","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":"Q7325543$55648087-D28F-4B9A-B155-18E4CBC126EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$4C972DA8-2974-41D7-ADAE-C66320D9D25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$2875F610-8B97-4B56-898B-3753B019E457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$EE41FEE7-5F4F-4B19-BF78-0A2E7B8062CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f804ba9bd933e99538ba26edc67730d9ee308ef","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$0F0F1921-7635-43A8-9AAB-AE56D9785087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$2074B4FD-A32D-43B2-A6FE-5A5C6E0C4077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$01B4ADB3-A881-4751-B163-26A924297D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$70F08E59-6969-4993-85D9-734F2E8CA3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$624A6431-8F0B-4390-81AF-798630103E8D","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":"Q7325543$B96FC04F-4C5E-4CE6-9074-62E052FAD6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$FE4F613D-7B2C-47C3-B524-2E81B30DBD2A","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":"Q7325543$FA7A18F0-F862-49CF-9C5B-6014F1392912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$5A9BEAA9-53A5-4B1E-9326-F081F894871B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda1cd2309f719dc08cfd443fcd1e31d414564b9","datavalue":{"value":{"entity-type":"item","numeric-id":2819785,"id":"Q2819785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$3F9EE237-48B4-44AB-81F5-8061C7EB5C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$5023AFAF-7022-4B3F-AB1F-6408BCD7CF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$FC2BBBBA-DFAA-45EF-B13C-13389B504BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faeb28f21670a4c91ad21a401281ecd6f7c93ca7","datavalue":{"value":{"entity-type":"item","numeric-id":6166794,"id":"Q6166794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$8589B264-4756-447D-8743-82BD707773EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$81BEB040-F106-498D-B6A5-89B571DDC853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fc169fa8502374ec38a912feacc8828421ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3188289,"id":"Q3188289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$01944EDD-3BCB-4510-B2C6-E12082617105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28d48517ea43dcf1dc2bbbada71a7d7b49291bd","datavalue":{"value":{"entity-type":"item","numeric-id":2778831,"id":"Q2778831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$75FE6BA7-6766-4564-B2D2-C52B8557ABED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$2CB72C4B-777B-43C2-AEA4-F7F4A47F98DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$A54306F2-3D89-4DA9-A085-8C0ED03A31DA","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":"Q7325543$579EADFE-B8C9-47CC-A25A-0B761BF28AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$F3690C21-54F2-48F5-9359-4D3B5E5620EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a92bad41a3299badeba0ea5b6b613fcdbc4a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5096293,"id":"Q5096293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$E7FB389A-AAD0-4C2B-B255-AE0C961FAC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41308c1782b1ff2b7c0782c40e4e87e4e08e5ed","datavalue":{"value":{"entity-type":"item","numeric-id":1575871,"id":"Q1575871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$68C9AA0F-BD06-4478-9744-39EA96E0068B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3672c8b02758806da440a6d77105fdfedf9117e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308083,"id":"Q5308083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325543$595A4DE8-D750-4375-A527-5F5C09F964B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A two-level linear dependent type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_two-level_linear_dependent_type_theory"}}}}}