{"entities":{"Q4225023":{"pageid":6254624,"ns":120,"title":"Item:Q4225023","lastrevid":46631499,"modified":"2025-12-25T07:21:26Z","type":"item","id":"Q4225023","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1241476"}},"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":"Q4225023$93B2C1EC-F3BF-4C1F-B61B-D57C5EBE6C39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67b43ad15307e62dc69745d2d5e80c0b5ee0e4fc","datavalue":{"value":"0945.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$B1EEBFA7-927E-485C-B993-494625C324D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1ee2dd78826897cc44fb2dee9514a0e1624795d","datavalue":{"value":{"entity-type":"item","numeric-id":487219,"id":"Q487219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225023$B908F036-1D6B-4B03-9278-0679C191B0E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99d4d1a3aff65186180c0994df736b3510e17f6f","datavalue":{"value":{"time":"+1999-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4225023$883C6227-0E7A-4CA4-8D98-17CFB1BF43B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$5CABF7CE-96B1-48EC-BB5E-22B759732E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$87C422F5-654B-41CA-A704-C89555D3C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$FDAF12CA-EBCB-44EC-9E11-9692F493C265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$73578D52-1C64-4CD7-A185-CF39EA8F2B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$E00FB1AD-4FD4-46BE-B879-163BE41604BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$8C20C777-ABDD-4238-9BC4-1C1224FCEF6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48017844179a8b9dc2dddc5407095ab258d9f2ce","datavalue":{"value":"1241476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225023$0191491C-AEB2-48DB-9ADA-2C4916501F62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bdd078633eec083f77d77f9e6de7a8a55abb02","datavalue":{"value":"formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$73F33602-AC10-4C14-B50C-5B0336E1CDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a893095a04be0c62195b5a7efcd32d00704462c","datavalue":{"value":"realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$BC216356-9887-4366-AC81-3915DD9114D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329a0997afffd20fd7cfee2b0816306363feb1e7","datavalue":{"value":"practice of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$0E52F8F3-A29F-4EFB-8B0F-7755B8BB4D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$4A45119B-F4E5-4C51-93BE-E8C9A6D392B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e1e5f360e6cc00c9b9ad90b529a8f302fc808a0","datavalue":{"value":"universe of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$6F7A6EA5-3DE0-4697-A87A-5CD5BD04BBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c24c51b129db3d774fb581b6059a5a5667d1e75","datavalue":{"value":"predicative construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$A4044F19-937B-4FCD-BC88-3FC174086602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7f16b201de6728447e5b3664c161a1afb0abc3","datavalue":{"value":"natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$633A1BF4-AE76-4C5E-A946-A8C48C698632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5bdcb96a9dce44077792d0eb493add8b4a6057","datavalue":{"value":"power-set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$81E99F72-7AED-48C8-AB6B-AEAA67B3C0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$A68D8CD0-BB59-43B9-A2D5-66210BCD8E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de9b748f949379ee70670f1a827e5cf2cd73877a","datavalue":{"value":"set operation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$01707583-5315-4423-884E-05DB759CE338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdc3a1ac61d9c079f56248d37f7dfa413aeb630","datavalue":{"value":"set predicate rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$3D806DCB-E7B6-42C3-B6EE-7EEE0CA8ECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36d20f41bded2dede2874a9ba8310798b69f3fca","datavalue":{"value":"objective construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$21037EDD-5AD4-4691-8A49-34F82CC3B578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790be34df839a458d696cc3fcc9feb813e1dd873","datavalue":{"value":"predicativity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$CC5D09C1-FBF7-4DBF-ABE5-931057888F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d10fb661256c5532cff87fcfd955ec49b58000","datavalue":{"value":"local quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$7CB98812-907F-4355-A03E-91FA32FB0DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e321d697fc45c87c38d9e0c39d06cbddb11b452c","datavalue":{"value":"set induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$F6ECA8E2-4769-419E-A0D2-AEF5AE517B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3af8db89c8de0d2774fbf3d1d50f1b3e843140","datavalue":{"value":"set recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$A2DB1378-5CD0-4E52-A983-F58E84B64329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165caffc963b6025ba38665ed02baa6c8fe6fc0a","datavalue":{"value":"internal consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$4E9C81C2-339D-4959-AC49-6139A96935B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$22E0A541-3CA8-4279-9BA5-519D8116B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$0CC501F7-C2A2-4755-9F0A-9DBC70F8EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7010f728447869cb902c75dff860506690046b1b","datavalue":{"value":"role of set theory in the foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225023$964043FB-32FF-4265-BCFA-BE16C91310E1","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":"Q4225023$7BE3B2DD-ADD9-45BF-ADE0-1FE3C0883A49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c95c6f7cdf33bcaa864b15aeb194779f6c94d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3081642,"id":"Q3081642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3eb0210f9b63814355a6e9f131362a51f261253","datavalue":{"value":{"amount":"+0.7799715995788574","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":"Q4225023$449D1928-09AF-48C1-89A4-FB25546594E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8fdab00b8382fd9784a00bcd61b79e042f91ec","datavalue":{"value":{"entity-type":"item","numeric-id":3081637,"id":"Q3081637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7869307bc0c9f5127515fe8fb268f1657b5aa202","datavalue":{"value":{"amount":"+0.760615885257721","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":"Q4225023$0DE027DB-8880-4330-AFB9-AF107A9DC735","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":"66473d76f36fee9dfa4a943a4c8c7553a5f2c4fa","datavalue":{"value":{"amount":"+0.753684401512146","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":"Q4225023$6C0CB64B-233A-4FDF-9F5F-8331CD31D355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0f3a9ce4f6b36bc398bddd6dee769ef4273999","datavalue":{"value":{"entity-type":"item","numeric-id":3001097,"id":"Q3001097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad18675cc82005c6459b941d7e1eafe8b34b001","datavalue":{"value":{"amount":"+0.7507623434066772","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":"Q4225023$670DDE13-B1C3-44E1-888D-9FBE619D2F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37d57f97a590e52f963c1f8cf8ca84a30384771","datavalue":{"value":{"entity-type":"item","numeric-id":3008060,"id":"Q3008060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65efc26fe2ddc3fa3907beb456df7828eecf4492","datavalue":{"value":{"amount":"+0.7498358488082886","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":"Q4225023$8A6C1113-2AAF-4CA6-8522-65E3A22D58D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4225023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4225023"}}}}}