{"entities":{"Q781509":{"pageid":783358,"ns":120,"title":"Item:Q781509","lastrevid":64289622,"modified":"2026-04-11T18:51:49Z","type":"item","id":"Q781509","labels":{"en":{"language":"en","value":"Finite sets and infinite sets in weak intuitionistic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222136"}},"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":"Q781509$82B257B6-5F8B-49C8-9985-1A25772DCE4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca5a400e399b5a297f808a6b8c98e4035129b6b9","datavalue":{"value":{"text":"Finite sets and infinite sets in weak intuitionistic arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q781509$3CAF47CA-1CAF-4B2B-B950-5008DFAE033B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227e12dbb2e62bb7f5bbbef393cbd28e07867871","datavalue":{"value":"1481.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$D73D09C9-130D-4F35-97C2-BABA5110B3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c44622238969ceed011f8b0cfcc8c06015ed49f3","datavalue":{"value":{"entity-type":"item","numeric-id":781508,"id":"Q781508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$C4AC46BE-8392-41C5-9814-19543E2AC430","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$7D20A7F0-D6D7-4EC0-A49D-EB868E9FE243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca46e0912f6aaf36f3f8b24f45482bfccf0cefe","datavalue":{"value":{"time":"+2020-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q781509$231ADD62-F068-468A-8E0D-601E6DD1354C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$5C7C689C-E56A-4BCC-B196-793CBA998CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$CD5A601F-20D1-4598-B194-054C50E4C9D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0633a234f1171aa31732476fca42f07547b6604","datavalue":{"value":"7222136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$761FF802-1384-4A14-8152-F198CB146803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q781509$26148533-F620-4C16-9CB4-D22A75F9E769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee01fea2f657b5359bc93a17fff748d906f69493","datavalue":{"value":"constructive reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q781509$B0089647-CB5B-4D37-B470-DEF855E40D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q781509$6DDC6972-9DDA-4AC7-B851-3ADADDFE1893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q781509$70E0885B-6397-4F87-BC31-8C8896A34FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255ed1aebdaec75889fb44f6241fc5b60709ab82","datavalue":{"value":"non-constructive principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q781509$F03F876C-97E2-4164-B1A6-F6CDD31FB843","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":"Q781509$16E42ACC-333B-4F99-9E18-B8AD29B04C85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4c9064e8c92b7c1b64b454de97ab85a263c3cca","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00704-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q781509$973EE794-4E75-4531-8365-DB19751219F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caee4864c03977bcb6563fed2db31cd8fab1b127","datavalue":{"value":"W2996782717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$4A3C03A2-9731-4B40-9003-70BDFB288D05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$906C1DDC-09B9-4225-9AC1-A833CB857F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$71CC68DE-574B-453D-9DF6-2BF11E0F6AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeabed2c5dd7a8e91b52e149a40328caf3f8ee89","datavalue":{"value":{"entity-type":"item","numeric-id":685055,"id":"Q685055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$4CC71EA3-488E-488F-A910-1EAC39C727FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$E306C70F-22CB-4183-A172-2B726AACC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$73462C1A-7541-468A-951C-A4E85B00380E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4312fd1c8c5e5d85ba5428883b40e830f448e020","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$3DE59C93-C02F-47AA-B6B3-D8A6D39AE476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$278DCA8F-8B2F-4D84-9459-AC035FA77E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$3A9976FA-5A45-43B4-93EA-EFABB3E056D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b32ac5b95d99aac6ea6506c4ba1aeb98509a3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2488272,"id":"Q2488272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$BBEAF21A-83E9-4AA5-90DD-CB899AF280F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2ccab9193bb053da1a9b2571d3b5f979d9014","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781509$A0308F08-4BB0-4CEB-8453-DC80D6239B62","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28f5e2b2d9cd188dbe30487186e283d718de0089","datavalue":{"value":"Q126413645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$9BFFBFE4-F126-4175-8AF2-573F3A690C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a8118fd4aa27ea381e481f166cd78e06eaeee7e","datavalue":{"value":"10.1007/S00153-019-00704-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781509$E7FBD59D-0C8A-4779-85F4-FC52E1FE2CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba53921c0524a8d8d7a0aa0a6a139334df183ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3472091,"id":"Q3472091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495cb702e2e78c3efbf4ef9494572cc405575087","datavalue":{"value":{"amount":"+0.772688090801239","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":"Q781509$383C43E9-A82D-4B22-B595-F8665C70F5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa127f910231119fab64e7cc4cf1642f1d242e7","datavalue":{"value":{"entity-type":"item","numeric-id":2425348,"id":"Q2425348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df88d16c2a0b457ba05338e7c1aa7e8fdef162bd","datavalue":{"value":{"amount":"+0.7722691297531128","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":"Q781509$C475A18E-5F7F-4273-86F4-69BF393CD4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b52d1f71f7182c63d0ce86f9ae22799564b684f6","datavalue":{"value":{"entity-type":"item","numeric-id":535363,"id":"Q535363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7346996d2bcaee5d0c509a0157b796da9634bc38","datavalue":{"value":{"amount":"+0.7549487352371216","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":"Q781509$D6A445A9-BB52-4DFE-8AE2-90C1786669FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22254ac1e47f59a476ac979fb06021b0e6ef8a54","datavalue":{"value":{"entity-type":"item","numeric-id":3108628,"id":"Q3108628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad91ada0c4b3d3cd8371bed05add84280bb4141","datavalue":{"value":{"amount":"+0.7516867518424988","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":"Q781509$023025A5-2D7F-44C8-8991-CE5207151DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ffd8339db11c3863b1664dfc228f196c334e8b","datavalue":{"value":{"entity-type":"item","numeric-id":1374211,"id":"Q1374211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7f437770c811a5e6e44bf12247edbe8698f1b5","datavalue":{"value":{"amount":"+0.7516477108001709","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":"Q781509$9681F175-2C0E-4477-9701-0E3D7BD0E844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite sets and infinite sets in weak intuitionistic arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_sets_and_infinite_sets_in_weak_intuitionistic_arithmetic"}}}}}