{"entities":{"Q5448619":{"pageid":7478178,"ns":120,"title":"Item:Q5448619","lastrevid":50298851,"modified":"2026-01-13T18:58:00Z","type":"item","id":"Q5448619","labels":{"en":{"language":"en","value":"The natural numbers in constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5245782"}},"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":"Q5448619$39C4CC38-930F-4054-9BAA-E984DE6A20D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b810a53e328ad311f4506e02c64f41bcc744c60","datavalue":{"value":{"text":"The natural numbers in constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448619$F796A06E-F784-4DF4-94A0-8B66AA35C6B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b2dc722eeee902b019a5046a582e1e476b508c7","datavalue":{"value":"1134.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$A5A3F227-AA25-4FC7-99A5-0AC09A4CF0E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448619$19503A5D-4592-467F-BB84-7664C781D7F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448619$4A7DA991-998D-44B5-9CF2-3662B863A610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408bb415b0e4e91f33eb35fe43922ec8a2030622","datavalue":{"value":{"time":"+2008-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448619$88AB3737-AEE9-4AFC-BF1A-389512187EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$2E7F028B-2C99-455F-87FB-6B1E5E99EE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$1B6FE865-CB48-4C86-A5F3-6FB96292DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$6E8CC483-C03B-48C5-9EF6-2154302B334E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$D1B2237E-E090-4464-B06F-7FEC31900436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2e082821f76130b16c996491ef2547413cce0b0","datavalue":{"value":"5245782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$077523B4-10EE-40B8-8562-85C82E1710A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448619$868AD3E2-B3D4-4228-AB97-7F2321A7195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008962c99428f2bfe92b7091a130d84d5cb5ae39","datavalue":{"value":"natural number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448619$3EE76409-799C-4791-828D-EA69BB345431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879822e9355de5dfeceafb88c4e5059768e839f2","datavalue":{"value":"recursively saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448619$41A0D30C-87AC-4CC2-B745-1FCA9E25ABF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448619$C49A1696-9028-46D9-A63E-BB414915CA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448619$D67164F6-7F42-407C-A78A-B92B1B94B6B0","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":"Q5448619$38AB7877-DFEE-4435-B50F-3E5C14DFC0A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91cb45464f84e6c2d664a9687ecab4090c83a801","datavalue":{"value":"https://doi.org/10.1002/malq.200710036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448619$367A2E33-D3AF-424C-8DFB-DEB7FF8A8DC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b289cf79c482811c6ca44d6e338a509927402024","datavalue":{"value":"W2066072993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$8FB0FE84-C3F6-4CBD-843A-BB6F18379BBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448619$3A23C8F6-1419-442F-B134-1E122DB31898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cad03e160a9637ee0d8c986d58a204202bf66f","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448619$D1069A4E-F79F-45BB-815D-E84226699BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d750d79189703c36f866fcfd0bebd77df63c18","datavalue":{"value":"10.1002/MALQ.200710036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448619$8FCBC748-7998-4DB5-8438-87C7438EEA24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9f77e300289fd1765570a3e244e0b6cab64092","datavalue":{"value":{"entity-type":"item","numeric-id":1942037,"id":"Q1942037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114ba6a5647f68b8c69d8280be4741bdfa0d43cd","datavalue":{"value":{"amount":"+0.7892982959747314","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":"Q5448619$3D302145-29E4-46B9-B9E4-AAB16447B53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9889c3b95b1b19beb22295a52aaf6a8c4c4004","datavalue":{"value":{"entity-type":"item","numeric-id":5457300,"id":"Q5457300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8148ef9f2ac4f5c9d06842280e4efef126b79a","datavalue":{"value":{"amount":"+0.7146048545837402","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":"Q5448619$471DF979-7D25-42D3-8261-3EC3A6361A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c95c6f7cdf33bcaa864b15aeb194779f6c94d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3081642,"id":"Q3081642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e010acb101e22dcc93d072200a79fb70a4c51d8","datavalue":{"value":{"amount":"+0.7071555256843567","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":"Q5448619$52335853-B6D2-4C61-A59C-C84FEB909322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110f7cbc46e17797eb9cb755b853fe1d1db811f2","datavalue":{"value":{"entity-type":"item","numeric-id":3824296,"id":"Q3824296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4025337e7f189a898bea2c853b503c25f87c11a6","datavalue":{"value":{"amount":"+0.7028315663337708","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":"Q5448619$222849B2-7B22-4F12-B02D-C4613553FA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e284774f9e0e975d082adf99f65628d86635804","datavalue":{"value":{"entity-type":"item","numeric-id":762482,"id":"Q762482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcfc3c2f1181957d4dbba5481c81413f25d5aab","datavalue":{"value":{"amount":"+0.7002608776092529","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":"Q5448619$C2ABCD57-E9BC-453C-89BB-35D22408BDC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5448619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5448619"}}}}}