{"entities":{"Q2287897":{"pageid":2298640,"ns":120,"title":"Item:Q2287897","lastrevid":57823131,"modified":"2026-04-02T16:41:31Z","type":"item","id":"Q2287897","labels":{"en":{"language":"en","value":"A tale of two set theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154810"}},"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":"Q2287897$D1C3C57A-D468-496C-8047-1587BBAC4C3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94f26bcf214d744d88ccc3960b509443ae0e4829","datavalue":{"value":{"text":"A tale of two set theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287897$5B289B96-E30A-496F-8EC0-48577E8DB3FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c62409cf8b828339e74be0abb62271b1cd802c","datavalue":{"value":"1428.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$9DB7B485-17AC-47F2-A1AF-5B5440198F83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00295b51a3d0c593794c30daa41f4c41cf7fdeeb","datavalue":{"value":"10.1007/978-3-030-23250-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$F84C3869-294A-484B-A8BD-45D9BEB605B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287897$77E4153A-AAAF-476B-BFED-983E07570D90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c82ada0e9d651c460b1a142ead3df67d1642f452","datavalue":{"value":"https://arxiv.org/abs/1907.08368","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287897$F323B1C7-1665-4AC9-A2FF-877ECA0EBB99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$617EB765-0321-4455-98F2-EE2451819A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$A40C5069-E530-46C6-82E9-254FF96F58C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$8E11B615-43B5-44B4-825D-8CFBB4E2A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$5368C597-5587-40E0-8925-2723FF7796D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166475a4bed643b7234555079ff45402a0ce15cf","datavalue":{"value":"7154810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$133F7C32-4984-496A-AA10-14299639F63F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287897$997E3E00-72C4-4D9F-8D51-5CA244FCA3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287897$25854070-5FFD-4D1B-93CF-97BEAF393832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287897$46E11F1A-DAB9-4D17-B583-6AFDF7D6B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287897$3309987C-C247-4C94-8A6E-62714B582AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2287897$F8E521CD-A14E-4E7E-A5ED-D3B3452434CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287897$77893FAA-8ADE-4A0A-BE15-EF6C9E904B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287897$DFD5F332-1185-4AA6-BEF1-F55948ED9D42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287897$DDB29ACB-8B86-4096-90FF-BBD78586DB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287897$3DCBAF44-3D67-4249-B2AF-384155E3C3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287897$1392DC3B-3EB2-4BEA-B03D-0D298B5E9BF3","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":"Q2287897$F297F55C-47CF-420D-9EB7-4D5497257099","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f841ca2e06aba980b12d13fbe06c10794bdc9c","datavalue":{"value":"W2954151392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287897$E5C63DC5-EE32-485F-A705-36C2E5D24199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26da5b22e5a9c094800cc782efd65b440df5fed","datavalue":{"value":{"entity-type":"item","numeric-id":4230815,"id":"Q4230815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f34856465a50c1c14b328e7eb5c6735a06d5a22","datavalue":{"value":{"amount":"+0.8666152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$A13FAF23-5400-4646-A1DD-5809A7661727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d4afc02eaa6fed657e193a6cd0ef192c8271db","datavalue":{"value":{"entity-type":"item","numeric-id":5596756,"id":"Q5596756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd7998c5fc2d156cf064070b9c9042e7f533f26","datavalue":{"value":{"amount":"+0.86232364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$D4E9D7D4-A58D-4DD9-A7AE-D491335A9EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b32695ad3629975f586ffadcf0785e7f8a19ac","datavalue":{"value":{"entity-type":"item","numeric-id":4269769,"id":"Q4269769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14f09de0f34d0428eaa879005d0d159fe563e40","datavalue":{"value":{"amount":"+0.86170185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$B41D2E04-6E36-4B40-802F-B6026B27D4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8025a2f14b597e2b4b90f48f42c6a435b0f4c39c","datavalue":{"value":{"entity-type":"item","numeric-id":4898645,"id":"Q4898645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c283369716b5466db35da03ed4639c18a344d78f","datavalue":{"value":{"amount":"+0.86155295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$8395DA5F-15DE-4021-BFC3-2B8983615121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0d20e3340a7d9c5ab97cdd55d4fede72b76979","datavalue":{"value":{"entity-type":"item","numeric-id":1893146,"id":"Q1893146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9640a707d3e2ace1b15573872d7d3cc0bf2a017b","datavalue":{"value":{"amount":"+0.86112005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$B59B7E55-5274-4E4F-A625-246390568CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8874bd7d51efd8d3d66a8e387885825d8011962b","datavalue":{"value":{"entity-type":"item","numeric-id":4781210,"id":"Q4781210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8670a4f131e7096c6052a750f3bff417cbca87fe","datavalue":{"value":{"amount":"+0.8607122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$B94E9DBC-A0E2-4D5B-9633-E15F04B79F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdf3c49bfcbb0fd43addad1f924613c61d3ed8a","datavalue":{"value":{"entity-type":"item","numeric-id":5798136,"id":"Q5798136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42da93bc7f82936f2d237d6ce85c7704098462dc","datavalue":{"value":{"amount":"+0.8599164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$81882FB8-9EF5-4058-80DD-9AE854315172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ac721c53f90eeab02ccbfc17f065850fa140b5","datavalue":{"value":{"entity-type":"item","numeric-id":2652535,"id":"Q2652535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898089a73263b37300bf05b2b817f8fa49c18e6c","datavalue":{"value":{"amount":"+0.85991627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$339345BC-A27B-4EF8-90F0-EDDCDE32EB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97a15ead4e046697b1a8fafced2ce34d190f2d8","datavalue":{"value":{"entity-type":"item","numeric-id":3511879,"id":"Q3511879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baedf18b9d24fd3eff089e15a3c4856d640998e1","datavalue":{"value":{"amount":"+0.8597103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2287897$94FC9CE2-28B4-4580-8966-F650778268B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287897"}}}}}