{"entities":{"Q494642":{"pageid":496409,"ns":120,"title":"Item:Q494642","lastrevid":62266230,"modified":"2026-04-11T04:54:36Z","type":"item","id":"Q494642","labels":{"en":{"language":"en","value":"Intuitionistic fixed point theories over set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6477389"}},"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":"Q494642$679801A3-8137-433B-958C-8C42A518CF6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"727b75983ab14eb03993e755a5a309c44c3bd078","datavalue":{"value":{"text":"Intuitionistic fixed point theories over set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q494642$EED1EDA9-252F-4123-86D5-16272A84B1D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"556589df3b4a403863aa3d047f9f25a8bebbd596","datavalue":{"value":"1380.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494642$B7846F8A-E617-46B7-BB2A-F40420770B23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$8485E2CB-754E-4FE5-BF16-5F5E84D50491","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$7979DDAD-3194-4F72-AE53-9362CA032547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6161adf15c0b81dd0975f5a646569a2bbc70a567","datavalue":{"value":{"time":"+2015-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q494642$79D50384-7BAA-4916-A817-60FD68223006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deae38cb90e17e5c8405b4240b3f5c8a3cbcb0a8","datavalue":{"value":"https://arxiv.org/abs/1312.1133","type":"string"},"datatype":"url"},"type":"statement","id":"Q494642$7F11623B-FBDF-4FA3-B045-C1E4B6BA7135","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494642$824696F8-AFF3-42B4-A3E0-4F1479135474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494642$7D0D31F9-C670-4EDC-95E3-EC887E36D34C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b19307df5904737e0cc4fab86d997df7035892","datavalue":{"value":"6477389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494642$0E18C4D0-BABB-4E1D-BC0D-656637A9EE21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q494642$E7492C64-40AA-4AEF-8630-48458AA067F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q494642$1E9A9D8C-E55C-40B4-90FA-88AEDDA62374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q494642$24B611DE-748E-43C8-9BE2-F335C853EA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ecc74bb77131d169c875d9e4cea69ce344f30b0","datavalue":{"value":"strictly positive","type":"string"},"datatype":"string"},"type":"statement","id":"Q494642$5B358846-E42A-4A66-AD58-A0A62426E5B6","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":"Q494642$F123A0D4-59F5-4D58-A57A-C290DD89C002","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5a305c1642a83ed3f89fb0934e8421007ac905f","datavalue":{"value":"W2056486018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494642$E7946244-FC65-4DA3-8B91-D66CA1512C38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8cae4359eca0407e9688858e98a4dce835f6f06","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$62DDD76B-A2AC-40BD-B37D-6DD6A785F8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$ECDE8C45-7317-4799-AF86-19C8B1FD2FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1429249073bd936c6143d5a6869723d87116a9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3545216,"id":"Q3545216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$5AA03896-19C5-456B-97A6-0F30D33D8059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f7c1db0bf1ca4a0731d121b0846113ea6f3688","datavalue":{"value":{"entity-type":"item","numeric-id":3001089,"id":"Q3001089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$38C2358C-61B4-43F9-9146-53AE86B012AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394027c9d0340353b0f5c82f66bd451c4fa32bcc","datavalue":{"value":{"entity-type":"item","numeric-id":639680,"id":"Q639680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$414B3F09-D0E8-4A58-AC3B-AA6F0EC6E1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ec8e16531ce361bd3838a4fb393163035c6689","datavalue":{"value":{"entity-type":"item","numeric-id":2853981,"id":"Q2853981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$56C705CE-9073-4CFC-8E0F-65CCDA8C9052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cde701e02021646019ba19afbb88561800cc0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2933677,"id":"Q2933677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$9D88C91F-BDD1-4971-BCD0-BB2D0B5758E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c27ddca4999e4e7d7d4401e4471edffe613a260","datavalue":{"value":{"entity-type":"item","numeric-id":2921002,"id":"Q2921002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$D2C107FC-FDCE-40B4-B5C4-B7BD3F86DB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e299cd24790cf833246b68534501b445b379b03","datavalue":{"value":{"entity-type":"item","numeric-id":5687314,"id":"Q5687314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$C8EDBA0F-B505-433B-BD31-1D07C193C263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$03F9062E-0FDB-4D03-9826-E429011B8483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed62f77086cc482760f4f0947cecfd1cf3885b1","datavalue":{"value":{"entity-type":"item","numeric-id":1139042,"id":"Q1139042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$B493EFAE-E430-480F-A01F-632303E3A990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$E4328A7F-6742-4D0A-B348-DF7D2D26D283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d38ff805070eaa2bdff1d23b3dcb4e045ff942","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$590AC90E-0CEF-48AD-BED4-782E3617DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$937EE3F2-C5D8-46D7-A1C3-59D2AD38E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66d29debe5c254306cc83be43f6ee34bab06ffc","datavalue":{"value":{"entity-type":"item","numeric-id":4453638,"id":"Q4453638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$4F2B3DC3-2F2C-4349-81AB-FDCC359D5FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4c5f704c6c0a6676d2dceb125e1ec632ee1632","datavalue":{"value":{"entity-type":"item","numeric-id":4531084,"id":"Q4531084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$DE4CA624-C173-4338-A11F-D93FF2618CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f12e34b114dbd86a8f37944af9540d7285015","datavalue":{"value":{"entity-type":"item","numeric-id":3053896,"id":"Q3053896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$885D0B9A-93A9-442D-9F41-D8B9C7E3A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q494642$1A1DA1D7-3CB1-47C5-9C53-400F885D9CB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"294c581c5e49250e13003883fac5ed2e8d77618f","datavalue":{"value":"10.1007/S00153-015-0426-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q494642$64E193D6-D91E-40B4-AC20-25642583A4E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f90e9bc94faf1eed182284e28c42ddcf8f3554b","datavalue":{"value":{"entity-type":"item","numeric-id":3001089,"id":"Q3001089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eacdd5dfdc2d4a0c0367f27ee0529fe1a48cbb7","datavalue":{"value":{"amount":"+0.94304925","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":"Q494642$588DFDC6-155F-4F23-9810-DD5683145BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a229961d31eec6ebc02dc04168a84b8718f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2c6c7e0312f6a9a781deeb2887e3f80be02b74","datavalue":{"value":{"amount":"+0.9368643","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":"Q494642$8C188949-9A04-4EF0-B3DA-888413F47DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e98bbb3dad928742dd57875b572b75acfc21d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a844245541f2aedc4538e7577a8358a44fc9ada9","datavalue":{"value":{"amount":"+0.9359635","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":"Q494642$E422A5D8-D549-477F-BBAA-D12E124E29BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c78480b647da916ec4a81a367238985aec48ae","datavalue":{"value":{"entity-type":"item","numeric-id":3312223,"id":"Q3312223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08423e868a9654bda940944328f79beb187ba99f","datavalue":{"value":{"amount":"+0.9153894","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":"Q494642$E2F031AD-C1A2-45D7-BDD1-6789C3DD7A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4646d0e181e0b77048c16c73ef90795bd1abff4","datavalue":{"value":{"amount":"+0.91367465","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":"Q494642$BCC31C71-FEC3-473F-8FE3-23A7AE4CE9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9033a2cd142c6f42af635574ae698a82d212b6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1877095,"id":"Q1877095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24feb5af6969ff17be12073aea6ff74d0dca9d1c","datavalue":{"value":{"amount":"+0.90721786","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":"Q494642$C821D5E4-D36F-44A9-84CA-ABF2E72D0F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae1858128fe5c009767cd1948bd600132df5606","datavalue":{"value":{"entity-type":"item","numeric-id":1208081,"id":"Q1208081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5b35f09ec36f27e0fbd0664ed7154310ee3c1d","datavalue":{"value":{"amount":"+0.9062174","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":"Q494642$61C6CF89-C1EC-4A80-8D21-8085F1131F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff81e980483d32921bae8c2f2fb73a72035e4ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4224765,"id":"Q4224765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1dbfe5a7501f6e5d50f15a61dae8509d2431f8","datavalue":{"value":{"amount":"+0.90613997","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":"Q494642$F03E9FC1-9CF5-4CD5-9498-7DE669C2303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7e2dedd9fa58f3b7c9edeac6ca3b8312e15bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5858137,"id":"Q5858137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cd9cc6b6c8992ec5776d803fa4c3134c5f25b4","datavalue":{"value":{"amount":"+0.90468735","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":"Q494642$AF03C94B-8617-4B44-8389-0BDF867298D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4d917380fd84c271d78b1c50b4fde2274e36f5","datavalue":{"value":{"entity-type":"item","numeric-id":1595703,"id":"Q1595703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ad3734e8b7319e5ebe71a38090cabf4383df50","datavalue":{"value":{"amount":"+0.90365577","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":"Q494642$F6277AF5-9E5A-4C04-B1B8-17FB9A0FAF53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic fixed point theories over set theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_fixed_point_theories_over_set_theories"}}}}}