{"entities":{"Q3486543":{"pageid":5516443,"ns":120,"title":"Item:Q3486543","lastrevid":49404079,"modified":"2026-01-07T02:42:06Z","type":"item","id":"Q3486543","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158597"}},"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":"Q3486543$9727B550-F46E-4C60-A6A8-943F300635A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"687fee2f74b9b1fa5a8e663b2a26d2465b893ee8","datavalue":{"value":"0706.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486543$296475AD-30C8-412D-89A9-2ADBF009E324","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3486543$5249E50A-F63D-4D4F-A552-B9757AF61DCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486543$D5022A6A-F73B-45BB-A10A-962158DFECEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486543$C3679CF5-9487-4A93-B060-BDDFEE5A3403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac4d0bbcb6b504768401697b6412e3f389567705","datavalue":{"value":"4158597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486543$9C8A8F67-F073-4D00-A2E3-F1A1BC4C0FED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$B48B62C2-A2ED-4163-9EC5-D56813483D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$27D90180-1E77-4531-A3AB-0EE003168E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3522f8e1c14538033885dba148660e8b5a9a24fb","datavalue":{"value":"second order polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$CD49BC83-42F2-498E-9381-F1FCDF9C02CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$78DC20AF-B21D-4428-8C3C-C0F6C8630E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183b55fe415f2a7c11adf0e402a0b245730b4b73","datavalue":{"value":"realizability universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$D2C8EB00-B262-4A9B-B579-DB7720D36C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$D04F2731-AFB4-4D44-BF22-A848699CAECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$28BE673C-3F6C-4F6E-8FBE-B30BA7157973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486543$9E43059E-C6C5-484D-9F8D-01FDDF036649","rank":"normal"}],"P16":[{"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":"Q3486543$71AB8C33-1DBC-4E20-97E6-89F6560A7327","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":"Q3486543$1AF749D4-58C6-482E-96C0-FEA00B491836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb189d8127f906797cc3941fe29bc14408e6218","datavalue":{"value":{"amount":"+0.8041061162948608","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":"Q3486543$634992CF-468A-46D3-A07A-24D29674D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd71fa11f9fced18872ab16188e420f6e1ac9c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2276943,"id":"Q2276943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c95c2b8926fb501c6e10a7c7eb8b75e7a9c13a","datavalue":{"value":{"amount":"+0.8026101589202881","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":"Q3486543$51A8621A-B3B9-45E9-BAD5-D86E6B2D8DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437e8475196b1c74558309143d00e154b4d71f60","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8ed9b8bdb4cde48a3cbe656ada70e1ef4c8fb8","datavalue":{"value":{"amount":"+0.7993553876876831","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":"Q3486543$E42C0D97-0341-4B50-BCDF-75E12AA42E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b23f757c9584f0eefb90ae44c1a588abdb4ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4896529,"id":"Q4896529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9aa6de279481bc3938ef5db010b86144926af6","datavalue":{"value":{"amount":"+0.784656822681427","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":"Q3486543$18B7D6CA-8332-42B3-9E3A-C5835CBB1975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfe8faeb7c5e632c37904d2120e62e56925732d","datavalue":{"value":{"entity-type":"item","numeric-id":3216628,"id":"Q3216628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf458e721c2c4891249b9125b67158a34088f67","datavalue":{"value":{"amount":"+0.783801257610321","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":"Q3486543$6E7101CF-E287-49AF-A0B6-994F963F563B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486543"}}}}}