{"entities":{"Q1834549":{"pageid":1845291,"ns":120,"title":"Item:Q1834549","lastrevid":69294312,"modified":"2026-04-13T06:03:07Z","type":"item","id":"Q1834549","labels":{"en":{"language":"en","value":"Sur quelques points de la logique de M. Brouwer."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2568988"}},"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":"Q1834549$60A7BBDD-4C67-4FDF-BE79-6DB4BECC4CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8335eab62ddaf86e6b297c8af704e102e4bc821","datavalue":{"value":{"text":"Sur quelques points de la logique de M. Brouwer.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1834549$79FCF775-4B42-49A9-8EF0-95588035FBC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc7fbaf1bebdd5bda997447c4ade26fdd2027936","datavalue":{"value":"55.0030.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834549$60B9FB53-4765-480C-9456-A18AD98B7AC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"35e2c717dfc3efabb1128414af94929dcc3d7ca7","datavalue":{"value":{"entity-type":"item","numeric-id":559756,"id":"Q559756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834549$B1A73BE0-3515-4C76-9700-038480BED363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0ec0ec92278a4e809216de2b4777e9692e96ea","datavalue":{"value":{"time":"+1929-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":"Q1834549$40962B26-A294-46D2-BB97-FDF1CB74A069","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c9362463e28e649ff84bfaeae20e1d01e20b9762","datavalue":{"value":"Aus einem Axiomsystem der intuitionistischen Logik werden durch formales Schlie\u00dfen folgende S\u00e4tze gewonnen:  Ist ein logischer Ausdruck klassisch beweisbar, so ist intuitionistisch die Absurdit\u00e4t der Absurdit\u00e4t beweisbar.  Ist die Absurdit\u00e4t eines logischen Ausdrucks klassisch beweisbar, so ist sie es auch intuitionistisch.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1834549$4E448DE5-AF48-4135-A941-7F360647B91B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"424e489443fa0786be558763ac15dfccb364ab18","datavalue":{"value":{"entity-type":"item","numeric-id":593328,"id":"Q593328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834549$4A4F5CF5-84A9-49A4-AE7E-3AB832615942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7b370dc36705a30ed5a78ddf1bc425460e1f1bb","datavalue":{"value":"2568988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834549$540F6C7C-70DC-47BF-A4B4-FD607865CE80","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":"Q1834549$18D4854F-6A1A-49A9-884E-F227AC9F9027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196625b3df0f371c4a11ffa44cc46d21c4208f61","datavalue":{"value":{"entity-type":"item","numeric-id":6481582,"id":"Q6481582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834549$552AE485-DECD-467C-95AA-D49A7C0895CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sur quelques points de la logique de M. Brouwer.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sur_quelques_points_de_la_logique_de_M._Brouwer."}}}}}