{"entities":{"Q6329469":{"pageid":13464818,"ns":120,"title":"Item:Q6329469","lastrevid":42211875,"modified":"2025-05-28T09:32:30Z","type":"item","id":"Q6329469","labels":{"en":{"language":"en","value":"Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6329469$C1941D13-2973-41B0-8F16-60EF5D4A8F41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-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":"Q6329469$21CD0031-39A9-4A24-87B1-217294F0184F","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"75f4575e7d80f69a41c0ff70cb8cc3638bbb52c9","datavalue":{"value":"1911.08174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6329469$81A3D40B-8B6B-4163-87D4-849078F4A1B0","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6329469$30E38617-F1DD-45A3-9291-CC7DABD719D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"5f89de75690464a9948d05b198632ff42913baf6","datavalue":{"value":"cs.PL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6329469$89D1C68F-8923-4073-AA35-801B2FD94F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6329469$F13ED9B2-FD35-477B-9C4C-D829575389FF","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":"Q6329469$E762D602-80E8-419B-807B-5D9A35D7AB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6329469$C62C78C8-5DAB-4BC9-8C09-BA518B7F5514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6329469$B2662C23-9D4F-4920-BD53-66D802395297","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":"Q6329469$3F0101C6-B537-482D-8768-EA0769E98623","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"cdada42bbe4d25d6de9930600c89096aacfd045e","datavalue":{"value":{"entity-type":"item","numeric-id":3300787,"id":"Q3300787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6329469$E7413618-274B-4A40-BFEB-57CD7D98062B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6329469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6329469"}}}}}