{"entities":{"Q2097059":{"pageid":2107802,"ns":120,"title":"Item:Q2097059","lastrevid":82472411,"modified":"2026-05-06T20:59:03Z","type":"item","id":"Q2097059","labels":{"en":{"language":"en","value":"On Takeuti's early view of the concept of set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7615251"}},"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":"Q2097059$B90C94D3-2312-4634-89D7-735943BA27C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6b3925c9a7968805f2ee148e096acc57678b9b8","datavalue":{"value":{"text":"On Takeuti's early view of the concept of set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2097059$4E206F1B-4FA0-40D8-8006-702FC4BCBC4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"302ee731d292675194d35c31deff103841b7da05","datavalue":{"value":"10.1007/978-981-16-4173-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097059$5BA930EE-F671-49F0-A41F-DA010F4E7AE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abac39eb4ed65b83d7bebb6fa47883b3d5694a10","datavalue":{"value":{"entity-type":"item","numeric-id":392282,"id":"Q392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$2776AE1B-C515-45E5-8656-80F1F1CC068F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d427d6e8557b276fa99b93deca64aa11553957f3","datavalue":{"value":{"time":"+2022-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2097059$55476D22-C698-443C-9964-C974395BFBDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097059$9305873B-A53A-476E-87B8-206D60789872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097059$F87B2CA1-6998-41CB-B9BC-004DDCFCA45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097059$71C9CD5C-8AF4-44C0-BF3B-2A6363D0239A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5be694aeaaf55aa72bfd64d6011588ee966b492d","datavalue":{"value":"7615251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097059$3F850B18-7D1D-4C9F-9D5F-A89A8B73D221","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8144ec830c585fce86fa2b0b6eca0d09d69d796a","datavalue":{"value":"Gaisi Takeuti","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097059$0AC991CB-14F6-413C-844C-72C32CB91FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfcbd59eebb72eae75a2df80cf469ca52bb84e92","datavalue":{"value":"concept of set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097059$94927506-4B56-4B05-89AA-017460B35C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d244491f19c9fefb530532048a7ce52aff44362e","datavalue":{"value":"Takeuti's fundamental conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097059$E844BC22-DB88-4E70-9FD9-A1BD70C04338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097059$DFC26C71-A785-4F39-B4B7-1E1661427440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097059$88932A91-A611-437C-ADF0-2B2F59214E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e210da223900cc1080f745f3ed6098e81d76fd78","datavalue":{"value":"history of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097059$47607B33-6D8F-4143-BBF9-8349CCEE782D","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":"Q2097059$8CB57612-2FCC-47FF-942A-CCB4463C982B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f9054b6f3b8a9c2c2cf57f8c3d2ace1d976a5af","datavalue":{"value":"https://doi.org/10.1007/978-981-16-4173-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2097059$79D11D44-906F-440A-842F-F011BF739157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"531837d3e1b57d400fe1d64f6ac26761d36706b9","datavalue":{"value":"W4207063600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097059$9F81B40E-A095-4672-BA95-D1B25AB152D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1009127edb1e13cf4ba7df86cbc5741fdc35747b","datavalue":{"value":{"entity-type":"item","numeric-id":4207896,"id":"Q4207896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$757179F4-1604-4625-9136-A8D8B71E197D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$B61E3A3D-A5D3-44D6-B0BA-2157C73790A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9873d52a879d61ea5f503e865184e86a80201d","datavalue":{"value":{"entity-type":"item","numeric-id":4237309,"id":"Q4237309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$4B776C33-4FF4-455A-88CE-CAAD0C7CD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$954FF6C4-31E4-481E-9028-7111F2B44E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea21c875ea0df9cfee3ff80b2dbb3554eadcada","datavalue":{"value":{"entity-type":"item","numeric-id":5517349,"id":"Q5517349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$00CBA28A-094A-4E32-B861-327FF588762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$A7A799E4-7B8C-458F-A1AA-AB224482DF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33163735a85d6128763b775f342685a8d5402f4","datavalue":{"value":{"entity-type":"item","numeric-id":5668423,"id":"Q5668423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$59FEB668-72DB-4BD7-970F-02440AE8860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0a919f3d124f723c9c33bae46e1c7f40813fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4487253,"id":"Q4487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$0646FD90-DEA2-4046-87D6-25C265748DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd727e431a0612239ab93fd34fdbc2b73d957f4","datavalue":{"value":{"entity-type":"item","numeric-id":4637941,"id":"Q4637941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$808C6A14-FA40-4591-81BF-D451E4C927EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$85C43950-236C-4D40-973D-4A6A11800F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$E9F3041D-AA84-41F1-8656-572D1A3C870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$773401BD-D183-48FB-A410-FC6CCF5EE6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$DAE7CA42-5FB9-437E-8EBE-9082C621EFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47cf8ab8b9d3e6abef33c25f5c9c187622375f4","datavalue":{"value":{"entity-type":"item","numeric-id":770285,"id":"Q770285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$B328711B-8755-4314-93E8-F6746D81F18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0847d7f7bf65873dc3f3acc084f567936cd36ba","datavalue":{"value":{"entity-type":"item","numeric-id":770787,"id":"Q770787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$05F833BD-22F9-4D75-A067-095DE76C7E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9601abcae327b2a5b7939a8552ce0da14a835b","datavalue":{"value":{"entity-type":"item","numeric-id":768307,"id":"Q768307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$49E6589D-747C-4606-A7E1-303D6B6854F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd6747e2b617f25f26e7bc8bf0a28b96526a83a","datavalue":{"value":{"entity-type":"item","numeric-id":768308,"id":"Q768308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$45F58D65-D7B9-4E49-B848-22FD8F6FC40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46787e1f5f108d46a895afe3df22d5a641fea6d","datavalue":{"value":{"entity-type":"item","numeric-id":768810,"id":"Q768810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$541C54DB-C09C-44E8-B9AB-BDF468906A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245dee262e88208c5956b8ee284e0a0b5bfdd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":768309,"id":"Q768309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$AD425DC2-7520-48DE-9604-E711A77687CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$984A4CF3-B44B-4630-939A-EEEDE930FD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d262ff675f96dc143fba11bdd136a6eee1f4d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5631102,"id":"Q5631102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$D1D15617-901C-4775-B6D9-6A667CF752BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$0D9DE63A-1774-4DD2-AED8-445187EE3B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$A8436BEB-479F-4431-A21A-38A7D451C08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0961c73dab2dfd713bb7bd296b2a03b61e92f7","datavalue":{"value":{"entity-type":"item","numeric-id":4409845,"id":"Q4409845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097059$D1C5EB26-BB6E-4842-818F-432F0BE12C82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4446ec1c414b9f26007ab7fc69f7b3aa76feff","datavalue":{"value":{"entity-type":"item","numeric-id":2097064,"id":"Q2097064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26eb1d384e4205d1050d01d5fbf032d353e516f","datavalue":{"value":{"amount":"+0.7340591549873352","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":"Q2097059$513D2524-0A4B-4B1D-BB98-867EE6A01755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63188e8be6e47f87bb1796f9ae0a684f4f9582ef","datavalue":{"value":{"entity-type":"item","numeric-id":4409845,"id":"Q4409845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58433cebc97bbe04ff183e577e011f63119f6e27","datavalue":{"value":{"amount":"+0.7022520899772644","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":"Q2097059$8D9C7AC9-A2D4-4D48-9336-2DF831AFCCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40d738dba2f2d3766c0f1d616ac80b3abc1142b","datavalue":{"value":{"entity-type":"item","numeric-id":2074790,"id":"Q2074790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d8baaf7cc648e9f70e942001c317acf87b3739","datavalue":{"value":{"amount":"+0.6898009181022644","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":"Q2097059$EE8B5632-2584-4AB5-9CAC-DC44CF9A7C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a749c88e916ba664a0472496251827c9cd968ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5084572,"id":"Q5084572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1278e9856a0e91ec3dbd6e817c4e6782877dd8aa","datavalue":{"value":{"amount":"+0.6656008958816528","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":"Q2097059$B356F41C-5533-4DB1-8169-CFC4D0543836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c383b1cf311b2c271492c43f6d30065a560da0","datavalue":{"value":{"entity-type":"item","numeric-id":4266189,"id":"Q4266189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16de04336225bdd2ce8ea99fe250c6f17100a83","datavalue":{"value":{"amount":"+0.6639994978904724","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":"Q2097059$6C099436-0D70-4CD6-A8C8-C51B7D2272FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Takeuti's early view of the concept of set","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Takeuti%27s_early_view_of_the_concept_of_set"}}}}}