{"entities":{"Q2097064":{"pageid":2107807,"ns":120,"title":"Item:Q2097064","lastrevid":82472456,"modified":"2026-05-06T20:59:03Z","type":"item","id":"Q2097064","labels":{"en":{"language":"en","value":"``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7615256"}},"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":"Q2097064$CEB04EFB-E320-4A9C-B4DA-52EB2AE33527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef0afaa5588f0c43a77ddb6bae5f86b433cb1900","datavalue":{"value":{"text":"``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2097064$784D83CF-CC6B-450C-BD3C-D61FDB3A8897","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"833bf8d8b6f5700c484603787ef62676c5da9c47","datavalue":{"value":"10.1007/978-981-16-4173-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097064$A58B9A61-E915-465A-AC05-D109CA8DF9A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$64838D40-C32E-484D-AC6E-40CF05B48593","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":"Q2097064$C0A7E741-5AAF-448F-AA26-6E82764E1F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097064$80CD97D8-7492-4704-979B-829276C6CE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097064$548A9CDF-460A-454B-813A-3D7803580DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097064$DA02ED8E-8AA1-430B-965A-15B017544E73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90cb2e3f77a731fd773eaee8e75f23a4533242d6","datavalue":{"value":"7615256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097064$A0D31B27-1B99-4B3C-8542-368B8817707C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51f3af79c1699d9fadac7d147c7c89fdce1a2ac9","datavalue":{"value":"the finitist standpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097064$DEDA06F5-6A1B-4F25-8DEA-87E5C4FA26EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5ed2c5b96e25ecca4e7e74b612318ce7c12344","datavalue":{"value":"consistency proof through reduction methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097064$982122F9-FAE3-45E8-89E7-A583DF5366B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b878877e0e52ae2f750550d6775d56fd8a59bc5e","datavalue":{"value":"accessibility proof of order structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097064$E76B11D2-D533-41C3-A4A1-87349F991773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5679d62daa2993201b6703385eeff0082f9cc4b8","datavalue":{"value":"modulus of finiteness functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097064$3DF2BAC4-6561-4472-A4E9-B78E6666225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18da6009db340a107694c56b775a8d180bdf7d3","datavalue":{"value":"universe of mechanisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097064$0A9CCDE3-C03E-4F70-9D78-9524EF85524B","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":"Q2097064$FE7432BA-8D6E-42EC-B8B6-DC56FF66574F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"552eda851c8501b25af5ce6c215690dda3d9dafc","datavalue":{"value":"https://doi.org/10.1007/978-981-16-4173-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2097064$193BCEA0-C1F0-42F4-8765-863F5D81BA5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87e10d051a89b0f0ce1ea26fb482a984af7697d8","datavalue":{"value":"W4207066605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097064$B677DA38-8BB5-4F5F-970D-820EB972CD9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$DB6753EE-A60B-4BD9-B9F0-8B0E82A96468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c813dc3796cfeaeadc0083e9c9b8bb8c20c00bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5770686,"id":"Q5770686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$618C57D5-4124-4A8C-AA9E-4020F1982410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$7EA1F747-7E1D-4ED8-925F-9706E87C24B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$2D579C92-235D-417A-AF18-F16119C4FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$7B1BF96E-4B35-47BB-8A86-9BFA163A8308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a85bb7a72ba857a543420dc41c047d8d3224db","datavalue":{"value":{"entity-type":"item","numeric-id":4910498,"id":"Q4910498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$82077289-F62A-48CD-9BDB-3478F4FBC7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6561c3f1eeb3dcea95461dc89e49deadb2e7cc","datavalue":{"value":{"entity-type":"item","numeric-id":5856200,"id":"Q5856200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$AB29AD3C-5E06-4439-8941-E206848EE0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf272963ca05c8a688fd4c53264a2e281060aca8","datavalue":{"value":{"entity-type":"item","numeric-id":4421571,"id":"Q4421571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$78032CA0-3531-411A-9416-DD66DB201A58","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":"Q2097064$7499909A-61AB-4F2A-9D7A-35651DA5EA95","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":"Q2097064$A4BD98D7-60F1-4E6E-8EE4-48D381C49EB9","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":"Q2097064$8B978E73-96DE-426C-9A22-09F749E57BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88352102ffcf9a22b6a5a27990a380c7f0014ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3289000,"id":"Q3289000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$C837DB2F-B578-4D5A-B548-A78B9529F92A","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":"Q2097064$FF729E92-FD43-4FF7-B779-4716BC615047","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":"Q2097064$16958E53-0251-4FA5-A93A-15E11B3E6EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68710f6b0e06ab2363afd56f5eec792dd12fb8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4773683,"id":"Q4773683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$F40F1D14-E395-4222-93E1-F4B71F65BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7741bae9f2848494f789843cfab5ca14a76e7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4128538,"id":"Q4128538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$F11D8FB0-D89D-4972-B60A-B2196B838F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a36551b3965d914d989db148ed4a269b42ab89","datavalue":{"value":{"entity-type":"item","numeric-id":1158149,"id":"Q1158149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$308415E9-BBF8-44EC-9227-276B431A9EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a92948779e8d65e4244f25bf4c5dfdc91ee734","datavalue":{"value":{"entity-type":"item","numeric-id":4120569,"id":"Q4120569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$E4E3A977-5C66-42E4-9F01-266D7F19B76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ae6960d8f96da3c3af3f4dd5c4ce06e0dd4479","datavalue":{"value":{"entity-type":"item","numeric-id":3939797,"id":"Q3939797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$522A97BA-4702-4D8B-AD81-64D391BE05CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19befbec16a82d0ed36bb7d6612e8dabc90685f0","datavalue":{"value":{"entity-type":"item","numeric-id":1058513,"id":"Q1058513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$E0F3B07E-3CF6-441C-A957-49E30F92904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060f36a248a3d22fdf5037f952cca5e040d917e6","datavalue":{"value":{"entity-type":"item","numeric-id":3770526,"id":"Q3770526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$5F5AC103-96C8-49E9-A16B-50E34454E45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"538a774bbda8df010e5e8d40edf18e3d45f426e0","datavalue":{"value":{"entity-type":"item","numeric-id":1124588,"id":"Q1124588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$2B6F0630-6DA7-420F-B562-594FF7512DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ad1b8f6f6df30a2e9089b2d8015d1e48306ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4348037,"id":"Q4348037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097064$20EE9CBE-DADB-4921-947B-63995176C2D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9190cc5560b8d00a93a1236db9aa94fe4346581b","datavalue":{"value":{"entity-type":"item","numeric-id":1711783,"id":"Q1711783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290a6317a8ab793be19a96b80563bae1d4df7b4b","datavalue":{"value":{"amount":"+0.800399899482727","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":"Q2097064$1F55A8D8-0DD4-4BB1-AFBD-9A4D7355206A","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":"1af360870ec6e10dfce23bad316a02b46e61c22d","datavalue":{"value":{"amount":"+0.7571345567703247","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":"Q2097064$EAB4A4B9-7F87-4CDD-95E1-15973922540E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907cca908cce73099cab0e31e3641e927fb7a734","datavalue":{"value":{"entity-type":"item","numeric-id":2097059,"id":"Q2097059"},"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":"Q2097064$0B559318-FBA9-4E1E-8A00-689C274046B5","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":"59d1294794283fabb9aa8d38f510e7488adb30d2","datavalue":{"value":{"amount":"+0.7204420566558838","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":"Q2097064$7B8AC710-151C-4FA0-9694-E637E3F97C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0e6968fd730e91d94506e75433e1959ad30e36","datavalue":{"value":{"entity-type":"item","numeric-id":4934555,"id":"Q4934555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8462fa60e4642182e3032a03a09b34dc5229c4e3","datavalue":{"value":{"amount":"+0.7200259566307068","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":"Q2097064$DFF4EDED-46CA-4CF3-9C85-49A99DA2331E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%60%60Gaisi_Takeuti%27s_finitist_standpoint%27%27_and_its_mathematical_embodiment"}}}}}