{"entities":{"Q5868039":{"pageid":7897590,"ns":120,"title":"Item:Q5868039","lastrevid":58604226,"modified":"2026-04-05T23:20:57Z","type":"item","id":"Q5868039","labels":{"en":{"language":"en","value":"A topos for continuous logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7588015"}},"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":"Q5868039$70701ECB-6A99-4B8C-B7C1-B765DACD54E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fd98c5a6322976c65c3cff6075693d501d15d35","datavalue":{"value":"1500.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5868039$8F4D0212-4E76-47A4-890B-0424A342C6F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b85b1b062b9c62652e5204d597e83be1381fb7f5","datavalue":{"value":{"entity-type":"item","numeric-id":820352,"id":"Q820352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$360DB920-1D3E-44F3-87F6-888FD4F582CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$61FF7D05-2970-46B0-8C77-15CC29F72DD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbdc52f189779e1244cc6fef977c726e5aada6ee","datavalue":{"value":{"time":"+2022-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5868039$6CD51903-0C95-458A-B863-E5F730700F1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a65d4dfcf5b6b227296acbc1fb95e555357074c2","datavalue":{"value":"https://arxiv.org/abs/2107.10543","type":"string"},"datatype":"url"},"type":"statement","id":"Q5868039$B253377A-A6E0-4D78-936A-5063BCB2D3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0312681026c37115aa302a9da5b7cc0bb0c87a15","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/38/28/38-28abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5868039$3C8A5973-8D86-4736-9E83-8E3E7CBA836E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5868039$AAC93498-5FBC-4E70-B6BA-2507FEEDCBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c7ff0c98f718ef5d2996c7b6dd67a14e6dea52a4","datavalue":{"value":"03C66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5868039$E3A0AC6F-09D4-493D-8784-62AD385598E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5868039$FA14EADD-9386-48BC-A093-C6F480CE4A16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa73f47457995e6620acaa8056d75d2a5380fa36","datavalue":{"value":"7588015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5868039$792BE9EE-6F2D-4887-98BC-8EE81E70ABF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5868039$07CD9020-7833-4202-B8D8-9A2863EC5BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5868039$41EA4439-50CE-49E6-AEA7-B3E639F805B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5868039$6B24ABD0-618C-4313-AFDD-1F401F7DA26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb9588b3cf099e559906225d0623d18b43b25ac","datavalue":{"value":"hyperdoctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5868039$BB638B0A-5968-4E29-B333-DB330D0488F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa72d29b773173cece22388a201d886a3c4c12cd","datavalue":{"value":"Grothendieck toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5868039$F323F29D-C5D6-412A-8881-7A7ECFE9EE33","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":"Q5868039$7FBDD3EF-BB0E-478F-A3C1-33D813CC23C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$757EB168-5EDA-4E76-92B7-49D9BDD8582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$23DBBC96-3300-4BE5-969B-4A90BFA5D725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91d609421008f36c8aecac1d4fcc0fc39c191a4","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$FB51DD73-3041-47DE-A19A-A49419D5D4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f650f4f7bc706bdedd6674688059df4f6da8202","datavalue":{"value":{"entity-type":"item","numeric-id":5527811,"id":"Q5527811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$DA660C91-B337-4453-8DE7-3A0592B6F98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8299266d332de055f5541e5cdee486837c5af0c","datavalue":{"value":{"entity-type":"item","numeric-id":5855747,"id":"Q5855747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$908B389A-6547-4562-8125-C89E2158DF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$7E595B94-6973-4289-9C2F-0323D41C48B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$F3B83E73-9605-4A62-A0F0-C44EF7D76DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$DF783F8F-76B2-45AB-A1F8-32B1ABB7A51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$B058C4D5-A788-43D7-B141-1237437597B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$4E6B2405-E44C-49AE-BBB7-748BEAA887C6","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":"Q5868039$B4F8677B-1893-40E3-AA29-EEA68DAB4DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa933416699cd682536c8bd053812d0b5ba0eccf","datavalue":{"value":{"entity-type":"item","numeric-id":2254599,"id":"Q2254599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$E9F10ECA-2CC6-4151-9D44-3A28B37B8C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$BF5491D6-7A04-4562-870D-BF182E6F7114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5868039$660E170F-2D99-403B-890D-ACE4FABAA61B","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"bd5197f247901ce0c20db1136b7380059b4665ac","datavalue":{"value":"bafkreieucuc6r2u62pn7geq2rlgspleazf6akxbwkg5dc27pbmh4q55zdy","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5868039$153F77E5-D442-403A-8E05-964147EDA1EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d6b2a78e2ae5ea73f4a253d623b55ffd2d902","datavalue":{"value":{"entity-type":"item","numeric-id":5855747,"id":"Q5855747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b7b43d180e13a04018642106e5c2b30543a2a1","datavalue":{"value":{"amount":"+0.8074741363525391","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":"Q5868039$DEFB7851-2760-4527-A0D3-D2068F1ACEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e558745ba3f58730f1b53110e00f383b7ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":1712937,"id":"Q1712937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef02a7301cc3ef89d637485c84b74764174680d4","datavalue":{"value":{"amount":"+0.7868101000785828","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":"Q5868039$40430A10-D596-4FD5-A155-1C4476EA1173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ebb1e2146e0369b0d263433018d814b278e839","datavalue":{"value":{"entity-type":"item","numeric-id":5221581,"id":"Q5221581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030cb17ff2216b8bcf5ef4c49e7b4a335573b9d9","datavalue":{"value":{"amount":"+0.757740318775177","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":"Q5868039$1931D578-DBDC-4329-BCB2-0C86356321B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbfc20f49539f02e83b3bc59ae5adce5f04d88d8","datavalue":{"value":{"entity-type":"item","numeric-id":280833,"id":"Q280833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8f96d7b14eef3a513a01f6d7fa302892f59142","datavalue":{"value":{"amount":"+0.7526820302009583","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":"Q5868039$DB9337DB-DD27-4DC9-891B-FCA02F0836BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aec6b500b4b7ffe918a095376b0acef078e6f83","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824221f08823a954db4cb48ed3ad36a757659bd","datavalue":{"value":{"amount":"+0.7428522706031799","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":"Q5868039$53500898-D4C8-432E-8F7B-01C7C46519B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5868039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5868039"}}}}}