{"entities":{"Q3832550":{"pageid":5862456,"ns":120,"title":"Item:Q3832550","lastrevid":54478199,"modified":"2026-01-27T03:58:41Z","type":"item","id":"Q3832550","labels":{"en":{"language":"en","value":"Extendible Sets in Peano Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4108741"}},"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":"Q3832550$21C0B9AA-5C9F-497E-A4C3-A67E18E36345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d51079c0bcae58bfc656c5e1ad120a304fdd26","datavalue":{"value":"0677.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832550$0E678F3A-7BCA-48CE-9D51-FA8733413252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec5f680b63151111d4f78ddabbcfe716f8e334f6","datavalue":{"value":"10.2307/2001288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832550$1367FD97-FA46-40FC-9F00-66C8A8A3A901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7787b5a8dba370505940c5ded78727521ea1936e","datavalue":{"value":{"entity-type":"item","numeric-id":687627,"id":"Q687627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$17DD0BEB-240C-4B1C-9B23-271E256D2D85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3832550$195E41A8-1B2E-476A-A7CD-9D08963753FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832550$576F8567-AE2D-4341-92CB-7C7AC6776C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832550$67218D7B-BAB0-4A0A-9887-B13543DAAAE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"058864ce8f06e5686e13253c2d4a09df94287cbe","datavalue":{"value":"4108741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832550$9DAB823C-FDB3-4741-89C3-40545651A3CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30dd3c5b68f7689282ff80b7fe4e0ad444fddae6","datavalue":{"value":"extendible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832550$146E9E95-731D-4B69-95F4-B72992ABBEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddb03d56641bd0c8c383d3410940d6449caeec8","datavalue":{"value":"end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832550$FCEF2DD9-BB0E-4EFF-83D4-65C7CACE1B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5a8b12f675644d7653d0a8817ae2f5b6abe2ba","datavalue":{"value":"cofinal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832550$B93E8F82-D327-47C7-B62C-DEB8A27D2AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832550$6D3161A7-D889-4C6B-87D8-0E5DA69A1B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e8618466c0ce9246c3e67ffa10167bb73c3389","datavalue":{"value":"countable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3832550$B42F14E9-7790-4EE7-946C-00393FCAFFC6","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":"Q3832550$13525430-934B-459A-AC5A-9961E9A1BDE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47a8a93b3255643f45f1870a15b31725f7da6f13","datavalue":{"value":"https://doi.org/10.2307/2001288","type":"string"},"datatype":"url"},"type":"statement","id":"Q3832550$30B85B90-1389-4CE8-9267-B8D602ECC92C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"996d4b1014dc26ebfe5c3f97e074e6b69702f017","datavalue":{"value":"W4234135970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3832550$84004C8F-375B-41C1-96C9-4C326CDDC6B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7a0b57b2631664fa59d04911180a00b8c2ee52c","datavalue":{"value":{"text":"Extendible Sets in Peano Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3832550$42542F7E-FA9B-47E6-BF95-DB8202F98CA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$F1B5DD95-23BF-4428-8ACD-0C77F37B16F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$6E6DD8CE-228A-4E89-AC88-9102BB1F2276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7867921f8e5a18afc0a31efd699e0ad8e0353b01","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$E9592E6A-8140-46D3-86F3-D6263C512C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347fbb1126deb105abceb87df99802acc1433f9d","datavalue":{"value":{"entity-type":"item","numeric-id":762144,"id":"Q762144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$6B649736-4B89-4FDC-AED1-434FB8DBE40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$47FEACC9-A522-4ABE-A2F4-648519C8632E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffbf549f4fde40f4d3c78d264a2bdeacde3b34b2","datavalue":{"value":{"entity-type":"item","numeric-id":3322105,"id":"Q3322105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$BCDDB45E-60CF-47C7-8C5C-81BDA6F17BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20d97d3bbd0a4f86c9ba087fcc00907d9550d77","datavalue":{"value":{"entity-type":"item","numeric-id":5331471,"id":"Q5331471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$062440BC-AA10-4E8C-A10D-C06CF9F98F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2107626ee4027f832d969a9a96198fcdf9001fc","datavalue":{"value":{"entity-type":"item","numeric-id":1161743,"id":"Q1161743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$86B14F91-26A4-4AA0-8EAF-A0FD5F228F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cc02264b41f13da9858fdcf78f208463e9ed5c","datavalue":{"value":{"entity-type":"item","numeric-id":3966138,"id":"Q3966138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$229D99DC-DD63-4E12-9012-B1C44685C62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72277f3116d1f536ec0b7d0ad93be9f0b8371f6c","datavalue":{"value":{"entity-type":"item","numeric-id":3919713,"id":"Q3919713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3832550$4B00998A-33DC-4B8B-A868-DBF9F4802BAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1493c9eea3065d6ef84c2054e6d6ac9128df8caa","datavalue":{"value":{"entity-type":"item","numeric-id":1102945,"id":"Q1102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401768131cff376df8742f1d93f71dc0d1002aaf","datavalue":{"value":{"amount":"+0.90953934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$0D58F5D4-33A1-409E-A326-5B890D22AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fc50d7c90c63af706e467e6aa907453448391d","datavalue":{"value":{"entity-type":"item","numeric-id":3812242,"id":"Q3812242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2373d7b57721c481754a5b6bb9b978dc136086","datavalue":{"value":{"amount":"+0.89663285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$F838D3A3-4049-484B-B51A-D0BD0BD07AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fc7c4482d1410d1b2e1b6c54319ef521305d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4032630,"id":"Q4032630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb45b7b84bfcd2be1dd3e35944334f4a112ad89b","datavalue":{"value":{"amount":"+0.877241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$125ADAA8-0DC0-4C98-9DD6-B885F812D4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf1db2ab6c3c38cfa39f70a96c3c15fca399b25","datavalue":{"value":{"entity-type":"item","numeric-id":3688384,"id":"Q3688384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e05f9f37b5457f1b5eaa7a47b42c793cec31012","datavalue":{"value":{"amount":"+0.8763411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$F250A235-95FC-4CB1-BAF2-3B1BB8B71921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383bcdb877a6342e55417daa87359eb3cff80e33","datavalue":{"value":{"entity-type":"item","numeric-id":5061390,"id":"Q5061390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91869d0ef33bf9b0cace8f8dd274f8719264ee7d","datavalue":{"value":{"amount":"+0.8752462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$DB0C10BB-24C8-4553-B756-BE12329F5A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739d5004f55bfe2e7852e800f0a1bf58e965b899","datavalue":{"value":{"entity-type":"item","numeric-id":4037516,"id":"Q4037516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c47745e7797658da177dd797ca400e3564cd8d","datavalue":{"value":{"amount":"+0.8744132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$14A29314-5AEA-4421-8F31-5201C869417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590c8f8c3f49d7b88820bff4fc5442766bc76381","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64961dda570139e62da2ed04f4423c1145cd72a4","datavalue":{"value":{"amount":"+0.8714939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$C23F33E3-7788-45F8-8AE8-314FD85DB25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f49c118ee37491c3a7e37f2f1beb6485d859549","datavalue":{"value":{"entity-type":"item","numeric-id":4419265,"id":"Q4419265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ae666a0a7abab84a074a5591e444881c656ffc","datavalue":{"value":{"amount":"+0.8705935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3832550$09699212-1FC6-4A6B-8CF2-F17C79E0BB7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3832550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3832550"}}}}}