{"entities":{"Q3343983":{"pageid":3354691,"ns":120,"title":"Item:Q3343983","lastrevid":46010845,"modified":"2025-12-21T15:57:43Z","type":"item","id":"Q3343983","labels":{"en":{"language":"en","value":"Constructive mathematics and computer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878924"}},"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":"Q3343983$04570E9E-7C28-474C-9CED-D895E7519FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0f02b90406c415156db36d61125e282bfa5e539","datavalue":{"value":{"text":"Constructive mathematics and computer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3343983$E337D1BE-966D-46CD-9A4A-1F388133F11F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d2c686ce2868c2c6e3ddb32aacfe8c73487d49d","datavalue":{"value":"0552.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$6D7AD2E7-F5E9-45DF-8C6E-DE8CCDE4408C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8281a1f3106643c422184b91fb1f826076478e","datavalue":{"value":{"entity-type":"item","numeric-id":2702583,"id":"Q2702583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343983$938CB3F5-FB20-460A-81C6-80DCCDAD436C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e136bbdda99981f780084921153c27ffb0ef7a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3028582,"id":"Q3028582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3343983$59ECC2B6-06C3-434A-9F44-301EF9323B85","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":"Q3343983$CE974DB2-7125-400B-B3E0-7F25F7F60DF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$94C7A950-7BA7-4FB6-BAFC-AF3C1B8E4CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$EA7F92C8-EF3F-477E-BE23-F2B9710C1BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$3E71551D-1EC5-40D7-84A7-DE411A589A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$6A5F90DB-40AD-4343-810D-6481AC0E9028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7653c24e82437a0eeb813a21740cad7dfa26b00","datavalue":{"value":"3878924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$9D21B2D8-085B-41FA-A0CE-7D076B662285","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343983$59FCD713-127D-4827-8EDA-865E1AA32AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343983$88661BD5-E113-482C-B46C-EF086FFD8EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db8f650aa61edf7522ace61a88903e3f96994f71","datavalue":{"value":"relations between constructive mathematics and computer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343983$6BE0509D-7228-413E-B4DE-CB50896B9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343983$C1175045-456E-4DF1-BE56-CA8487050AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q3343983$219D467B-9EC3-4416-9ED3-37A523C42DC2","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":"Q3343983$B1C88F5D-3662-4BE7-A10B-0A3EEE795370","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c46bd794c0f137d1e41d08df198a15328a7d44e","datavalue":{"value":"https://doi.org/10.1098/rsta.1984.0073","type":"string"},"datatype":"url"},"type":"statement","id":"Q3343983$0DB94ECC-EB0F-4DDE-AB3B-DEE55849C0F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d8eb1fc7c1ae70f292d3ed2e9aaeaa5d0a585c","datavalue":{"value":"W2106718208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$D91C5C1C-8C00-4E78-AAC8-A5F83010CE33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72ce6a2dc901279a8184432671d053c95856457d","datavalue":{"value":"10.1098/RSTA.1984.0073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3343983$73A84041-C4BA-426A-8344-B27A56774AF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3343983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3343983"}}}}}