{"entities":{"Q5874199":{"pageid":7903750,"ns":120,"title":"Item:Q5874199","lastrevid":41756402,"modified":"2025-05-08T00:25:19Z","type":"item","id":"Q5874199","labels":{"en":{"language":"en","value":"Internal Parametricity for Cubical Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650826"}},"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":"Q5874199$23827C33-90DA-4D70-83D8-92CD0BE65FD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a128f3bdb66effacf4eed9018d85afddadc32c49","datavalue":{"value":{"entity-type":"item","numeric-id":5028424,"id":"Q5028424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874199$68F8370F-EABE-4DF4-9BC2-A29C378BC8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874199$8ECB6F1C-2A2D-40B2-86C8-FD638D2CEE43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874199$D0E604F2-79DF-4612-9E3C-78E5F701FF27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874199$46524050-6249-4272-B2E6-9185D14F75FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874199$5E3B94D9-5362-4824-BDBD-83AFA4222009","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf7d2037395e6f1208bd84c3a07081a4bc2caeae","datavalue":{"value":"7650826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874199$BC04BFE6-DF4D-4813-9ADF-94102EAE86D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874199$BCCD233B-D3CC-4FB8-A1A4-044234265150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874199$D956F9CF-D334-4A8C-86AC-25E5517F60E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6886acc9bb720e6ad7ca13e49d3bd87570dc950","datavalue":{"value":"higher inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874199$3609DC51-091F-4467-997D-2C0452B32371","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":"Q5874199$D0202F22-1CB3-4FC2-B106-99EBC27DB98B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6e3b799d1efadec03d1c17644396ef0ba89b5f","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/11656/pdf/LIPIcs-CSL-2020-13.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874199$3DC2FA41-409C-4C32-B876-D7F9359B5E35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00bcc56f6159baf5a30cf930a0df132174e068d7","datavalue":{"value":"W3003278180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874199$D0823207-1FB1-4568-ACE6-F5650DF344C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20e257f09eb7b51e58fca67d7a4933b3d2c91f85","datavalue":{"value":{"text":"Internal Parametricity for Cubical Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874199$02FE1F06-8D9A-4315-BED3-F9FB9D99FC21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d5c7954920d01602cebcdd2eefb07506cd2607","datavalue":{"value":"10.4230/LIPICS.CSL.2020.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874199$B317C0D7-1B86-49B1-82E1-FB13C14F3A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645ad25b577ad22d25dff575938608584a841b56","datavalue":{"value":{"entity-type":"item","numeric-id":5028425,"id":"Q5028425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$8A373615-FDE5-4383-8BC7-355FA8C45078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bcc8aeb44460893848e59e91008ebee928816a","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f80944e6247a7bdefd96622096bd0e3fbd84e87","datavalue":{"value":{"amount":"+0.9166262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$2BAFED88-05A9-4077-94D1-8895303898E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b82f244443386be345532129271c03a84ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05472d16ecba57fa8b29416841d3df2c0c0c9aa9","datavalue":{"value":{"amount":"+0.9134564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$839F1416-8BFF-4143-B976-F55A5F97859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f41360694a342b01d91d781884215d1a8bc1092","datavalue":{"value":{"entity-type":"item","numeric-id":2289082,"id":"Q2289082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04973fe065ade9a543aca5cef95316d14aa1dc71","datavalue":{"value":{"amount":"+0.9109304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$94221491-37FA-4DF6-A3FA-78FC3319E5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a087ce6888e89c27346063181cdf526639e94","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86ade942139660aab3b44e8a1949439bab14e79","datavalue":{"value":{"amount":"+0.9094134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$A5992FA8-E644-4F7C-B9C3-63AD79D490C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a1ccb3b200eacff668c56085d8ceadba2ef59b","datavalue":{"value":{"entity-type":"item","numeric-id":5145298,"id":"Q5145298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bdbf9a913430089353fd025a54c5507502dbf26","datavalue":{"value":{"amount":"+0.90885735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$6AFAAADC-C620-4AB5-A6CA-86D7DE7DECC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70332f25f8b1ef60c0baa6e2083a28ef246c43e","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da455d408e05076c3ccff25755821d2f8637f0be","datavalue":{"value":{"amount":"+0.90170145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$A16011C0-74C2-41F8-BCA8-467AF7913BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e826edb6f8f556bce47a5acd2423900864a627","datavalue":{"value":{"entity-type":"item","numeric-id":5310639,"id":"Q5310639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adb29bfdb7a14a5fd4e5587823873439aad11ff","datavalue":{"value":{"amount":"+0.897615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$3BE491D2-5347-4CE3-85DD-9552813968E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a47e96519ed76b15521d801a1cdea17c46063a","datavalue":{"value":{"entity-type":"item","numeric-id":5251190,"id":"Q5251190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4fa078ca0d1a51900848b9aa44cdee225c065f","datavalue":{"value":{"amount":"+0.8954525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$2C0B061E-9726-4732-8B00-9982A4967540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f54e379d69d0dc240102f34d8869c63f0750df1","datavalue":{"value":{"entity-type":"item","numeric-id":5874200,"id":"Q5874200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960fcf1d485489a06dfe1f1ba5cc09c15d7f45cd","datavalue":{"value":{"amount":"+0.8953732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5874199$D2EA05DB-16BA-4219-8223-2EBEBB779E04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874199"}}}}}