{"entities":{"Q4252873":{"pageid":6282474,"ns":120,"title":"Item:Q4252873","lastrevid":46842075,"modified":"2025-12-25T17:08:50Z","type":"item","id":"Q4252873","labels":{"en":{"language":"en","value":"La th\u00e9orie intuitionniste des types : s\u00e9mantique des preuves et th\u00e9orie des constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1307036"}},"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":"Q4252873$5880DDBF-0DF3-427F-9618-5D54D6EB5F0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b8201ad79f8c1b77dae9ed559072dbf3a02ba13","datavalue":{"value":{"text":"La th\u00e9orie intuitionniste des types : s\u00e9mantique des preuves et th\u00e9orie des constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4252873$AA949957-3E19-4413-9BB8-2F1F6C4DD38E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b27cbc72b0f3970f0735476f6908c141808e5678","datavalue":{"value":"0923.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$0462C939-3736-49B7-A000-0DFA01ECA5F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e74ec95879b6df0df1849360b16d6801db42d550","datavalue":{"value":"10.1017/S0012217300009537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$392B4174-85D8-4F1D-8555-26D42CEC6094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a3ff728d425a5e37797d643e42c80df536b982f","datavalue":{"value":{"entity-type":"item","numeric-id":3173721,"id":"Q3173721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252873$D8CC20D5-B750-4695-93FF-D1C8A76547C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57b69cb369abebc608b15454fc8b4a0945807847","datavalue":{"value":{"entity-type":"item","numeric-id":3416774,"id":"Q3416774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252873$05851572-8842-442F-9280-D9D285824D55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3bffa3db2ce89c5504f5540328b6e8375177fd0","datavalue":{"value":{"time":"+1999-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4252873$F1ED0F03-90F4-4568-AE9B-0DD1A42A6842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$E3565F74-9543-4AF6-9440-E056D0C9C50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$B5200BF4-349C-43E7-85A5-B1FEF74A336C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$A5343584-3270-443F-9C62-2FFCCD9D47E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$5A9BF53A-17AA-4C6C-8DA4-4C0900495CB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68d714562682ba020155ca0b09871eac3b911b14","datavalue":{"value":"1307036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252873$5399F5E7-1BDB-4CA8-8A71-7A4FC51A1A9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252873$19FEF06A-6115-4228-8E0B-521496E25C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a932bc8b977c06192d0bb0fb12fbdd89630c4967","datavalue":{"value":"proof processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252873$5C7ECC41-1429-4D1A-B637-8FE74C3C6290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0885033cf4b16d0fe54f08ae6472e825daee282","datavalue":{"value":"proof objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252873$AE6FC930-63D5-42BC-AE31-5DEF934A69EF","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":"Q4252873$A911D8B0-61E9-4DA8-BA1D-5D050202DD9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba919e1924eb6dbf4450f84a8ab75e84164ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3823123,"id":"Q3823123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b356ddbce58a1593723260309ceb0a6aef589d","datavalue":{"value":{"amount":"+0.7889330387115479","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":"Q4252873$80EA087F-A6C7-482E-8073-BB7553B415F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb02f96daa6e4e21a1ed6c7402d449a1dfba3e7","datavalue":{"value":{"entity-type":"item","numeric-id":639262,"id":"Q639262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f634c13a2fb8af6113a1ae491f0f9f32b2d8036b","datavalue":{"value":{"amount":"+0.7867528200149536","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":"Q4252873$AEBC4E1B-FF8E-4D34-942F-81C6B0B04095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6863c5df0835fc22c14a06a06a9771fd564cdc6","datavalue":{"value":{"amount":"+0.7859802842140198","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":"Q4252873$A09A4668-2E1F-4350-BE41-FF37A606C17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25041bf18f90d16301bed367ca1ec77517477208","datavalue":{"value":{"amount":"+0.7831605076789856","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":"Q4252873$D47434D3-FE87-48C9-97C5-02CA642650FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98289c13eae7d2d17fdaf082e38656c033afa530","datavalue":{"value":{"entity-type":"item","numeric-id":1080424,"id":"Q1080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a6fd99fbe99e0821d8e8b13fe17a502c2ea539","datavalue":{"value":{"amount":"+0.7812625765800476","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":"Q4252873$A1447F4E-FEC6-4869-8366-4BA3ED0A60C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4252873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4252873"}}}}}