{"entities":{"Q5752573":{"pageid":7782124,"ns":120,"title":"Item:Q5752573","lastrevid":41648369,"modified":"2025-05-06T18:22:38Z","type":"item","id":"Q5752573","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187810"}},"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":"Q5752573$197763B3-67CA-4CC9-B87E-F16878C80991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cae47b9de30c8b66fd27d9b5bfd17c997d9f37ce","datavalue":{"value":"0721.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752573$8BDE853B-460E-4B1D-8508-20C33EE21567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752573$3914C48F-CD2F-4046-9351-CDED60DB41D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5752573$C014C212-4AEE-4DD8-80C9-554F48CD5D61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5752573$4F8E1E47-9D8C-4095-B394-544EA128BE22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752573$FA8ABD63-4128-4153-9394-BAA76AF1962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752573$44BFD1BA-AC64-4051-93C3-EEAA2319FF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752573$947621CE-E145-408A-91F3-F8911CC20733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752573$17833223-5F20-4523-91A6-3DE181B39658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf67bcb37e1f2b75878a7eb2d3493b691efb8e1f","datavalue":{"value":"4187810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5752573$756D63BD-2B9E-4E4D-A528-41323A01806A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b1504c2267babc1ea2e4a42b66d65935d46e4b","datavalue":{"value":"Coquand-Huet theory of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752573$1313584B-6FD8-4B49-B913-D720FE5C4336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a440774bd6555fd1f9431044153dcaf33070d3","datavalue":{"value":"universal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752573$49C7BE06-6883-4FCE-99EA-F348B6C49257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99423166315aa78644e62058f1a59085aa5a35b1","datavalue":{"value":"categorical semantics of Martin-L\u00f6f's theory of dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752573$55842C6D-568C-40B7-93C0-34DEE4543851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752573$C280B9CE-ED0A-4DE7-B0DD-EA86A07C6EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c125ff1aef758bad1c4b66a8fa46e97e8fbc69","datavalue":{"value":"algebraic toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752573$23C1DFFD-3ADF-4F8E-968B-90C0EE24DC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734a0ff4f6c3013543e3a212cbe72f630bceffd5","datavalue":{"value":"algebraic-localic toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5752573$DEFF9126-C7D7-4F02-A114-409FC504687F","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":"Q5752573$41EE8D6C-9AFC-4F9F-B5CE-5324D1B8CE52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b811cf4c0cb2dac863c6cb610bcaac1301e3ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5718562,"id":"Q5718562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e19f575398a6c2b4c3c5986cea35c7e5cbb41d","datavalue":{"value":{"amount":"+0.92585313","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":"Q5752573$663F3B96-AB91-4B1A-8A1C-5124A3D53A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7958485b30656a25158341863d88212ed7432125","datavalue":{"value":{"entity-type":"item","numeric-id":4268931,"id":"Q4268931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553ac5becb2839ec065cbdba953d2b31afad9ef3","datavalue":{"value":{"amount":"+0.901492","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":"Q5752573$9678D75D-286B-4A07-832B-9F4F6A12D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0526d2de6ea50db5116bfab90728355ff84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4961720,"id":"Q4961720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fc1ed1b3b62207349152032ea3e4782b24563d","datavalue":{"value":{"amount":"+0.89736116","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":"Q5752573$CFBF9695-3674-411B-A190-CAA0C163858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fc0bd9b24a50f4879867ef374d75d8eaf4446","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358e650880a78889c80b7dd355db10e9093f8218","datavalue":{"value":{"amount":"+0.88577867","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":"Q5752573$AE27CC65-747E-465B-A494-282FF0A8C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90731e1199153a1564fca364a72b1dd0985b99ef","datavalue":{"value":{"entity-type":"item","numeric-id":3726095,"id":"Q3726095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1ca6f312b2b6830d35784fb77dcd52e2150461","datavalue":{"value":{"amount":"+0.88494134","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":"Q5752573$1ECF269B-93AA-43A8-B558-9BB42EB21391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c6a4684fe2f0f6173a122b751e66dc74b98254","datavalue":{"value":{"entity-type":"item","numeric-id":5156772,"id":"Q5156772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99129a80b5d882f513f295e4f3132eaa0d30221a","datavalue":{"value":{"amount":"+0.8822408","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":"Q5752573$1C2D174F-8AC6-4919-AF62-6C2F2FA48F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab89f942bff26cf0948209e2cabde7a9b8370144","datavalue":{"value":{"entity-type":"item","numeric-id":4726231,"id":"Q4726231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff7a333d9e458b6f80f76ce1cea11fe0ddd25e1","datavalue":{"value":{"amount":"+0.8810149","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":"Q5752573$FE6B3D44-13B3-495E-AEB3-EE0012B0F135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aebf838e3058a83e19757bd49c183a8933d443b","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1529ebe9247d0ce61fe42b90254347f03e48016c","datavalue":{"value":{"amount":"+0.8791368","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":"Q5752573$CA5682BD-6A4B-4303-B59E-207F51477D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3747e8844e5c5c5cce72d7518f078ffe2bcfe37","datavalue":{"value":{"entity-type":"item","numeric-id":2805896,"id":"Q2805896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83f45e0342f790a4a8679885256cee6cf99a672","datavalue":{"value":{"amount":"+0.8787559","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":"Q5752573$4721C6D2-7E44-4C5D-89E0-1EC68F5F3F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c106b69b159933ab0a43f997f9edb8d09eb50e","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43d883195d47dea4c744a1fe1568a78aa1a90fa","datavalue":{"value":{"amount":"+0.8786154","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":"Q5752573$1B09EACD-416C-4EAB-A72E-1392B73F9A8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5752573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5752573"}}}}}