{"entities":{"Q793724":{"pageid":795572,"ns":120,"title":"Item:Q793724","lastrevid":42696160,"modified":"2025-07-08T13:59:55Z","type":"item","id":"Q793724","labels":{"en":{"language":"en","value":"Corrigendum to ``Set existence property for intuitionistic theories with dependent choice''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857100"}},"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":"Q793724$72C08D65-6741-42F2-B517-34D02BE934A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b333547f1398b6fe25e6d34db134a875ffeea68","datavalue":{"value":{"text":"Corrigendum to ``Set existence property for intuitionistic theories with dependent choice''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793724$F0D56A00-03FA-430E-83BE-7221CB1D8652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eef69458cf2af7c5e10ea0166b27e99b2d55f06","datavalue":{"value":"0539.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793724$5245650B-0B25-4C7B-A942-C5648E54B596","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d79e14029bae28aa7ad32be68ccc035d1e88a55","datavalue":{"value":"10.1016/0168-0072(84)90044-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793724$12318C90-B38B-454E-929B-14110572BD09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793724$086D2813-B7B6-475F-806F-FB69002E5042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793724$FB8C2317-0434-4705-8740-00B7A109EBA3","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":"Q793724$46757C52-FC74-4221-8735-313B3824463E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q793724$8249B3FC-3F84-474F-8B2B-CA96C10FCA5E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e93a631fab05cc1a6c23acaaae536d9f4b3b30b3","datavalue":{"value":"Concerns the paper reviewed above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793724$8AEDB064-B136-431F-A2DA-45DB3116C474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793724$321A6C93-212C-405B-829B-93F8F19F55FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff61f457c184e6ba2d988417eb606662a193c9fe","datavalue":{"value":"3857100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793724$0B5A4451-CD90-4BE2-9FE0-DF5B4996F516","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":"Q793724$773A8772-C372-4848-9574-C6949CFD4812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cac15b692e44278c46f1647135079b2f78375b58","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90044-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q793724$17959E2F-31E9-405E-B075-AAF89A0B3501","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e50c5c8bb22b06b79b0e26c74f8ebc11284d70a","datavalue":{"value":"W4211013234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793724$FB570B78-1EBC-4CB2-A675-350B4719ABC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:793724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:793724"}}}}}