{"entities":{"Q4283062":{"pageid":6312663,"ns":120,"title":"Item:Q4283062","lastrevid":47231452,"modified":"2026-01-01T02:08:11Z","type":"item","id":"Q4283062","labels":{"en":{"language":"en","value":"A note on <i>Mathematics of infinity</i>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 515478"}},"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":"Q4283062$1F6BA352-F847-4B45-A906-08B983AB48F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"050b6f5b7e643617f4fba2c8165be9b3908c02ee","datavalue":{"value":{"text":"A note on <i>Mathematics of infinity</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4283062$CBC2C84E-DFDA-4818-BB7D-4017B86B5600","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb2e67473f8cbd8d31387d7ea7c57ff23625a8ad","datavalue":{"value":"0795.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283062$770620AE-AA98-455D-91A0-DA6C61408344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee485da3dccca36b2cc5b16b8fb2ac34b9543de","datavalue":{"value":"10.2307/2275138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283062$E1DCB11A-1204-4BB6-83EA-8F7838220656","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283062$813BA6F1-7EFC-4856-AA02-C86DBC435E59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4283062$6AA3272E-6C32-4E3D-BE6D-4E362162DBCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f73ce4bfe86aa855041ee7bf71ac722a256254","datavalue":{"value":{"time":"+1994-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4283062$EE193FCF-C2C3-4918-8408-C5718BE2DF30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283062$E870BBCC-3FE0-49B6-9EB6-744EABE165E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88150df3335308d63c79e5a1a90b0bd2c5d58bc1","datavalue":{"value":"515478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283062$C7482287-B8FC-4E6C-B938-BFC6DB97DAFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283062$5EA93D4C-BB26-42AB-8026-F19959BDAD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403653981ef5cfbc3c7b02dd2f4b1a3134e253cd","datavalue":{"value":"choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283062$7569D2D3-9F9A-497A-9F3C-2AA666BAC96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283062$1B9FE3BE-7F1D-4A78-B360-258637EE5163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb2b1f6b88bea83b7f086c19b60b2ad51536e08","datavalue":{"value":"arithmetical theories based on intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283062$76F13DB7-8AE8-4B02-937E-0682BB02B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4283062$E041D51E-E2F1-44BC-BC21-BC47520BD91B","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":"Q4283062$1647120C-9333-41D0-AC51-5E9FE0042062","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd7c66431a1e34c0d3c7c4f18d95a2116752f748","datavalue":{"value":"https://doi.org/10.2307/2275138","type":"string"},"datatype":"url"},"type":"statement","id":"Q4283062$92452D5D-787C-4ABF-A05A-42AB071A5EFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f6c82b7556dbea94c6ccab3ffbd8d81aef0d55d","datavalue":{"value":"W2152941748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4283062$D4BBB3CC-16FF-4D5F-8AF3-72C25C26DF59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba09fca6160f208f829fdb60f3dacca57d48bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":5752569,"id":"Q5752569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d506ef7755a6f22b26a8d91a98706e3abe6f09","datavalue":{"value":{"amount":"+0.7761533856391907","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":"Q4283062$4107CFE6-6297-48D0-98F9-5B100ED7C959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3f9c73aa9eb0b3d766cafd428d9fd968f3da12","datavalue":{"value":{"amount":"+0.7511971592903137","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":"Q4283062$76F99038-7F8D-4BEB-89D4-868863D0FADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ba7bbd700a778f4a57a32b650b5f91617932e9","datavalue":{"value":{"entity-type":"item","numeric-id":4764119,"id":"Q4764119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460a71d4802e6e20329894a57c2e901317d0115a","datavalue":{"value":{"amount":"+0.7155546545982361","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":"Q4283062$9A69941B-B5BA-4B6E-B35E-FA3446304FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460a71d4802e6e20329894a57c2e901317d0115a","datavalue":{"value":{"amount":"+0.7155546545982361","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":"Q4283062$6495BDA3-6FBF-442E-8A77-86473A2C9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed74f7085fdfd609ee0cdedc6adb6e4ff73d610","datavalue":{"value":{"entity-type":"item","numeric-id":4428875,"id":"Q4428875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e922bc193cc958d65d59b7d87622f6f15b90ea9","datavalue":{"value":{"amount":"+0.7102648019790649","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":"Q4283062$47221ED5-F059-45DE-A616-E869D820147B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4283062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4283062"}}}}}