{"entities":{"Q5718693":{"pageid":7748247,"ns":120,"title":"Item:Q5718693","lastrevid":40899796,"modified":"2025-04-13T22:21:33Z","type":"item","id":"Q5718693","labels":{"en":{"language":"en","value":"Algebraic set theory and the effective topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247450"}},"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":"Q5718693$5724FC8E-C616-4522-8735-CF55E1A9CB90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53f05c97db810e8fc69d833149a7ed562ae07b71","datavalue":{"value":{"text":"Algebraic set theory and the effective topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5718693$A65B4899-4637-403A-B4A1-ADC412ACC702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be8efa27f2e893161f83cf654a0216a04ca1041d","datavalue":{"value":"1089.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$243F4DB3-C10E-4FDB-9F55-BDC2ADEBC4E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2aa40a2148d2ee326519e88fe617e9a02b7f3b1","datavalue":{"value":{"entity-type":"item","numeric-id":5718692,"id":"Q5718692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$B738BBEE-D957-4381-8C65-417964F27C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$DE7E40FD-F273-4449-887C-3A5ED09B82FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$79673986-C28A-4ABA-B0DB-CBC3E79578BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718693$1BF39419-5698-4C7F-90CD-25E880537D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62e78c3a82680ae56150a1021d35382f8f7d8a3b","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/15431","type":"string"},"datatype":"url"},"type":"statement","id":"Q5718693$5E260749-32E7-46BD-BBA1-7C94B716A52B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$18DBA9F8-779F-4D27-9137-8133A42A7111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$8A1E72ED-AE71-4695-8547-082237C67DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$79A8F400-4934-4BDF-977B-C90B2559ABA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86dc9d13feb8fe70c94913a4eb95c67b36d65d95","datavalue":{"value":"2247450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$8CDA1E1C-B1EC-47BE-A262-3CC330EF2B63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e124ac337bc3c24abe6f3af38c7a6a7670eebb7a","datavalue":{"value":"initial ZF-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718693$1371AD6D-12EC-4D9B-8F58-6DB49CF9D797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74c5581f5f9736f24a9d29a9147f4097410bd69a","datavalue":{"value":"Heyting pretoposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718693$3A667332-4BB6-4493-AC35-AF74628977A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718693$4466B48E-2FF1-4B15-BA1B-1C88E32914C9","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":"Q5718693$76FF3C11-4144-48D1-986E-A01832F751A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83d3907c76a8aa3bfe8f96c5e0bf57624ab384a9","datavalue":{"value":"W1976525497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$055CBA8A-674A-4A97-AD7F-89B5BED87B6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b031ebd66b7733c40e71837264a8724e96c91a0","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$05F004B2-1FE5-42A0-AFCC-DDF698EB8C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$231BC63D-D948-4BF9-9FDE-0322BBAD8E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$DE041962-5C74-4089-9FF4-B81FC4BDCFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5718693$9F64393F-F9B5-483F-A96A-A00C835E80AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"addf43413f2d8520cc845196e87034b0d0863533","datavalue":{"value":"10.2178/JSL/1122038918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718693$18E44D9A-775F-463B-941C-154BD07BEF49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792488016a9458570cf605a0bc567ece0aa54a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5334830,"id":"Q5334830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43465ff1ed6ce559986b4a2e2d43885b352c5e8","datavalue":{"value":{"amount":"+0.9365707","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":"Q5718693$3950052D-89DC-4881-96B4-346F5DFAF95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a26f408e17cbf2c9b021a3db9cedad1136de56","datavalue":{"value":{"entity-type":"item","numeric-id":3979469,"id":"Q3979469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba74bac2b7adb22b6968e0970448daac5bd9072b","datavalue":{"value":{"amount":"+0.91076565","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":"Q5718693$265E80DA-ECD2-464B-8B75-762E2915EEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9120781db9fbc4fa83467c8da440dbca7151216","datavalue":{"value":{"entity-type":"item","numeric-id":675127,"id":"Q675127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a5f4902a1b4477957ff57e9db18d54ab4ee7a9","datavalue":{"value":{"amount":"+0.9030588","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":"Q5718693$B5A413E7-6D19-4B7E-A253-29B637A56728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9d6602121664f50b1e3bde58776697d149642b","datavalue":{"value":{"entity-type":"item","numeric-id":3433173,"id":"Q3433173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6a5b8e80ad3ed3cc94d094ed2d1f64071a1a7e","datavalue":{"value":{"amount":"+0.90110224","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":"Q5718693$56BB2C63-B322-4574-A96C-534724D0DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4914efd53f44c978f2c34b345248f3dd7e903b","datavalue":{"value":{"entity-type":"item","numeric-id":3322227,"id":"Q3322227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9ba4f8035f925695a97f9a9043fc05bddc31cb","datavalue":{"value":{"amount":"+0.9010572","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":"Q5718693$925EED3D-7BF3-4A4B-932B-ED43773734BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b32246e6e415d88859e9966a42fb9648843653","datavalue":{"value":{"entity-type":"item","numeric-id":794720,"id":"Q794720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9ba4f8035f925695a97f9a9043fc05bddc31cb","datavalue":{"value":{"amount":"+0.9010572","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":"Q5718693$CE6C1573-8391-40FD-932D-281335F18EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb34b227a9b11643a599b8601e3755fb2b45455","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ccd6c4eba679aacb699ad5fdbd20e88dae8c81","datavalue":{"value":{"amount":"+0.9008854","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":"Q5718693$464553E5-F734-40E6-8D3B-58E89B788340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8821996cfaa5861ead5429c6cd8ffc5165ac5d0e","datavalue":{"value":{"entity-type":"item","numeric-id":3357105,"id":"Q3357105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81737d82fa4985e8ceda28108d789361eaa89ef","datavalue":{"value":{"amount":"+0.8972596","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":"Q5718693$9DA1518E-F7FF-45AB-9688-8E8F9F9B2639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2681a63dfaedb56a59346ae14467526390a08d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4670746,"id":"Q4670746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4ca260e41b6c972d7ab47682d00355f5263119","datavalue":{"value":{"amount":"+0.89708054","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":"Q5718693$CFFB140A-F705-4DFC-8D8F-A88843E8C9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fbeed6fcd5c572e17dca0e6bd6572b6540c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5200806,"id":"Q5200806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133c5039eddaaf371e6588bdc0d82f92e05780c0","datavalue":{"value":{"amount":"+0.8965273","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":"Q5718693$7D5B69D0-E1C5-4C73-B611-8F1BF7415688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718693"}}}}}