{"entities":{"Q2575769":{"pageid":2586512,"ns":120,"title":"Item:Q2575769","lastrevid":55855213,"modified":"2026-02-20T13:25:39Z","type":"item","id":"Q2575769","labels":{"en":{"language":"en","value":"Heyting-valued interpretations for constructive set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235850"}},"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":"Q2575769$4FC811A4-5009-4200-8220-D2C90DFD2800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dccb31c3d4e5d2f6bd39b0f671cb9042b4d2851c","datavalue":{"value":{"text":"Heyting-valued interpretations for constructive set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575769$33A2536D-4640-491B-91C7-4D5DF4C7B2F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9cb0fe41ce46893822710ae12f56ebb986e879e","datavalue":{"value":"1077.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$D71216DF-B74D-43A1-AF71-DD637DA84063","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$96435507-6D37-4FD2-8FFF-29B978272038","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$CA203703-11EB-4DB4-9E2B-76ADDA48760E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575769$E8A82DB2-19B1-43B7-AFBF-8A195D6DA2A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$3E6E6EE5-840A-4755-B6FD-A76F7995E636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$565BDE73-B450-40CD-8B9A-3A001C5FA610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84cf7669bb2750c4ad9321cd599149c763d2dee6","datavalue":{"value":"2235850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$4F239C06-6A34-4D47-A4FB-6B474CD43E14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$34EFA12E-AF75-45B1-B1C1-4F50F841E390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$0A76B036-957D-4085-878B-F74DD6976619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771de2f6118e08f17a01405fe2293f523f4c572f","datavalue":{"value":"pointfree topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$E3240BD6-E09D-488D-B27A-50CFCE3053A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$F509776D-D79E-4B89-B048-00A32F2F34CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$6B4C9B9F-53AB-4A2C-BA1F-10DFB0B6BA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6e538f2495b0aaabc0d98ce81248cc125a5265","datavalue":{"value":"Heyting-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$CC99FABE-61FA-4871-90D0-28FFEB95B716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb555ad50daa2f2442c3374413a67b79e38b5020","datavalue":{"value":"relative consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$706BFA4A-4B0A-4837-A228-F90C1FA4B509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575769$23543197-2EE4-4B53-AB8E-B4EC4A3A0BF5","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":"Q2575769$7ED35386-AB93-40B4-8080-8653906F3EF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d1724a8a7deca1fd60af579f596f47c3a801b5","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575769$F1A956DD-D92C-48B0-A653-59751CC9AF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6063848ad418eb59f65bb46643831236c6f00f0c","datavalue":{"value":"W2002542640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$7182C4D0-7A7F-4A6A-82F6-449182CF2CD8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d4e0fde2caa96f0057c2b030eafc610a4e53f649","datavalue":{"value":"Q59904134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$CDA18532-587A-4DE8-A1B1-14EDFBCB2733","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$C8A185B3-F7F3-46E0-A040-4A46375EFFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$8BE4069B-A6AB-4AAD-8AAA-AF34FB4479B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$3D234D04-B012-415A-9130-B6B9F20F7509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086c633ac6174cac783cb9e50dd4f0e957afd426","datavalue":{"value":{"entity-type":"item","numeric-id":4736386,"id":"Q4736386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$9F50F49D-E49E-4DDE-AEE2-E7F13E227B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35bbe68490c50c9ba0411154bd3c7b741d2d71d","datavalue":{"value":{"entity-type":"item","numeric-id":2575764,"id":"Q2575764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$59E68384-3950-4AD0-932C-48B6C1E8A02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$DFD44B3A-7DC5-4475-9299-886B80D18C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$0FD300AB-408A-4B8F-A47E-8B2161E9F90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2c0b5e8230f2871b84c948850a6644a2216797","datavalue":{"value":{"entity-type":"item","numeric-id":1976877,"id":"Q1976877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$B338881A-82BF-477C-9FE8-994EACC9695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$3078092A-9F46-470E-A0D6-1C2C476D7F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$4A64128F-1448-42CD-95DA-89D12ED4A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$14E1CE8B-899A-43FA-ACCC-C7D0A196AD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551f2a22d68d8091928801d8423ada3760e3e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3863865,"id":"Q3863865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$8F913E58-3900-444D-B954-008256439E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd37b97b4eaeb5306e7d549aab3d43f2b2932ae2","datavalue":{"value":{"entity-type":"item","numeric-id":1257873,"id":"Q1257873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$74C2906E-C942-4FED-99EC-AC95D4E908E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe712bd3d5d1675a3ad0ac1e6dba752efc3651cf","datavalue":{"value":{"entity-type":"item","numeric-id":5718563,"id":"Q5718563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$8B33573F-DFD1-4F14-A711-A962643C7C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b8a50d072e04db317f274afa3cb6a4301a86ba","datavalue":{"value":{"entity-type":"item","numeric-id":3726114,"id":"Q3726114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$3163BE56-7396-402F-BACF-14B7474B2749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$A78E0241-4D2A-496A-ADA1-C7DBC723B72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$BEC08861-ED02-4438-BDF9-CEF94EE80F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b69b87a89e39228c18921d060707265030559f","datavalue":{"value":{"entity-type":"item","numeric-id":3965242,"id":"Q3965242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$F48C4AB4-EE13-49FD-85CA-8FAF0E147AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$F5232C02-A68D-40EA-A1FF-A869B6C1CB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$56B6E4F7-F80B-4AAA-B8D1-2D1B3E82FE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$281C253D-7F1A-4BC3-BC63-0D3C46FA6426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$D0689211-B2CA-442F-85E6-1F7243AE8E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7399a1989b7371f5be019e41f394e87e42894303","datavalue":{"value":{"entity-type":"item","numeric-id":1295396,"id":"Q1295396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$6C12586F-4DA2-4BDA-9C92-74ED660C1DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e919a25c6dbe74106f772af634a5fd2a5b158f1","datavalue":{"value":{"entity-type":"item","numeric-id":3015560,"id":"Q3015560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$EE2700F2-1F42-477A-B2B1-4DB64F2F2160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001cd86787341ec5bc110963875587437aece0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$714CB3F6-7D82-4266-B58D-BACEFDF2E6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb1f789bda3e6982847d485992c018c5f49c069","datavalue":{"value":{"entity-type":"item","numeric-id":3912576,"id":"Q3912576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$EA177781-079C-4554-864C-CB1E45A390C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$D2C7BFB1-7F2C-45D6-8871-70097F80C729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296d551a8d502586ab50c952dca577059f166883","datavalue":{"value":{"entity-type":"item","numeric-id":3955404,"id":"Q3955404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575769$B751F7CD-39AF-42D3-BD9F-E6AD332BA4F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2cd98c9c81e85d37f773f48db84a854dcb416cf","datavalue":{"value":"10.1016/J.APAL.2005.05.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575769$26F88430-E61F-4120-A0E4-877116F1AA0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c1837a5f245b2fced9182e4dcc76b4b4ee086","datavalue":{"value":{"entity-type":"item","numeric-id":651324,"id":"Q651324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782ec9838b22d8f47ef8869a36586294f7fe0baf","datavalue":{"value":{"amount":"+0.7711260914802551","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":"Q2575769$BC0D85A8-2406-46D8-B44E-392D1B8FC1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd908aea5851c16b5f2d6f34761aac607705a1da","datavalue":{"value":{"entity-type":"item","numeric-id":1868168,"id":"Q1868168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d95e75949748c348beec16e7b5df0ab6d2bb0c","datavalue":{"value":{"amount":"+0.7691442370414734","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":"Q2575769$0C1A4025-46D7-4EC1-AE9A-EF0E88DCE878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df5b352c0cb57e4d10ceb98a4c3dd02a32501a","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90e264191ca2a800fc0c0b86520dcaccac94f08","datavalue":{"value":{"amount":"+0.7633107900619507","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":"Q2575769$BE92208E-9CB2-4E44-B0D3-F1A96B1958F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2575769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2575769"}}}}}