{"entities":{"Q3472094":{"pageid":5292796,"ns":120,"title":"Item:Q3472094","lastrevid":46700562,"modified":"2025-12-25T10:31:43Z","type":"item","id":"Q3472094","labels":{"en":{"language":"en","value":"Stratified and positive comprehension seen as superclass rules over ordinary set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139733"}},"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":"Q3472094$76F07AB6-F7E1-4784-A4CA-B25AB8EBB0EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3e282d1c1b3918e096a98c42996f308d4bb08f6","datavalue":{"value":{"text":"Stratified and positive comprehension seen as superclass rules over ordinary set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3472094$BEE9C438-A249-4F88-86ED-DB54DDEC3F47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5214453ed3f8618b24ec6bc632292cb9c7815a56","datavalue":{"value":"0696.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472094$6B3282FF-A437-4BEF-8739-8946BA7673A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c11f1496b2ca7d3c3a7ba3ae5769ae48fb5f6d6a","datavalue":{"value":{"entity-type":"item","numeric-id":190349,"id":"Q190349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472094$5A178529-ED1F-4EDA-A01B-9794DFE3FB11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472094$FEE9EB7A-D52C-4DAC-AD29-A570434E1FF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3472094$495DEB05-6EE0-4671-AEF1-5E08D92E72E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472094$62942F1E-A54E-4122-934D-42DBE0634C39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"491fb17b2cd076a3fadc31a5d64e3bd635a3d008","datavalue":{"value":"4139733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472094$22278373-7693-4681-A893-54DFAC20CCA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$4BEDAA3B-AFF1-4009-915C-64C0331233F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbaaefab3f304a1ac4befeaa41a8bcc76e1a0de","datavalue":{"value":"NF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$70566452-3D5C-424B-91FF-8F75F977B516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683e8a40c580db55be4ecb2fa8428a3c195e90fe","datavalue":{"value":"GPF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$4FD67BD2-AA14-4CF1-ACCE-1B88F616FF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec98b1b9605c0a69d9985c702b7a1e8effad661e","datavalue":{"value":"comprehension for generalized positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$9B8DCBBB-5F0B-4271-836B-7CA97C81C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$8E06DE48-6EAA-4B20-BDCD-241785BED78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eacf51ce424a43f2ca7bb56ddc95cd7fdf434f3","datavalue":{"value":"superclass","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$F3581021-3764-4249-84D5-5BE69D0C2B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc6b7828292255eb2bb382eaed1055ab35c7132","datavalue":{"value":"anti-foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$E5283C84-BCA6-42F2-AAAB-F9F389619AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902924b605dedfc4fe6e0957791dde5b67a7630e","datavalue":{"value":"strongly extensional relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472094$1CD9CD55-33B4-4302-8E7C-8161AA52E348","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":"Q3472094$C333CACF-5374-44B7-84DF-C99367DA1016","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b44c461824f5cbc26d201566aff53bb4bd5adad","datavalue":{"value":"https://doi.org/10.1002/malq.19900360605","type":"string"},"datatype":"url"},"type":"statement","id":"Q3472094$E3BC695B-FA65-4B4D-A257-18A4C2722A15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e14c4ce7e3b1695e6283cc75dcc8087909987a28","datavalue":{"value":"W2059656889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472094$CF86D708-AC5B-4159-A4A4-52142089D724","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2c6296af373b250f575898e27b833c6f7f5d0a","datavalue":{"value":"10.1002/MALQ.19900360605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472094$3195D355-B704-4C7C-AA86-27703CC2B30E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e72a94422457e53764b3d7c3e82589f5a249792","datavalue":{"value":{"entity-type":"item","numeric-id":1288964,"id":"Q1288964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adecc94441004267a64dcb557ab941baa41f779","datavalue":{"value":{"amount":"+0.8404168","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":"Q3472094$033D2A1F-B7AE-4AE9-94D0-CAF267821E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb185b34ef25095c94c11c4f36f4b1ad2ac9b17f","datavalue":{"value":{"entity-type":"item","numeric-id":2679580,"id":"Q2679580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da39a3db677d80ad07751c41f6e66e886cc7d49d","datavalue":{"value":{"amount":"+0.8397505","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":"Q3472094$202FDC64-C86D-40F7-B163-53663F5C3920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e568c53faad65062baa1586c22835f5669bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4487243,"id":"Q4487243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750537cda1605c22cac4213cddb3c45a157c58f3","datavalue":{"value":{"amount":"+0.8381976","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":"Q3472094$2BC2BF76-6561-4728-8A31-6F185C14E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e668c28e4a1d0fe8e648dcd4b455258895c2e384","datavalue":{"value":{"entity-type":"item","numeric-id":4925884,"id":"Q4925884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb171e6c42f2fd2fa23ac20489a0e4d5a4aa739","datavalue":{"value":{"amount":"+0.83807737","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":"Q3472094$8A5BF3C4-90A4-4E0F-8894-ACD62E21409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f512fb632f8bb73276376b2898429ffac85ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5404160,"id":"Q5404160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abc7de80fac1b794f99f4a8d87e59a8e8d18010","datavalue":{"value":{"amount":"+0.8367624","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":"Q3472094$8AB0F629-43C6-4B20-B084-35F13A82755A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df5b352c0cb57e4d10ceb98a4c3dd02a32501a","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb580a77611391bac9b1a8600dd2a6a90cff8776","datavalue":{"value":{"amount":"+0.83584905","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":"Q3472094$92EC2B94-AA7F-4C32-99C8-7BFB72A47F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8944897ef2d518584fe46d5fc61ecdc818bcf694","datavalue":{"value":{"entity-type":"item","numeric-id":1202500,"id":"Q1202500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413471933f53c86870d08cec9707ad9c58f30e8b","datavalue":{"value":{"amount":"+0.83579427","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":"Q3472094$D7166741-255B-4772-9599-FD3E74C40B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2155678a2b08a8329f0dd87e8211f74c7d6c34f0","datavalue":{"value":{"entity-type":"item","numeric-id":3980114,"id":"Q3980114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40eb3b5fe156cc71dc5c98a55fc1c943ababe393","datavalue":{"value":{"amount":"+0.832863","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":"Q3472094$EB5A0E30-BE2A-4A28-BA93-7AD868D7CB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd0eb1fe2ba9322e58e0dcb65e5c82edac930e8","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb46587fe4d461370773c8d96c7fb47bd748f9b","datavalue":{"value":{"amount":"+0.8304229","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":"Q3472094$613BF0DF-78DA-45B3-84D7-CA384026F48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38bf32e45d70eac885b965b9f38c96d7cec1377c","datavalue":{"value":{"entity-type":"item","numeric-id":3452179,"id":"Q3452179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72693a8c88cc5230c91fef00934c87969212904a","datavalue":{"value":{"amount":"+0.83040625","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":"Q3472094$0A04F1B6-B6C4-45E4-B2C0-56FA8FFDEB7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3472094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3472094"}}}}}