{"entities":{"Q4580212":{"pageid":6609798,"ns":120,"title":"Item:Q4580212","lastrevid":82374500,"modified":"2026-05-06T20:45:16Z","type":"item","id":"Q4580212","labels":{"en":{"language":"en","value":"Being Van Kampen in presheaf topoi is a uniqueness property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917177"}},"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":"Q4580212$1DF29DD2-C552-4DA8-9022-426069C1ED1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6b4c1014cc42182e1db4fbbadfeddf44ea1877","datavalue":{"value":"1433.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$2E187AC7-B65D-42A6-B0C9-561A34D0B593","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26a7484e4a7b75b10b9c2979b75b302e34dd21d5","datavalue":{"value":{"entity-type":"item","numeric-id":631576,"id":"Q631576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580212$29A29F97-7562-4B85-A82F-3F0BBA3BFA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b219dde9559cc2dbe816c2e2bdcb9870e93cabd0","datavalue":{"value":{"entity-type":"item","numeric-id":2219081,"id":"Q2219081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580212$561EA9E3-DA50-4049-A4B6-A1477A5F6547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580212$EE9050A4-D44C-4C00-A1F9-5C35F51C94B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$6831B456-F1AA-4877-B34A-A48B5C369C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$8B35E972-8E9E-47EA-9DFE-98168E891C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$14D65C59-8FD0-496F-9809-474119735DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$FE142DDE-ECD4-4289-93C8-C83CB97890F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$08646A06-BF5C-4943-80F2-9536F0323B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$986DEE92-48F4-4FAF-8C6D-B00614C47D97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b39c94fbf5e5b9fb7397270efc8978aaefc6d8","datavalue":{"value":"6917177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$A8E031E7-F805-4DA7-BE4F-5E13294AC9B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654a0b0d3b4dd29921bf394506751737b5e3725a","datavalue":{"value":"Van Kampen cocone","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580212$B22FC3F6-4E0A-4F3B-9DCE-CB405B8CF1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a092ca919c186142f1ae4f528d9dd83db58f1603","datavalue":{"value":"presheaf topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580212$8BD78750-7230-4259-8012-19D055990559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d703af7ca2e1b8ff23111637d7052f2851aa0","datavalue":{"value":"fibred semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580212$99D3D21B-5A3B-468E-B468-C082295F6531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e8e9a43ffbd2549a842e77f187157cc8a480694","datavalue":{"value":"mapping path","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580212$D6B49D2F-BD04-4444-BE59-7355B2E046DC","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":"Q4580212$D675D7F9-A8ED-442E-8C72-A75DAB4BF8A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cd547202d28a7790ed45f416b5ab7f4a60cd85c","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580212$5CE393EE-9C7B-4BC6-B26A-7C93350F2E5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0d6e389d024ca33445501731905cc91f663288","datavalue":{"value":{"entity-type":"item","numeric-id":4643957,"id":"Q4643957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40748f5e3feac587256a5782a85e77e870ebc344","datavalue":{"value":{"amount":"+0.9715427756309508","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":"Q4580212$6AA67271-7C95-4345-AACE-6A2305540950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9456559be966e437964ee39052b5d7e7b6c25ee","datavalue":{"value":{"entity-type":"item","numeric-id":1413097,"id":"Q1413097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9306a2c5aaca45e49d71674b9133f8ca5be33950","datavalue":{"value":{"amount":"+0.8234655261039734","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":"Q4580212$30AE2C34-685E-421B-A4CC-5E3746426C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ebe0a55e55527945e1ff7cedfddb3e66376005","datavalue":{"value":{"entity-type":"item","numeric-id":2350322,"id":"Q2350322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c6ed4a5a5ae798df95b8e05b776d665c13e7c7","datavalue":{"value":{"amount":"+0.7780358791351318","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":"Q4580212$8EBEE566-7C04-4E83-9278-18DFB3DE9940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ba9195d424352c9754f882b40d8ed321e0d1e0","datavalue":{"value":{"entity-type":"item","numeric-id":3003317,"id":"Q3003317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3e8b628fa2d34595ec28aa8bebeaa672c2f55b","datavalue":{"value":{"amount":"+0.7564216256141663","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":"Q4580212$F76712A4-9482-463B-9A0C-ADEEFD9CFD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b14d4b804b2194e3e233c2d17e9e4152cc18c2","datavalue":{"value":{"entity-type":"item","numeric-id":536044,"id":"Q536044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e6cd1d6b2051996e1aa098b4a246679ecc7e51","datavalue":{"value":{"amount":"+0.7488601803779602","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":"Q4580212$BBACF909-744A-45EE-BF7F-DDB47B315EB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Being Van Kampen in presheaf topoi is a uniqueness property","badges":[]}}}}}