{"entities":{"Q3371526":{"pageid":3382230,"ns":120,"title":"Item:Q3371526","lastrevid":46081369,"modified":"2025-12-22T15:51:44Z","type":"item","id":"Q3371526","labels":{"en":{"language":"en","value":"Modular correspondence between dependent type theories and categories including pretopoi and topoi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5008525"}},"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":"Q3371526$F7EB0B90-A96F-4766-998B-E3FA06D68A00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"030040b37efe48d6e2736ce951b153ca2796df82","datavalue":{"value":{"text":"Modular correspondence between dependent type theories and categories including pretopoi and topoi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3371526$C3528DD8-5140-437D-9A7E-5623874959C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa639f834344361557729b2cd11318b2cbd5196","datavalue":{"value":"1093.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$CC8C50FD-897B-4C4A-9D07-F9A5541A7747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfb0afe4fc08706de4dabf11227108bca7d45f8d","datavalue":{"value":"10.1017/S0960129505004962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$B9782B04-9542-439F-A4D9-59B48A43025C","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":"Q3371526$A47D89A4-C340-4D67-B660-13BC932DE44C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371526$F4108A06-1C1D-43AF-ABD3-A29DD65889FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdf62483a5814915194a2a6a1a7736760394c780","datavalue":{"value":{"time":"+2006-02-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":"Q3371526$76FDA2C5-52C6-478A-B162-8F04523B621B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$9364ABF4-7A27-474A-973B-1D317A2574A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$166A5ADF-8F43-441E-88AF-0F18C77C9D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$BB3E0CC3-C1B3-4107-AFE4-6BBAB0980D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$E5E4485C-2BB1-42C5-983F-8CE4C8DAA87D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b104ce9457b5a52e51df40f3974fc12695c7c41f","datavalue":{"value":"5008525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$EB8BF0F1-88B6-409E-85FF-D8618AA2AAF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ec4959d49ead7a4d2f6432537e4fe39f5856e10","datavalue":{"value":"type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371526$232C6015-54FD-4500-A115-C36DB2AE63F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671e0c595421b0acdcb3b604976107321e47c347","datavalue":{"value":"topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371526$7566240D-DD3A-4519-927F-A86A0D36A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371526$4EB320CC-0C26-4F62-88FB-90281027CD38","rank":"normal"}],"P1463":[{"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":"Q3371526$1731DBA6-6916-4A27-99AD-F8418F4EB4C3","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":"Q3371526$6EA29978-A701-4C21-9CC7-C9665A754F71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"039c9842dbbfad8f28f17789e157a765812d474f","datavalue":{"value":"https://doi.org/10.1017/s0960129505004962","type":"string"},"datatype":"url"},"type":"statement","id":"Q3371526$10CFD201-4939-4809-8390-74A9491D512D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9217ed7b75b383f4914bc80489d340df1940d353","datavalue":{"value":"W2120677003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371526$27045503-B011-43C4-9481-0240A7D3B84E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a635425793ab7b5297ec1562ac678345250b82f6","datavalue":{"value":{"entity-type":"item","numeric-id":5076386,"id":"Q5076386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dc13e0d10993cc6fcf88de68edadaa09dd6b3e","datavalue":{"value":{"amount":"+0.9081486","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":"Q3371526$D4A9965F-7ECD-413E-B50A-4CC8128B36B0","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":"f6e360906e7e012c5b39a2a81a1b92ecd3c20328","datavalue":{"value":{"amount":"+0.9052722","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":"Q3371526$FD226981-464C-47CD-9189-5FF59CE63FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c429d1f93eb8548ec01f3cb9b7a97458e62352c1","datavalue":{"value":{"amount":"+0.90458256","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":"Q3371526$C162E9AE-A6A2-40C4-B58F-8C6513E6AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718ddf24aca222678c69eebcd41c61f56bc43624","datavalue":{"value":{"entity-type":"item","numeric-id":2253180,"id":"Q2253180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bc950e96ec9b1386ea76f8e74235e51430644e","datavalue":{"value":{"amount":"+0.88871264","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":"Q3371526$E7D827C4-F77D-427D-AD32-BFA402FBC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2c6e64656cef04fa5f38fa0c50e945db3d2d0d","datavalue":{"value":{"entity-type":"item","numeric-id":1813157,"id":"Q1813157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaa18edbfd7dc5e3a632d4ecdf383934f96bdfe","datavalue":{"value":{"amount":"+0.88870317","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":"Q3371526$9CFE637C-2EF4-4F72-B811-2A642EE97612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2c1e67d55f6150e9d21e52af2bd84fd0000627","datavalue":{"value":{"entity-type":"item","numeric-id":1115435,"id":"Q1115435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f4fdcd7d86ac8805ee78d439fa9a626c6405b","datavalue":{"value":{"amount":"+0.88837063","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":"Q3371526$B172DEB8-F0B2-4954-BD7E-B52B99445C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1561f7e8fc4193003fa6591de08e8707fff8a9f4","datavalue":{"value":{"amount":"+0.88769716","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":"Q3371526$11148887-D774-4D7E-A170-D945C26DBA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700f4d40fb3dfc43f0d4507b89a1806c95703e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2991576,"id":"Q2991576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6622eca14583399b2ef7535644e91ead18446094","datavalue":{"value":{"amount":"+0.8856442","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":"Q3371526$0C29627F-77A3-4DB4-B992-2F7BF88D2D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d0fdcf383e8f451027956cc909c68d5e1d009b","datavalue":{"value":{"entity-type":"item","numeric-id":2871881,"id":"Q2871881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e346bf3393571cc96783ef9e8c79718c4a731794","datavalue":{"value":{"amount":"+0.88562524","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":"Q3371526$B1A80251-CB7E-4CCF-B537-D1087DC326CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188606b22bf95883365c4e44d334b79059b2a2c6","datavalue":{"value":{"amount":"+0.88343346","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":"Q3371526$CBB0D500-0AB5-46AD-B8F5-22D1BCDDD4EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3371526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3371526"}}}}}