{"entities":{"Q3300787":{"pageid":3311495,"ns":120,"title":"Item:Q3300787","lastrevid":55376791,"modified":"2026-02-17T15:00:54Z","type":"item","id":"Q3300787","labels":{"en":{"language":"en","value":"Failure of normalization in impredicative type theory with proof-irrelevant propositional equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225974"}},"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":"Q3300787$9186FC6E-21D2-4C94-A3FE-5CF1DCCCD146","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":"Q3300787$F1A77619-E1C6-4B31-B4DC-C311C344A60B","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":"Q3300787$45CC38FE-F860-48FC-9126-B5A2FF3EFF34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60f1b35d6daf10817fede04796910fcdeed36a5","datavalue":{"value":{"time":"+2020-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3300787$FB0D429B-DA22-42AE-9D52-F8EEA4DE86FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3756c45111a7e88ecfeca6cb6c7af0f8eb37a249","datavalue":{"value":"https://arxiv.org/abs/1911.08174","type":"string"},"datatype":"url"},"type":"statement","id":"Q3300787$5EF82732-ABA1-4E6F-908E-335088FCBF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba4a3179e61e68beeb09b05826c4070d63ab0e0","datavalue":{"value":"https://lmcs.episciences.org/6606","type":"string"},"datatype":"url"},"type":"statement","id":"Q3300787$BFF7D0CD-D903-4D70-88D8-20E0C2473A8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300787$4A91896D-87CF-4A86-9F3D-A4A5363C39E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300787$30079833-07C4-4080-B9DC-46E65E1AC7A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d166950d89b9a0dd0ebeaf74812e7cf7277d91fa","datavalue":{"value":"7225974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300787$8388A0EE-C1BB-4C67-8DD9-025C034DC813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee68af7e923a7b9a14ef0715f7923cfbd97e882","datavalue":{"value":"interval based temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300787$496A4483-2EDC-4071-936A-5BA6C14689D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300787$C1704FD6-440E-425A-A46C-22696200F816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ed19294ba1dca5c122265b4ed4523ad17a6d44","datavalue":{"value":"Allen's relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300787$9D90D40C-34DD-4E16-B2AB-C14AE34D0C22","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300787$6877C15C-6D6D-4C29-A6FB-2E7BF6379653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300787$12EA4768-56E5-4788-98CC-E65A231D00CE","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":"Q3300787$E84795A4-1F8E-428D-AA3C-6612F8A4E21A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f906a6c0ba42d81e90b39ec78737b021dabe4a91","datavalue":{"value":{"entity-type":"item","numeric-id":4087141,"id":"Q4087141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300787$B3CD0AD9-E5FC-437A-A697-96AFA7369C76","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":"Q3300787$C1E99325-6F6B-46E0-9FA1-E7CA777566AC","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":"Q3300787$C74385EF-D2FC-494C-8399-EAD2FCE100DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219c1bb96cecb67d33cca75f9ca3069dcf90679b","datavalue":{"value":{"entity-type":"item","numeric-id":1606917,"id":"Q1606917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300787$BB7F702F-E78A-4EB7-B340-3B87F033ACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300787$4BD2530A-4393-449F-BC79-D3C347E07945","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de30d754af82d7575c5218ddb8f50be80efb2ac","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23a9b04f06086694bdb24312281b6e461ff1e79","datavalue":{"value":{"amount":"+0.6961999535560608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3300787$373506D1-7E74-439D-974B-A8B6FB834EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4128576115585c6eeba0ae32dedbf5d93cb852","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76f4c1d37cd9863667c2981a35dae327e52c44e","datavalue":{"value":{"amount":"+0.6912875771522522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3300787$1DE35CD1-93D4-4797-9E26-A61C17983CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0374978b71ce4f934a36d4ae8d192493815b5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3613437,"id":"Q3613437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499187dcb638cbcf8638674c2a1e7df312b16fdd","datavalue":{"value":{"amount":"+0.6909780502319336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3300787$28E264D1-059B-4484-A63C-A2DE41AE2D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec1bc88c780d0b5c92400e3167000d28f157898","datavalue":{"value":{"entity-type":"item","numeric-id":3000599,"id":"Q3000599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a135ca8524d7039717d688f3171887fa97ef0f","datavalue":{"value":{"amount":"+0.6885802149772644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3300787$AA5AABE1-5D45-41AC-A5BD-D30F2D6BAC42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3300787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3300787"}}}}}