{"entities":{"Q2968413":{"pageid":2979138,"ns":120,"title":"Item:Q2968413","lastrevid":44886909,"modified":"2025-11-28T14:20:51Z","type":"item","id":"Q2968413","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694181"}},"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":"Q2968413$0D2498AF-DB0C-4674-8940-D59625AB8937","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c723b34ea073a961ce5bdf33b82d57b8fa311db5","datavalue":{"value":"1359.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968413$76B99656-5BD1-4942-80A5-766F53B0B913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968413$45038494-D477-447A-B944-E912F1C8D65A","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":"Q2968413$1C8E0B25-E54E-4E3D-ACAF-754738E03F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14376caa07db3f1fa1adc4be796c3dca3ec648ce","datavalue":{"value":{"entity-type":"item","numeric-id":2311882,"id":"Q2311882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968413$4E227D6D-7AF3-4AEF-B5F2-DE0E200139F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968413$0E148EA9-01E8-42C1-8E46-2FD60DB35AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968413$AAFDFC63-ED3B-402E-9DAE-8922C74C5662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968413$095F2259-F3EA-4633-B0E0-A1B6CD73C8CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd70890bdb9822cda2e720a7df12ed410bda3781","datavalue":{"value":"6694181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968413$4ABC594C-8280-45F0-A8BA-3718B9308877","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726b5edeb1a3ba4dfb5448df32701b466be53d40","datavalue":{"value":"models of dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968413$3FBC32E0-5B99-4C1B-936B-FF82DE6F027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc006ff6c858158529f0c8fea632be308d5c4ab","datavalue":{"value":"cubical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968413$D7372B56-4400-43CB-8610-14DFCAF7B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968413$9FBA92EB-83B4-4EFE-BC4B-5BCC0790C4CC","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":"Q2968413$20B94BA7-C753-4F08-ADE8-FD8999A0A56B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc662f9fd76aaf39fd19a4d84b5b8e1e3194bb32","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968413$84F56B39-E686-4DB2-B56A-1F3A23CDDD9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2557dd07897a31b66a8a838d93de6f38e2fbece2","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5228e2e02674445a25785b52f948eb9fd01c7761","datavalue":{"value":{"amount":"+0.9463892","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":"Q2968413$EE7F0628-5556-4BA7-B07D-2F8539A9C7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc3fc35599d25d8ab7cc56fdf4080e2f961540b","datavalue":{"value":{"entity-type":"item","numeric-id":5277978,"id":"Q5277978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e873486553d31a53347bd48622b065c79d1146a7","datavalue":{"value":{"amount":"+0.9432773","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":"Q2968413$0F8C2C64-420A-4E4C-92FB-39AFC89BF1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c953c9e741b1de0ccf70dca743be53f7bd128d","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e699b83664e4c43311e63a86b29c62ef1cbb8a93","datavalue":{"value":{"amount":"+0.9392041","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":"Q2968413$63633E88-A964-47FE-800E-E0D80A993381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e0f7bb7fceb3fadcbe8d2ac5700e675b8c5206","datavalue":{"value":{"entity-type":"item","numeric-id":4611379,"id":"Q4611379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e699b83664e4c43311e63a86b29c62ef1cbb8a93","datavalue":{"value":{"amount":"+0.9392041","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":"Q2968413$4ACFDD73-6802-4149-B165-34182D159954","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":"1dfd91dd37720c3948347d1d53aedaaf179b6078","datavalue":{"value":{"amount":"+0.93326336","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":"Q2968413$9CCE7D7A-0A1F-4B01-9516-DBD81A489353","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":"32b185c0c73f293beb7877578b8cad3190b3c0f8","datavalue":{"value":{"amount":"+0.9183731","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":"Q2968413$6594607F-0858-4241-9940-58D3A972BE8A","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":"4473e919fab95f03367e6444bf6aeab157dc6104","datavalue":{"value":{"amount":"+0.9124229","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":"Q2968413$497895C1-0E0F-4538-A638-AC9F237ABD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76600fd4ad8a6a6ef0fa43597ded056e8bb3165f","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e56142d4a9e7e1c420d46956a73ec3a574da0c","datavalue":{"value":{"amount":"+0.91122997","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":"Q2968413$639EBEE1-F73A-452C-BE9F-30418E6B6F22","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":"41bc5dc116d9a6fae02b2848ee0d3fccf6d5f9cd","datavalue":{"value":{"amount":"+0.9096249","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":"Q2968413$EDD1ACDB-962B-4D0B-A70D-902DBF32F7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb33f413d4b09584ea7da91f3d3cf2b41bf927e","datavalue":{"value":{"entity-type":"item","numeric-id":385804,"id":"Q385804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8487d90378a400bc2a25d46e08575b84b30ac76","datavalue":{"value":{"amount":"+0.9079258","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":"Q2968413$3A7AA8C8-B06F-4A06-A049-5E72000FC087","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968413"}}}}}