{"entities":{"Q5195281":{"pageid":7224853,"ns":120,"title":"Item:Q5195281","lastrevid":92113493,"modified":"2026-06-05T00:54:06Z","type":"item","id":"Q5195281","labels":{"en":{"language":"en","value":"Lawvere-Tierney sheafification in Homotopy Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106514"}},"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":"Q5195281$FCF17837-83B2-4A22-9324-5ED56C2FDC4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c9a41c3ebd67875ef5e3e7638ea1a64dc20f479","datavalue":{"value":"1454.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$64B9FFCF-5EB7-4494-9647-3D037EA1FCA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f27e2c2b64188c3ed12f1f7762e6c843e9416cca","datavalue":{"value":{"entity-type":"item","numeric-id":5195280,"id":"Q5195280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195281$456A1014-BE28-4781-B870-6CA659C53AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f7519cb4a1f2077b5761baeaf0abc45060a0b93","datavalue":{"value":{"entity-type":"item","numeric-id":636302,"id":"Q636302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195281$DB66390A-6A5C-484F-BDA9-F72BFC79CC7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195281$34A91EBB-BCAB-472E-A344-86B74A209E10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$73F185FD-87F1-4090-A438-2C82B5A59E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$7243A899-0A36-426E-A558-C23A75EFBCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$D4D586A4-05FA-41CF-8D6C-5EA66169F858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$19C29714-82D4-490E-97EA-F389DA670087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$9C626261-94A6-4541-B63A-A8231ADDAA36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170707ea62bbae0ff770a3260654fb57a682083c","datavalue":{"value":"7106514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$5425FE27-FB12-42BB-B8B1-0CAD0B7E4ABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195281$89B04B56-E4AC-406E-9499-5612B8C5435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195281$E735087B-06FB-4CD0-AA07-73AEAC1B9850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195281$48BD85D1-8B49-45C3-ABCA-B183379D6E8E","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":"Q5195281$CA4E9E84-5A04-4008-B96A-1360CBCF2B07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc5a9aad7a5d0d2cb603cc9169653c50508de81d","datavalue":{"value":"https://hal.inria.fr/hal-01451710","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195281$2F43C509-C7D3-4041-9A3B-CE7FA89D7ECC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44bd5199ad802db31d94d6ebd331a59c47932c40","datavalue":{"value":"W2580737173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$4A74CB46-6CB5-4D27-A4DD-9C01AD36390E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b8ae71688383e4f33a83df47e8151a4e3939166","datavalue":{"value":{"text":"Lawvere-Tierney sheafification in Homotopy Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195281$D5BD3BED-F23A-4FDE-BFEC-8F19E027202E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6bf3a935855afece6ac513ad963ef0c18cf5dd9","datavalue":{"value":"10.6092/ISSN.1972-5787/6232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195281$231E8119-8DFB-4D5B-B207-5F7372E6D567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fd4751c9ac8497d5ed97b554e8d5a721e4341c","datavalue":{"value":{"entity-type":"item","numeric-id":1785779,"id":"Q1785779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb9ee2b85b23ef7c8581eb8e26a8ae4892afe6d","datavalue":{"value":{"amount":"+0.9088265","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":"Q5195281$D4E5EB20-9802-478E-9EFA-AB76B0C5D444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f3586461a8b1d69e0d9362b0d00a699e59c675","datavalue":{"value":{"entity-type":"item","numeric-id":2969774,"id":"Q2969774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853982281f5214340184a808464c55c307c25d72","datavalue":{"value":{"amount":"+0.90488553","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":"Q5195281$2889C57D-2BB3-404F-A491-BDFF5B1E43D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a9ecafa517a489f6c9b034480cb6a1eb4ba61b","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab8c9049af23c6e851f47f4c8d326c6a67d593d","datavalue":{"value":{"amount":"+0.90488535","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":"Q5195281$B447937A-C601-4AE2-81E4-425150597AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ec9b030401ca7dc1a392d776507f50e8efaae8","datavalue":{"value":{"entity-type":"item","numeric-id":6075425,"id":"Q6075425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fec6eabe1eb4a8bf1d6d2bd4cb029cb54defa8e","datavalue":{"value":{"amount":"+0.9019255","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":"Q5195281$DAC0FD87-F074-41D0-8924-75EF0D573B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be536deee0139193e85d72449add4cd59fe5148d","datavalue":{"value":{"entity-type":"item","numeric-id":6112530,"id":"Q6112530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe4bb0b72aad817ac6d999911b30ad27da9aad7","datavalue":{"value":{"amount":"+0.90175015","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":"Q5195281$9C1F4C28-67E7-43DC-9CA3-E42073F2B0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e2fa711171a0ac47274caeed4c6108ca6294c1","datavalue":{"value":{"entity-type":"item","numeric-id":2933829,"id":"Q2933829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c17bd7e8ffbeb685f8a779a2b17e92e3e2f38b","datavalue":{"value":{"amount":"+0.89886534","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":"Q5195281$7758A6A2-4877-4BFA-A2CB-5BB08F775FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00569249ce842f3fc26a234598fd808f2224e396","datavalue":{"value":{"entity-type":"item","numeric-id":5278408,"id":"Q5278408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af4fea06e79804f79694844c4522c977fd1730c","datavalue":{"value":{"amount":"+0.8980439","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":"Q5195281$2AEE967A-BD97-4975-9FBA-EB35EC89CB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6a0e6d7a5650309ee9f2db22aeda2d9a4087d8","datavalue":{"value":{"entity-type":"item","numeric-id":3177878,"id":"Q3177878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc1c00c5170b746f082f196e30e921e83a248a8","datavalue":{"value":{"amount":"+0.8967033","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":"Q5195281$DE364E86-5C7C-4610-946B-8F339B81B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f9e8952c90f9ac03a449ed010ba758d7f8e474","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e7975333e2765877c1f9bc4fb6272c46a39937","datavalue":{"value":{"amount":"+0.89473224","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":"Q5195281$87358DAE-910A-4C69-B3A1-4FEC833FED11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff90cbc870d12f19a3a84204bc633604544ab1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3399181,"id":"Q3399181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67dc176a1d8c392742f09f9e5808bc47b9adb0f","datavalue":{"value":{"amount":"+0.89446795","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":"Q5195281$F32FF028-991D-4ED9-9868-9FB14BB220ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lawvere-Tierney sheafification in Homotopy Type Theory","badges":[]}}}}}