{"entities":{"Q6454375":{"pageid":13587379,"ns":120,"title":"Item:Q6454375","lastrevid":59184819,"modified":"2026-04-07T18:41:03Z","type":"item","id":"Q6454375","labels":{"en":{"language":"en","value":"Extensional concepts in intensional type theory, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 902341459"}},"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":"Q6454375$0F69644A-84DA-4583-A3AE-24CF60251887","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c0f6ec6cd9b4925c04cd75b46d92f38bb2aec0c","datavalue":{"value":{"time":"+2023-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6454375$EAFDF061-6D04-4F80-B97E-C91AEC9407A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848ba680bc4beb5e419f7a7def7b1448b789467a","datavalue":{"value":{"entity-type":"item","numeric-id":1785777,"id":"Q1785777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6454375$FDD020B1-0101-47A0-9370-B89FEFE6FD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94955301fd7350ce717697bea96718fd65be572d","datavalue":{"value":{"entity-type":"item","numeric-id":1636682,"id":"Q1636682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6454375$E0521231-0969-4F28-AEEC-96203A7C1A4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6454375$9C6945C7-5CC0-462F-AB28-293EE6AF457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6454375$CF0B7A1E-4CB2-480C-8C6E-6FC2F31672D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14cf1107e98a1d9962943e1e691c1c221972bc23","datavalue":{"value":"902341459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6454375$DCBF77A4-E718-4704-8A4E-25ADA3B73ADE","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":"Q6454375$87AB8D58-8AF6-4529-ABDD-2C873726135B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6454375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6454375"}}}}}