{"entities":{"Q1152364":{"pageid":1163113,"ns":120,"title":"Item:Q1152364","lastrevid":66390249,"modified":"2026-04-12T09:44:56Z","type":"item","id":"Q1152364","labels":{"en":{"language":"en","value":"Intuitionist type theory and foundations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3720904"}},"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":"Q1152364$C5AFDC3F-EC67-49B3-8824-CB45F4FF331B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"158c14be32b98cfac2a0d0c091b6b5da4527cb15","datavalue":{"value":{"text":"Intuitionist type theory and foundations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1152364$7DE4B7D6-8EF5-4F52-9FC3-614A73584197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63dff1657ba664e7e84a5780b5faf93f27ac008b","datavalue":{"value":"0461.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$E6677FEE-D64F-4CE8-8318-85739734B9D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30b4ca63e2601d27aef711acf7f2e6eebdccf2ea","datavalue":{"value":"10.1007/BF00253914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$9D6A8541-33B4-486B-89F5-F50AADAFA3B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$5C929ADF-41BC-4AC0-838D-113C29F0BD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$749E3D0D-DB12-4941-A46E-89C109B8FBFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$13C30411-CFD5-4DC7-8A93-D01898B0308E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1152364$72BD27F0-E6E8-408C-AAC1-F8666F249D69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$3965BA3C-E373-460F-AF2D-7FA563CAFA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$DDB72DA7-379B-4D79-80C2-FE732C785C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$A3C36C50-20F8-43D7-B84F-C3310C31CC99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5039bcd2f59f45bac947f07bcd635fb0210e9784","datavalue":{"value":"3720904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$DB3E5C2B-DA48-46A5-9F29-1D335C3564AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152364$7FEC685C-075E-4FBD-A435-1E2475BD7B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c936022f431fb978abbb9022fd6b06bbb74ef2a","datavalue":{"value":"free topos with natural numbers object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152364$208D6269-F907-4A56-BA0E-74041BE26235","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":"Q1152364$309CC083-F2B3-4B91-A8DA-D1343929453C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$A4258098-E238-4E8F-AAB8-C8D2ECBAE3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$8667D679-B104-45F4-A78B-94764D5ECAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$310E623D-EDDD-4E63-B7E7-22442023B5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$E0022FF6-5EF1-47E1-992A-B2452C6B4488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f328d9aaf3b1ae07c585c89d1b44812e5e498dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1140642,"id":"Q1140642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$86339B2B-2D3C-4820-8772-FB987BBD132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5abcfdc532f878fab9e89230ef7feb7815d5627","datavalue":{"value":{"entity-type":"item","numeric-id":1148318,"id":"Q1148318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$3914EE84-699E-4B04-A5A1-051D53BAA34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152364$2CD5592D-4C5D-4FE9-A26A-4E99A7B7DDBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c97f2066c3b9d29cea691e7f91d7f2d0f328596f","datavalue":{"value":"https://doi.org/10.1007/bf00253914","type":"string"},"datatype":"url"},"type":"statement","id":"Q1152364$F23DA278-848E-448D-9F65-09CFEA95D16B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaf2d82d58a104f7d19309319952e712ba4add68","datavalue":{"value":"W2061964709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152364$EBC2C703-EC3F-4E3C-B02B-4C510ADAA538","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionist type theory and foundations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionist_type_theory_and_foundations"}}}}}