{"entities":{"Q1209798":{"pageid":1220547,"ns":120,"title":"Item:Q1209798","lastrevid":66355704,"modified":"2026-04-12T09:32:10Z","type":"item","id":"Q1209798","labels":{"en":{"language":"en","value":"Logic, sets, and mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168563"}},"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":"Q1209798$4A80B7E1-F002-402C-921C-61A34F3B8853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a65b7eeeb763a06e5d22dd8b480a5c1db8233037","datavalue":{"value":{"text":"Logic, sets, and mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209798$1578EC9C-F503-4AA0-8242-AE7261FECD47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3fe93253564939da2bec3ed51566fe185849378","datavalue":{"value":"0780.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$6B986904-4BFD-466B-82C8-224DBE7FE671","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79d66a4a0216829cceb11a90537f104fef306f66","datavalue":{"value":"10.1007/BF03025253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$10A21111-8E90-408F-9A4D-977B50D02984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00d7eff2c7b0f075602eb11377b06d7ea65bd882","datavalue":{"value":{"entity-type":"item","numeric-id":685418,"id":"Q685418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$34E4E315-C60E-4792-AF1D-3868878F376F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$33F30DCF-6FCB-4B7E-8CC2-6E87431ED092","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q1209798$6BAEDD5F-DB38-45A1-877B-ED692EDA19C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b888e845a93efcc7b43a38e17d65d6531ff3ce46","datavalue":{"value":"The author explains a semantic tree based natural deduction style formalization of set theory which is nominalistic in nature, makes interesting use of the distinction of use and mention for (names of) objects, avoids standard set-theoretic paradoxes, but also the common naive form of Cantor's diagonal argument for the uncountability of the reals, and may constitute an interesting alternative to ZF set theory in allowing, too, the formalization of central notions of modern, structurally oriented mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209798$58C9F093-2AC4-446E-A506-D41E7254A875","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$4BAD2F04-8481-4FAF-A4D6-93F936BB804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$E0DDD7AA-F792-4CF7-9FF3-BAC28757B661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$E09E9D17-2FFA-4895-BA70-8DF4480D3687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$E7BACB06-20A8-4D70-8021-0E65E4B00939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce35ddecfdd2ea2c1d4f490449c52eb91042b29c","datavalue":{"value":"168563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209798$D0867FB1-B2F0-43E5-AF7E-07C823C7869F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5546bf68530ff71673fa6175968bc1cf3c6478ad","datavalue":{"value":"basic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209798$36A1E987-BAC0-4BAE-827A-3B8531949282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf355539d21821bc2baa2fb1453b4e5a1b5b4e2","datavalue":{"value":"foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209798$F38D8BE3-2050-45C4-91C1-4E74068C1AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ddef6b78438484476373febdd2781537c75ea5","datavalue":{"value":"non-standard set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209798$1C3E4118-48F0-4D92-8B15-0ECBC77FECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76b5fdb92e3bf177b0c6f84f1027375b7963c100","datavalue":{"value":"semantic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209798$C65D0390-F833-4D19-A14F-AE69B630D148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c25849e8122b949fb5d00d95f2e7a942306ef8","datavalue":{"value":"natural deduction style formalization of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209798$C448D3BB-394F-49E1-AF03-6A2211146E0D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$3971EA37-F715-4347-B01A-36D174AD208D","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":"Q1209798$CF50A0BA-E98D-4FD7-90FD-384DBB0EEA82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$F32ECB6C-9B28-4B23-A85E-164DB34C3DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$4F47A808-A102-439D-93EC-7A4BA4B3FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$49405C50-2568-4AB8-AB32-4C5C69BE28A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$F0A1CCDF-AAD8-4C30-ACA3-2875A9276C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$C2FD40AF-0E58-4F99-B296-CECBBDE73F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$4E940FC8-9D14-472E-B041-9989D44AF37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$EB61D586-3C04-4805-A92A-CB924B7FBB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770d73cf4787ca9600c37380f13abfc0aee7abcf","datavalue":{"value":{"entity-type":"item","numeric-id":5586435,"id":"Q5586435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$F0C71614-B153-4441-916E-3E71DDCDEE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$F5353B4F-BB00-45CE-B1F0-8BF50285416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$E6E211A6-CDB3-4801-B4A1-790926E81A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209798$99667B12-93D9-4708-9E3A-085A77C094A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c527a0b24e665e31567f7d7f5c140242cdab14d","datavalue":{"value":{"entity-type":"item","numeric-id":3197802,"id":"Q3197802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1564461c80599d66c711149d8c65eb828b902065","datavalue":{"value":{"amount":"+0.7708795666694641","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":"Q1209798$29F240C9-8D52-49AF-8F14-8028EFD1DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27aa043a43a29b566739683e1abd810ce60f877f","datavalue":{"value":{"entity-type":"item","numeric-id":1279498,"id":"Q1279498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e7b5f90619cd7225a01d5bae8839d2bb79efee","datavalue":{"value":{"amount":"+0.7509428262710571","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":"Q1209798$7CA50F1C-19CF-41D9-9878-8574EFA0205D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b0d0bbe1561e827136efc2a61dafeca2faa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":4005061,"id":"Q4005061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6713205d15a69972b850d51165011de7182c43","datavalue":{"value":{"amount":"+0.7400354743003845","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":"Q1209798$EB8BE8B0-4C24-4882-9402-FB19CC09A709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86362bc377f2323b73553c43b7407669c73b69f0","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64119f3cdff17afb84e4927130ad8243dbf1034b","datavalue":{"value":{"amount":"+0.739670991897583","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":"Q1209798$A484C23B-2BA8-4BBA-9B3E-7183BC5095A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb50b6296b87ae1b20e9730e9e0dd385501fc6a","datavalue":{"value":{"amount":"+0.7315115332603455","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":"Q1209798$D5C3F302-D49F-4E66-9682-40968F65E038","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic, sets, and mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic,_sets,_and_mathematics"}}}}}