{"entities":{"Q1136762":{"pageid":1147511,"ns":120,"title":"Item:Q1136762","lastrevid":69716031,"modified":"2026-04-13T08:54:44Z","type":"item","id":"Q1136762","labels":{"en":{"language":"en","value":"Contribution to the study of the natural number object in elementary topoi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3664950"}},"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":"Q1136762$D3C50F80-A2EB-4773-87B2-D2794CB19E4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c09083db496e5dafa56428f5f1425692c6d409d1","datavalue":{"value":{"text":"Contribution to the study of the natural number object in elementary topoi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1136762$D402CB9C-3477-4253-B9F6-41770B408957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78bbc31fa60f4d929415f24a105487c96dcc9db3","datavalue":{"value":"0427.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$D5546E2A-B9A5-4B44-A4F3-2CFD33131BCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1db0835b3221662e766c15cb16c8563b2844034e","datavalue":{"value":"10.1016/0022-4049(80)90022-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$1C8482A1-BE00-414C-9D99-60579313659E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c199dc52045909922017c86b08bc490b968d1711","datavalue":{"value":{"entity-type":"item","numeric-id":455652,"id":"Q455652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$519CF702-7305-4C6D-940D-DA573A144828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a067da1377e19ad699e857de7d2607dce27ca2","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$A67A83F5-406C-4E50-BD7D-CF61CA0C3AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b981d6c63c6ddbd966010533d2da7269b51a","datavalue":{"value":{"entity-type":"item","numeric-id":201496,"id":"Q201496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$5C34197E-5FF1-4243-852F-DF757092D286","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$21CD9FCC-2E4E-43C3-B690-050AEC9A2D01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1136762$3983FE69-7617-4CA3-B936-B054609198DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$3702709E-4341-4F37-B0C6-2C8C73468742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$E0B63D73-9F19-4032-B1E8-BEA0F2E2B193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$F901E375-CB61-463B-BD95-8DBD01F9479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$75CEF2C5-2CD8-481B-A560-87474491A30B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"124a66d0e4506cbdc213dc1699a0184cd9bf387c","datavalue":{"value":"3664950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$1A6295A7-2D13-445F-B3ED-399AB455166F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"008962c99428f2bfe92b7091a130d84d5cb5ae39","datavalue":{"value":"natural number object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136762$5AF78A67-0548-49D7-B382-567E8D5FD04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c702cd5057047b9fb0aca261884e2c861f92c9f3","datavalue":{"value":"semantics for higher order intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136762$48C3C6B1-2025-4F47-838D-F55AB602D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136762$C7F17EE1-BDA0-4EA6-83A0-B230383BAD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1136762$A5978119-8933-465B-A36B-696779C00687","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":"Q1136762$EAFA5D2D-8E4F-4730-9F37-6C185E96C61B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e80b5b7030206070db9be00a40bf307cf7fab7ce","datavalue":{"value":"https://doi.org/10.1016/0022-4049(80)90022-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1136762$C9BEEC3A-F37B-4810-AB90-D62EFAEA7B87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c3ff121caef417d5d62e514859e759f55ddba6","datavalue":{"value":"W2024561835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$4F8C6537-BF2E-484A-9BD4-EFF3F0C7C86C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$6911F02F-BA20-4ABE-B095-7EFAB008B66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d622dcd2757e1bc163c7bc70eb9f4fab9c311741","datavalue":{"value":{"entity-type":"item","numeric-id":2521343,"id":"Q2521343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$A0D65C35-0A7B-48F6-A8F3-CCC901C6B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$C589A340-864B-45DC-8BB1-5977F4B61987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea6bf44fc3ea6dd6c9d0a6dd21307b477e40fff","datavalue":{"value":{"entity-type":"item","numeric-id":4115294,"id":"Q4115294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$030C6CD3-B3B3-4BF7-B74C-CD79A3CBBDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$9BE5E920-6F80-4775-A249-8778392870AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8da9441c51d914f2bbc1a1bcc0d1dade4e299d8","datavalue":{"value":{"entity-type":"item","numeric-id":4088791,"id":"Q4088791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$CE1BA546-5C48-45AA-A7FC-247B9E83F02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8408c70ee08bb89f38d7bf08dc15a00244783172","datavalue":{"value":{"entity-type":"item","numeric-id":4106721,"id":"Q4106721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1136762$0BC22B58-53EF-4F30-8C77-CADE3C4E5ADE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"278dfea04bcc36945eed164c1d2bb4bf35a1a1f4","datavalue":{"value":"Q126746403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1136762$C9D831F4-1E36-473C-8370-1A5E107E3D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contribution to the study of the natural number object in elementary topoi","badges":[]}}}}}