{"entities":{"Q4175530":{"pageid":6205131,"ns":120,"title":"Item:Q4175530","lastrevid":28399400,"modified":"2024-03-05T13:35:49Z","type":"item","id":"Q4175530","labels":{"en":{"language":"en","value":"Principles of continuous choice and continuity of functions in formal systems for constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3609635"}},"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":"Q4175530$CF7F0A15-4054-4B37-BE2C-C714D26EE537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9598db41b671be5a0a3b3cf922b92d1b5ecaef2","datavalue":{"value":{"text":"Principles of continuous choice and continuity of functions in formal systems for constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4175530$C9708FFF-C141-426E-BA1E-600871D9AC60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d50fe6a6477a9fc6ad7ed77ba12b5b742890affb","datavalue":{"value":"0393.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$483AC4FE-42E1-4533-A087-CD1921600E64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44d8490025336b8ed537f0dde6b47c655e998e90","datavalue":{"value":"10.1016/S0003-4843(77)80003-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$09921E0E-CE16-42A8-BE23-D29BF921F65D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175530$177D54FA-5F42-4350-B922-4E28459F4DD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4175530$7289772A-0587-443A-9F19-097B7E353ECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$88BD1396-3358-4B51-B0EC-D744DBEEB828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$78853D99-79A6-4AAC-BE9D-F8AC20CEB97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$833C48D8-1849-43E4-A4D1-FE74D1A0D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$8C720039-8599-4459-9C34-439BFAA0876F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"163f869b92589aa5dee09174c2016993275ec20a","datavalue":{"value":"3609635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4175530$3C179281-E9D0-4790-935C-7CF19E5007E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e5b0fdece58212eb804deadffc4a6c91bf9607","datavalue":{"value":"Feferman's System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$F42B53A2-EB1B-4A90-8AF2-F17E9EF81782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0760386189d3fdf134543f36e4891bc5483a6ad","datavalue":{"value":"Formal Systems for Constructive Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$EBD6FBA0-82A8-46ED-973F-C5A0D894F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ca6960160128715e18dda3588ab5d05eaaeac8","datavalue":{"value":"Stable Solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$367AC480-4E1F-44D4-B426-019CCD0F7174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d486f4b7a0fb4fde1aed6f0f3eee4c9b089679","datavalue":{"value":"Continuous Choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$D8D8BED0-4DCA-4AF5-B347-EE7578D9B6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7f80bddf5cb470cd57619c39c08e4aab93f5d5","datavalue":{"value":"Proof-Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$1ED88CBC-C3C8-4E04-8C61-847CEDE2F24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48160a8591e9c0ab29d95b41c90959ee2b163e42","datavalue":{"value":"Complete Separable Metric Space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$7BC1D944-AF48-456B-9E7E-29AF2067CD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd3b4288480cd33c6aeb2e83b7095592dbb1df0","datavalue":{"value":"Explicit Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$F5AA30E7-026D-48A9-B9A0-38D936749E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a9842cedca72bf75215b996b2f447c9bc247b8f","datavalue":{"value":"Local Continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4175530$D2E382B8-2F62-4730-993A-E270C5CFF579","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4175530$EC0E2F79-096F-4FFD-9AAF-030038FE9856","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":"Q4175530$DE174D72-9234-4D35-BE2D-8F0C5564885C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4175530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4175530"}}}}}