{"entities":{"Q2842826":{"pageid":2853546,"ns":120,"title":"Item:Q2842826","lastrevid":83728019,"modified":"2026-05-07T10:15:28Z","type":"item","id":"Q2842826","labels":{"en":{"language":"en","value":"Joyal's arithmetic universes via type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199131"}},"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":"Q2842826$1C5BF0A5-69BE-4844-9E39-3C973E3756C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"573e1e5b5bbdf68e08b3a38446a52cd69210db03","datavalue":{"value":{"text":"Joyal's arithmetic universes via type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842826$E9B0CA9C-4CEC-42E6-B5FB-121D0C72AE3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad0eaabc3fface640d9686412619b4bf08faff4a","datavalue":{"value":"1270.03144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842826$306C7EC8-F5F4-4377-80C6-206EFBE3FB3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e19380fd1a820ecf2958a6dd5ef09dbedd68e3ab","datavalue":{"value":"10.1016/S1571-0661(04)80569-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842826$2F815C0D-F55A-40C6-80F4-0D9C85243512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$865361EF-5594-4681-92B8-36F2D5A6DDF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$8CCF34F4-AD62-4437-9EC1-251AC335FB66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842826$128043FB-44E9-49DC-AE43-0094CA6ADDE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842826$2C354E7D-2362-4A84-AD97-6199C0AD4AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842826$C5946B8B-127C-40B0-A93F-062F95D2023F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fa52ce6c632cb78ca98f207f7e8b16ce14b5539","datavalue":{"value":"6199131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842826$9AD08FBE-77B3-4DC0-838E-E0917D77E479","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":"Q2842826$F4962AD2-270D-4725-980D-7E0E423218B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$D10C7954-B136-4BF7-8D93-5F3399100C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$77CC5AB1-3D4F-4A7A-8C82-ACB9EA67F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac770052cd7a8314f8effbb8bf6064b23d807da","datavalue":{"value":{"entity-type":"item","numeric-id":752170,"id":"Q752170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$7B29DDDB-C313-4ADD-942E-6B261DBF8B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$6F572803-938E-4E14-AF3C-0273E54FCAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$05D8D13F-9FC6-4660-ADDD-53532F1132FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$291BD058-5AF3-48A7-A790-C94D81E1B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$E9B25BE9-4F60-4D4B-B34F-04739B4A33CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$A9A8A25B-96F3-4A2C-8429-EEAA0A30465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$1EF5A0C8-C0E9-4547-8E65-E7457525E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9ed43b7c72fffe3e4af631d769eac2fe5d3794","datavalue":{"value":{"entity-type":"item","numeric-id":4246949,"id":"Q4246949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$E40BA0C9-5CFE-43B6-A637-F46F67244AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$507DDA41-4F20-4682-9E84-77322DB2CEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$2E8ADC01-FCCB-45FE-A9CA-798EC0C34247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$F25D3921-6910-47DE-82BD-1E155C6C37B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$B991E9C1-332A-4069-9C9F-5C6159173D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842826$DAE759A0-D746-4D3F-8286-DFB2F7A02C79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6fe06d466eb0b5750f9ad5a770052d8875555df","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80569-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842826$8A34D6B0-BAA3-487A-ABF4-BB14919FF615","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"240890ffcb9f416e46409e737d03d9070c03b3f6","datavalue":{"value":"W2088523838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842826$455F9550-8D50-4FDD-A13B-A7C319723802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2998384d8dd0025cd8aeb092f7642b78126c8c","datavalue":{"value":{"entity-type":"item","numeric-id":3552042,"id":"Q3552042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbb2808acbc0724479b6725e109685daa62ecbf","datavalue":{"value":{"amount":"+0.9164288640022278","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":"Q2842826$CA3175EA-CE64-4822-9EB3-F13A94A956D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cee064d63feacdbb87b5a5fb37f9bc25a5b9b3","datavalue":{"value":{"entity-type":"item","numeric-id":5224159,"id":"Q5224159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aadadede7bac94fdba474baff0ffeab758fff98a","datavalue":{"value":{"amount":"+0.7898351550102234","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":"Q2842826$C9E9CA6E-329E-41F5-9D32-39FED4A5E490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0624082092d8b44fb8a3376e60f158994322133","datavalue":{"value":{"entity-type":"item","numeric-id":2849881,"id":"Q2849881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e607203c0aa1a218f8085c43489f7f3df12edaae","datavalue":{"value":{"amount":"+0.7499375343322754","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":"Q2842826$96FFD536-EFAB-4867-85CF-0694BE2CB96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3722808259257067adc4e3890595504a77d4fda1","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8762cfdebad5bdb4ab0ebf3d7e11fcd142ae888","datavalue":{"value":{"amount":"+0.7363420724868774","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":"Q2842826$183B9E0C-F39E-4960-824C-9035DC17A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292e4b6159ff83cd31679ef3d96550858872f6db","datavalue":{"value":{"entity-type":"item","numeric-id":4246949,"id":"Q4246949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e864c3a2027af47cba911e5fa6e01176006167","datavalue":{"value":{"amount":"+0.7349475026130676","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":"Q2842826$72D44B5E-15A0-4A33-BBFE-20ECC22EFD7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Joyal's arithmetic universes via type theory","badges":[]}}}}}