{"entities":{"Q5013820":{"pageid":7043397,"ns":120,"title":"Item:Q5013820","lastrevid":58404024,"modified":"2026-04-05T01:49:49Z","type":"item","id":"Q5013820","labels":{"en":{"language":"en","value":"Finiteness and computation in toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438165"}},"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":"Q5013820$B4D60899-86B8-437A-9551-14EABBEF4EC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7936a8f64278ce19e756de0188dec14bdfb29680","datavalue":{"value":"1486.03125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013820$389720EC-D457-4891-A048-D1810EF96CA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$F270D40A-F016-44E4-AEF7-11A59DC4E4B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013820$AFE2E8FD-C8F7-43FA-9A95-BBE678C73CD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bf25012544aa54b181a64d0d2e326646c50fff5","datavalue":{"value":"https://arxiv.org/abs/1603.00978","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013820$09086F7F-3984-4B8E-A2EB-898549DCF7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"57253713a490f17b17bf81045bcfc3b0bd1f8f47","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2015.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013820$CB67A668-1552-494F-9C5A-47F0BF05BC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013820$37CB49D4-AF40-49EE-9A8A-C1C61BA5C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013820$7C5DD9E7-67A4-47EB-8655-04CB375F1C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013820$52128414-9E7D-4BB7-921B-88AB2CE76B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013820$50A4E4F3-DE4C-4CA6-B087-1BB09E52F89B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2412a36cf9cb73e72dfcec4eab081fb3e0b92fb2","datavalue":{"value":"7438165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013820$1F6DC71E-DDBA-4468-8A93-ED487D1E5CC0","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":"Q5013820$6ED409F9-CEF2-4D5C-B944-9EFBCC078288","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$80DE8CE7-F208-4D9B-8F54-38CAB4813F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$1BDFDA00-5194-4346-BFF2-EDFBCC5E11FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d8624a8cb53ceea87adff7d8504abe6a3e006c","datavalue":{"value":{"entity-type":"item","numeric-id":1318786,"id":"Q1318786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$E4B5C54D-01CB-4D96-8423-0B7FE8479646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4aa6f81cd55d470709edc2d918eb2452d78edf","datavalue":{"value":{"entity-type":"item","numeric-id":3616433,"id":"Q3616433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$E2650359-8350-4EF5-911F-D728C74337CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a897724b52da261ab542d51bea9b95ecc7685b","datavalue":{"value":{"entity-type":"item","numeric-id":5612462,"id":"Q5612462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$6C874CEF-A675-4A98-948E-B7AC53E82901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$7A62F615-E2C3-4952-B18F-B08E0CA17667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$479FBD53-3925-4AC5-93B8-443418D32669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b130d57ab2ae2dd7c506a60e145c54cba9f2bb","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$FD82DDEC-AD41-42B4-ADD4-4AC6A96FC4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$0728A5DB-285F-4F90-A388-950BAE16EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$FB055315-084A-41EB-9083-C17099E6FFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6867fce55de32911ad52fa252f0a7785317b103a","datavalue":{"value":{"entity-type":"item","numeric-id":1251713,"id":"Q1251713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$767EFE99-9C02-4977-978F-79BEA298013F","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":"Q5013820$181D9FBF-23A9-41F1-9F82-31EB330F9A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830f2b8e1ec1a130912602d2d01aa99cd42c3525","datavalue":{"value":{"entity-type":"item","numeric-id":1214888,"id":"Q1214888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$C9B28C1D-E716-4A7D-ABD7-999EB53EE27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917800fa52c098f2382f946c4094dc39e957bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4153600,"id":"Q4153600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$8B97FFE4-C728-49EC-9FFB-6399F3888164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc86f000278dc699ab23e219afadb18786e4bae","datavalue":{"value":{"entity-type":"item","numeric-id":4003736,"id":"Q4003736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$22EF0322-63F2-4329-A3EB-9CAE0BE5D4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$C982E88E-DAF5-4F2A-8A3F-8F711278BC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236eea61704e387f0365932fa9f4339377fcc26c","datavalue":{"value":{"entity-type":"item","numeric-id":5384973,"id":"Q5384973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013820$779D0BEE-F294-4711-AD0A-AE1A2615DBC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302b4e367f5294ba1c50469543a307699673e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3469268,"id":"Q3469268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de57f3bda514f7d4795a7a1d608e44b32767b45","datavalue":{"value":{"amount":"+0.7116881608963013","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":"Q5013820$F12901FF-D0E5-4AA4-9E16-0EAC84903780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ff4b0577340d84dd85cf2706d0b604e440a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3798833,"id":"Q3798833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975ca3b9750053a948c7f03358a9e2977b8962f6","datavalue":{"value":{"amount":"+0.7052736878395081","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":"Q5013820$062344BD-7C91-427A-BEA8-20A3AC4B85D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c2943bf4c2de31e07ceb444c802b858b929b4","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46aed9b05c3d19aff72cee45e143be4d961e4258","datavalue":{"value":{"amount":"+0.6959505677223206","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":"Q5013820$40B104E5-C201-43AB-9A38-6CB73F5E8CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c926ccccc989bb968c57641e364fa1af84b3bb04","datavalue":{"value":{"entity-type":"item","numeric-id":3295828,"id":"Q3295828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46aed9b05c3d19aff72cee45e143be4d961e4258","datavalue":{"value":{"amount":"+0.6959505677223206","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":"Q5013820$B572A94C-96BF-4912-8A87-CC51D68EA94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a74d8d6ca98897445a8d1e873d81e4ef646f52","datavalue":{"value":{"entity-type":"item","numeric-id":5425371,"id":"Q5425371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31613dd3bd9c6c3be34aaa6536050ded63a91b4","datavalue":{"value":{"amount":"+0.6956395506858826","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":"Q5013820$431D3D0E-7BDC-4C5A-94FB-E4C7F76DE143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013820"}}}}}