{"entities":{"Q4700537":{"pageid":6730114,"ns":120,"title":"Item:Q4700537","lastrevid":41865306,"modified":"2025-05-09T05:00:21Z","type":"item","id":"Q4700537","labels":{"en":{"language":"en","value":"STS: a structural theory of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356643"}},"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":"Q4700537$130C27C2-CD0F-40E9-8455-43E9C2FFED3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f37bfdd538a636bc1c77c6d0f13ee68263b7a831","datavalue":{"value":{"text":"STS: a structural theory of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700537$4A311A51-F3E3-4EB4-8074-EC8E29851E70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33cc44b0450e236813c2a3299d80df7e33caeb53","datavalue":{"value":"0933.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$841276BE-7F11-4A17-AE22-79556B69C304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e87c5933c7d6b93527db68583300635933dbc0","datavalue":{"value":{"entity-type":"item","numeric-id":266637,"id":"Q266637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700537$E22E1F2C-0541-42B1-A4E0-BB8CF4FD95E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a4d6512efa0fa89e17e38eada884c6f32c9ae33","datavalue":{"value":{"time":"+1999-11-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":"Q4700537$1F82B887-BC5B-4779-8983-04D609E2CB0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee1cbdfde97854bc872073dd2c3a1ca6646ebbe1","datavalue":{"value":"https://ir.cwi.nl/pub/2096","type":"string"},"datatype":"url"},"type":"statement","id":"Q4700537$79B47762-3002-4E2F-A42A-60BCF8461143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$6D56BEF6-A00B-4019-8742-4A153B5AE647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$22403BCE-492E-4765-A3DE-C6ED7A56F342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$F92567FB-A35D-4EED-A6A3-4A8EE8DDA5ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"810dd9334c545db9f6d92ffa4c361b960f231c38","datavalue":{"value":"1356643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$AC1035E3-65A3-47F4-A6C4-9E0F4CCFBEBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5820122b56a4460a41ccf31e7033fea29ff6e5b6","datavalue":{"value":"sets as transfinite processes of unfolding of binary structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$7CBAE04B-7889-4379-82FC-47131F0D4938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fbcd91b5d39b8983dec07e8b7b9c6b6d65d79a0","datavalue":{"value":"structural theory of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$80D03170-C7C8-4F4B-8D53-AF6D5F931075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77dee63550f5ac63fd9b49b54192c5c11e632f13","datavalue":{"value":"super-antifoundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$AB69AD09-FA7A-48C9-A481-9A67A2051222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefe6ee35e09770ad7b8756f7711e0f9af303b20","datavalue":{"value":"super-largeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$7034C771-07A0-4B51-AE58-073D324DF0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53397f1479dd5544651439ee7df16cfcc0b79305","datavalue":{"value":"observational equivalence between processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$AFA01A9D-69CD-405F-A242-A0F360AEE8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dcc27cdb562c651db705fb2cbfe577407d26f5a","datavalue":{"value":"universal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$0BFEB106-3A16-4E93-8E16-467E400CF9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614bd67e47a4003be8d66a59f4056ffde99226ce","datavalue":{"value":"infinitary modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$94A8BF9C-1D26-413C-9AA4-485F5F3509E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5673f420703540e5f595fdac2308b2a23244277b","datavalue":{"value":"topological properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$C9806C57-DCD7-4C8F-BB02-5340BB45E816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c9368b168941d70d7f2b0e0f6335db79a23e0e","datavalue":{"value":"paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$FC257853-4BF2-4C8E-9318-457924DECB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b98241ded7975c0f16318c85fe17a6847618e0","datavalue":{"value":"fixed-point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$D0D78027-5EF4-4440-89DC-2A832FFC5ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$8D6E0AC9-B6CA-48B0-9248-6009EFA6CAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$D748658A-5977-4685-A54F-28E1EF1DF86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0e391e92d857d7bf015badaab4130d23f53b85d","datavalue":{"value":"reflexive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$29A25F4E-6AA6-4415-87C9-F1F6BA2226B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d2d317a1fba0afdf99bbf52da766f7ecc0c2b32","datavalue":{"value":"circular models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$983C34FA-D441-4CB0-A023-6F56C8F8E459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7ef2ebccd016252dd4c0a33f562cb4c71d7234","datavalue":{"value":"domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700537$FD66583D-B730-48D6-8318-0F6F3453165C","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":"Q4700537$A1DEBAC9-2BFB-4F29-A870-002285829DC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"006d7b6e74fa8e2dfc9733dd7c7af9dee0495f13","datavalue":{"value":"W2046358127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$A711C33D-25E3-4D79-8A8B-509742529909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ce5bfebf43eaa16ff09f4bcdb0f9ff9b2524b28","datavalue":{"value":"10.1093/JIGPAL/7.4.481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700537$265A86F8-B33A-4B7B-8EFF-C2863E5EA83F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700537$31366DF9-7A99-4726-A5DF-4746C6749B13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0671ca67aa17732096dc899b9d4c1a348c71f3","datavalue":{"value":{"entity-type":"item","numeric-id":4329230,"id":"Q4329230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q4700537$F7DF67F1-2A4E-4370-9054-A083C6224F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2238764e65e7df643c92c1ac1ec363a4f968a61","datavalue":{"value":{"entity-type":"item","numeric-id":4696862,"id":"Q4696862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74cb54fb88ff2d638e7bd588b183b0eae251819","datavalue":{"value":{"amount":"+0.88909864","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":"Q4700537$31488A56-A5CD-4BA2-84BF-B79FFF5F620E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f553e467699e36412fee77e4a7ac42d7fc027","datavalue":{"value":{"entity-type":"item","numeric-id":2813670,"id":"Q2813670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61edaec77bac568357f6fb4224270fa24a5f4baf","datavalue":{"value":{"amount":"+0.8792033","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":"Q4700537$5D65F103-7C3A-42B2-8F0A-8893FC4F51F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3844b5a217eafd4c9acf34aec700c03076867a","datavalue":{"value":{"entity-type":"item","numeric-id":5931114,"id":"Q5931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a74c55c147709a93a9e1e154c00d5956ef4a29","datavalue":{"value":{"amount":"+0.8760517","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":"Q4700537$AA332861-9712-4AB9-9C39-092F66D7235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64a321bf4e0af75bb0c8c6bcaf3a5608556fd43","datavalue":{"value":{"entity-type":"item","numeric-id":6075428,"id":"Q6075428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4ac4367435d23d88a33c1a714092b92acf5df6","datavalue":{"value":{"amount":"+0.86977476","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":"Q4700537$11EC1D98-A563-4C54-AA26-8E816B941C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4319321b29e36df99b0125f9d651c47aa4c66d94","datavalue":{"value":{"entity-type":"item","numeric-id":3527484,"id":"Q3527484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a879cd530dda40e8fb2db98e2e9ccbcefd42fd","datavalue":{"value":{"amount":"+0.85854185","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":"Q4700537$38A8692F-C0B9-45E9-9E9D-6414D127B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83f85bf64f671fdc2917692e10d5903b06f8eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5452175,"id":"Q5452175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e474941cd2c22b7605652c5d2fde9dcbf99468","datavalue":{"value":{"amount":"+0.85764897","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":"Q4700537$611023BB-CA91-4F4D-A1B5-190AC60BF2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1fce09adb870f6abe427a2bee17cef95346f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9eaf637f6f776c40a154f80880dd63494b14929","datavalue":{"value":{"amount":"+0.8546537","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":"Q4700537$B7761433-B360-4DCF-80A0-14F68D47EA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da9cdf82cb8b61f545944966a17446e39e89cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3201903,"id":"Q3201903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d83a5cb9cbdd2c9de131fd0a71704f697ad3b09","datavalue":{"value":{"amount":"+0.8522463","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":"Q4700537$145B9D8C-7639-4ADB-B06C-632681CC209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be64e7067470834a96a324451c5577eb1646d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4918444,"id":"Q4918444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bbfd7e9872f8eab614b9c03879a703d94f1a28","datavalue":{"value":{"amount":"+0.85182124","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":"Q4700537$856601C6-1AD0-4842-AF66-24003E8D0CA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4700537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4700537"}}}}}