{"entities":{"Q3994047":{"pageid":6023882,"ns":120,"title":"Item:Q3994047","lastrevid":81341459,"modified":"2026-05-06T18:17:21Z","type":"item","id":"Q3994047","labels":{"en":{"language":"en","value":"A note on iterative arguments in a topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 40628"}},"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":"Q3994047$FBA25490-BF5A-4F18-80BE-592FEAE26D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d29cdcb541fd805b3ffdf70e80d8e98950fa8eba","datavalue":{"value":{"text":"A note on iterative arguments in a topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3994047$3FB3E3B5-0E7B-4ED6-BADC-031C67E2BD8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7485c2b4586157382d74d31e277f75bf69dd433a","datavalue":{"value":"0767.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994047$A8E18408-ADD7-4CAD-A91A-0D6F962F0675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1b7b4ab08dbbd7bd2d074ab1b767bb24ac4c650","datavalue":{"value":"10.1017/S0305004100075150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994047$DA020505-6768-4CCF-A09A-3111FAAB9A0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59e069ac0680512de326fa6d232d65d6ac50cf0","datavalue":{"value":{"entity-type":"item","numeric-id":175568,"id":"Q175568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3994047$6E3962F5-758E-4280-BAA0-2980EA24DD12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3994047$2CF4B250-D6DD-4FFA-A80E-4FFA12DA797E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca50ef95d1c0114d462b29b2a7069fa309fbe2aa","datavalue":{"value":{"time":"+1992-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":"Q3994047$A38DA44C-5F4F-4115-924C-BEA5B8C83683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994047$6998794D-9F76-4103-ABCB-4655A92F1EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994047$51444F5C-2E1C-43D4-A0D5-1879F9CC860E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67fbaf12df42fa9de1cf41035373b16ae9c70f9c","datavalue":{"value":"40628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994047$C2D0CB0A-6E38-4C78-B38B-33DAB9A8B343","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb56ce04176976217b67bcd91541d3027bb7fa2","datavalue":{"value":"transfinite iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994047$EB67F8E2-4A72-4043-823E-AF2FEFF6D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4dad990f373053ef6a33775a562eda48d27a305","datavalue":{"value":"least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994047$D1CAC76D-8270-4562-8F09-EC23C2060D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e555d71a756d92d56a2929e9f201d1503b9ac246","datavalue":{"value":"topos of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3994047$7FA283EC-6DB4-4E96-B582-970B3F28FFB1","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":"Q3994047$59D00302-D5D8-4946-B510-7873D0B6B249","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3994047$51A8027E-1D81-4D3C-8423-EE75D70BB51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3994047$27C329DF-BE1A-4A09-9E88-1DA8952F4523","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8e1d1bb234bb227ab163e14a963a06c0cf77c8a","datavalue":{"value":"https://doi.org/10.1017/s0305004100075150","type":"string"},"datatype":"url"},"type":"statement","id":"Q3994047$26D25148-5D27-477B-BA52-9F26783C0F49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40f59b696b699672c1c483a6e155a24a497d8615","datavalue":{"value":"W2070931406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3994047$28C4DED5-184E-4EE2-A954-3EE84F1F15E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c3a20a2a09a32f51d37ac15815f6006dce29cd","datavalue":{"value":{"entity-type":"item","numeric-id":2841501,"id":"Q2841501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141e855fc1ef777fe5f07df9e22776215ec6b678","datavalue":{"value":{"amount":"+0.7425556182861328","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":"Q3994047$2AAB8D72-B09B-4938-956A-931A64E328E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cdf3d07a269a728da605633fc5117f4c46b79e","datavalue":{"value":{"entity-type":"item","numeric-id":2849429,"id":"Q2849429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4583c4465fe75e3f755d4faab099f337b00d2b","datavalue":{"value":{"amount":"+0.7177882790565491","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":"Q3994047$C201FEB3-A749-4C2F-97C9-80FB3AA5F12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d827153ad894aed21dd71a86bccb66d15d49ca1","datavalue":{"value":{"entity-type":"item","numeric-id":418812,"id":"Q418812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710244814c3123f92b772d8bca50852dce49d352","datavalue":{"value":{"amount":"+0.7123705148696899","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":"Q3994047$7AB33570-D1AC-44F6-A5E6-DF88DD46B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbec141371e51a9d0bff6b1e71b3f08e471b008","datavalue":{"value":{"entity-type":"item","numeric-id":2805156,"id":"Q2805156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6699b67f4647534d843e2cc6d5e65a7910b2b8a","datavalue":{"value":{"amount":"+0.7093905210494995","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":"Q3994047$2C206A41-5E18-4D12-988C-97C802ADCD91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on iterative arguments in a topos","badges":[]}}}}}