{"entities":{"Q5210799":{"pageid":7240370,"ns":120,"title":"Item:Q5210799","lastrevid":53639330,"modified":"2026-01-25T11:42:30Z","type":"item","id":"Q5210799","labels":{"en":{"language":"en","value":"Exploring abstract algebra in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154576"}},"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":"Q5210799$A03D752E-5956-4606-9CC9-A45BC0011300","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cbcc358adbb4fbf492152414195bede95bd486e","datavalue":{"value":{"text":"Exploring abstract algebra in constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210799$5F7B8873-5B8E-44D0-8294-EFD5D9E3D521","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c659d53d211b1ae01961fc55333da6a1276184e","datavalue":{"value":"1433.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$63B7E257-3211-4DF6-9CFD-C45EFE98F70C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c53e466b01d4a15bd3d7990a2d3c4ba040a6b82","datavalue":{"value":"10.1007/3-540-58156-1_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$91E026FB-FFE5-456F-BC18-1D7DC464D9DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$0A8CD0BE-CA82-4B5F-BEBF-8E8B8E961955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210799$75314AEB-71AC-4F53-B718-9685A17284FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$3E461D63-E437-4227-948C-F5BF656A9CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$B3AD9CE5-0501-4A24-BF85-E7BDC21AF304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$AF058361-0432-4AA7-A0B8-FE7A30D6C14D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f5949729ece646610f0482f106f61ec016b2c41","datavalue":{"value":"7154576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$0988959E-7F74-470E-9ED5-F601968A3F30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$960CC230-5699-427E-8F51-C521D77D3E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$F8FA9EE0-5C37-4145-8331-F74C2F4140AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$A212444D-2379-4F5B-9C8E-C8E50D7F97B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$4899AB53-E0CE-4DDB-BEAC-E72C2EE36463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$8F6185D9-A63B-4207-B8AF-8156E95E7A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$73C4A06C-81C0-47EB-BE25-F8A28C974601","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":"Q5210799$1F742E03-353A-417B-93EB-E23EEAE75B90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5c67212585acff7bd6aa41f71bacaf924f8eb5b","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210799$AC0C0CCD-0F1F-411A-BFC6-B842BD24BFA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ad56cabfcd759ef76eacf7f1b1ce0d7c63d0e9d","datavalue":{"value":"W1530552858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210799$34BE8937-B1DB-48DC-8D3B-105D7DB3C4B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0c8df1ebe6e984c4d874c516da41cf5d410c48","datavalue":{"value":{"entity-type":"item","numeric-id":4261732,"id":"Q4261732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$BACA1BF3-7077-4309-8318-3B06F7447A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622da8d788ae8d18e3fd4a259a704448759c161c","datavalue":{"value":{"entity-type":"item","numeric-id":4767258,"id":"Q4767258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$C6329EAE-263E-4EC4-B48A-E8CEEB06148E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d20bcfebac6a448ef8340db0231c73f600de2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$2C8CFD78-A0AB-413C-BEF2-E79B873FAE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$9B0E6C02-057B-4B58-90EE-8950EDAC373B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615307e29a217c45b4ebd61904130f9766ab37f8","datavalue":{"value":{"entity-type":"item","numeric-id":4282537,"id":"Q4282537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$69F00080-1E9A-4B63-8F87-A46BBCE902A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a777760682b1e7e67a80ce2fd41c1434c739bd49","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$D4A40C87-38E5-4938-B158-8362BC527B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$4002B5ED-13E9-4CCD-A3FB-65301F854A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$97FF2A0E-993F-44BA-8D63-AEC88234DB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210799$FAE070D3-0373-4250-B366-FD664C3D9A82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f283ce1b7bb222e202a6acf28a6a844d9018de04","datavalue":{"value":{"entity-type":"item","numeric-id":5747673,"id":"Q5747673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e5ab0f6b7cefdffdd86fa53f01cf78e0fdbd41","datavalue":{"value":{"amount":"+0.7460451126098633","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":"Q5210799$3F8E1E0F-97A9-4FB9-8E3D-9EE674FD8932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542418b998932333df98aeb849260f0e64e3bcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3750136,"id":"Q3750136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a895dff54e550246bc4637bb44f1b8256824b01","datavalue":{"value":{"amount":"+0.7285422086715698","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":"Q5210799$1F8660BA-B683-4A80-968C-02CC35984262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8c89061bfe71fe903cf3a559ca8528d9eabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4536341,"id":"Q4536341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ceb719c7f7a8826762f663698ebd17a66b2c84e","datavalue":{"value":{"amount":"+0.7220596075057983","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":"Q5210799$03B06942-F01C-4B1E-B3BD-11D4D725CFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd9eeeda13bb94f699a06c8ddab45c037c7ed71","datavalue":{"value":{"entity-type":"item","numeric-id":2752048,"id":"Q2752048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0490028e75e0f3461c185b6c79beb8a1da613244","datavalue":{"value":{"amount":"+0.7205274701118469","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":"Q5210799$EBC4A423-815D-46F7-BCC4-1AE886E4971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a936d98ae0d5ebdcb9122e43f543841b8a600","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0490028e75e0f3461c185b6c79beb8a1da613244","datavalue":{"value":{"amount":"+0.7205274701118469","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":"Q5210799$CC093BE3-1CFE-4E35-A6FE-691CE5AEAFB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210799"}}}}}