{"entities":{"Q6941739":{"pageid":21154041,"ns":120,"title":"Item:Q6941739","lastrevid":84099851,"modified":"2026-05-10T01:41:16Z","type":"item","id":"Q6941739","labels":{"en":{"language":"en","value":"Pure type systems without explicit contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8081383"}},"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":"Q6941739$59F630C8-7945-45C1-8861-D6A6C9B2E577","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14b8b06f3ab14de65e1cfa017b2ffdd1535f4ec3","datavalue":{"value":{"text":"Pure type systems without explicit contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6941739$92991C89-05AE-4907-BE87-06820E1410F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c59e14f304687f68211ee13950863464ce320f2b","datavalue":{"value":"1569.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941739$19EAA0FC-4629-46FC-9EC5-ACC02E9C7EA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e702a936e45b9597398cdc08f171ed9af95ebc0","datavalue":{"value":"10.4204/EPTCS.34.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941739$661F2FEC-80EE-4F71-852F-0E4161F24B93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$EC613029-95BD-46D7-9E38-BB9BE7678829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d784fe6cc5179886bfe36c86ddc8bdd92ade5a26","datavalue":{"value":{"entity-type":"item","numeric-id":549190,"id":"Q549190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$58A32F80-B004-4875-97C7-221FD5FDF241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d72c052d6a5ad7a719f388761353f23640a4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1725925,"id":"Q1725925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$106E7292-D91F-4A51-88F3-30BADD0CE2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$CB4B90F8-A2DE-48D4-920B-FAC3007ECF09","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":"Q6941739$BAEFAEF2-F75C-4747-88BC-C096F9DB56C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941739$936BB247-2FE0-4A21-8B55-20087E0DFFC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91af9d31c58b50b324e51648d10fcc4f7dab1ba5","datavalue":{"value":"8081383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941739$0B2913CE-9103-4B5D-8E65-60405AD06F23","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":"Q6941739$25E23CA5-6265-4523-9149-40B70D218F03","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":"Q6941739$9EE2C0C6-2B60-4086-923D-306EC93F62A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$E16B29F8-351A-4083-8A4C-84F2296169D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076a838bd0092606d2a19431691467a449edab0b","datavalue":{"value":{"entity-type":"item","numeric-id":2751370,"id":"Q2751370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$7A4E5C82-1819-4AB2-BBB4-8654F0D149AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$440EF490-ECC0-4CBF-ADBA-6AEA707278FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$A308E15C-468E-46F0-8816-2AF7CC1337FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$5BD570CD-47BD-479B-BA77-B6168236A402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74281b4fc2275e559f91f3c4723880845ce829","datavalue":{"value":{"entity-type":"item","numeric-id":2522269,"id":"Q2522269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$79B396D3-0692-4E48-809D-7AFBFCE95A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$54AC173F-7679-4E89-8E97-8E285073715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$B9475FFC-8FC4-45E7-8380-C9B2C609DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a122a0a90cb189d240a6ca2ed2138dbf57bf16ff","datavalue":{"value":{"entity-type":"item","numeric-id":6083699,"id":"Q6083699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$3A59F5DB-23D8-43F5-8194-DA44102744A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10d994e8a97bbbe2becee90fad178192db2e602","datavalue":{"value":{"entity-type":"item","numeric-id":5313072,"id":"Q5313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$2F2D9208-B596-44B2-93D2-3DB9BED262A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afff082a6dc69faf74ce9d16730e700193201fbd","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$D8A3E222-2952-4AF5-A5CB-F87EC79126A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d21c37671b9be618523ed9cacc13864ebd66a","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$821D16FB-E9FF-4748-99DC-3F39BDA67159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d306fe5453e13dac5aace6f82668ff9863de3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5904363,"id":"Q5904363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941739$684FF9D5-334E-4404-B864-5C9DC0570022","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pure type systems without explicit contexts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pure_type_systems_without_explicit_contexts"}}}}}