{"entities":{"Q3202989":{"pageid":3213697,"ns":120,"title":"Item:Q3202989","lastrevid":49446148,"modified":"2026-01-07T04:20:00Z","type":"item","id":"Q3202989","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179331"}},"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":"Q3202989$02846B20-475E-4BDB-ACBF-3DF00A25D043","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a37420c863e5dc95ff15d36413b82447d97ed5a","datavalue":{"value":"0716.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202989$A6D5D6E1-293F-4BCA-84C6-FF5B40D673D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3202989$5F849FB8-628C-46FB-A48C-9AAD79F60E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3202989$FBFF5050-BBC8-42E0-8D40-9E85DA9186BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202989$111E6BD6-A887-4699-8219-A866341D3CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202989$522C84FB-DEF2-4FD4-AB2F-EE6F7F3662E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202989$2E275E51-B1AC-46CA-A22B-913449607CDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9695d2c91162f5f5cd45ab7e4194d3ad504983ee","datavalue":{"value":"4179331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202989$A3DA4755-096A-421E-A685-6915EA38EFF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202989$CB232529-A35F-4FC2-BB30-8132B263222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0bf47e30f145de43703e723c78a91703177f656","datavalue":{"value":"higher-order type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202989$00F0EACC-A43B-4C16-B2FD-5A83392929E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ef496feb53c744bcc94d14e1caf39554ee0fc5","datavalue":{"value":"logic of toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202989$A98055C7-611B-4679-B0DC-24D7FCB7CC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c121b69deecbecad46a17d0e2d94bae14f79e5","datavalue":{"value":"cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202989$C087CB1F-462D-4498-9EBD-C406B24BE9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202989$77013981-1872-4C09-BEBB-47BBBCCA3460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d6a980a4a31c153750cdc7b97f8c7991981030","datavalue":{"value":"powertypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202989$50535369-5C91-4380-B694-C4CD324F8AD0","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":"Q3202989$A95B5818-F2CC-4941-8723-87D19D3DC89B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c75b51ad31cb3f5fe182d000a2d776e7449c100","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14421ed6911975d1e07c73f916de46853300a23","datavalue":{"value":{"amount":"+0.7866144776344299","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":"Q3202989$01FA6F8C-0154-4A09-8448-432B080DB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a316a79fa891ffbceaab270fd0015bfd5bbbb61","datavalue":{"value":{"amount":"+0.7805387377738953","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":"Q3202989$B1EF17DD-DC62-4D7D-B296-C1C77A03F835","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":"a6efbe5051a3cc256e988908a86c18318df26dc3","datavalue":{"value":{"amount":"+0.7774845361709595","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":"Q3202989$78F30350-D652-48FB-8E52-5D8478A57F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88adf6681347592d727243f138f95d54bca886ec","datavalue":{"value":{"entity-type":"item","numeric-id":4282580,"id":"Q4282580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d53c95aaf99c2fbbef8e34abc277bc2eefb85a","datavalue":{"value":{"amount":"+0.7605919241905212","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":"Q3202989$F5FEFE34-D04D-42E6-ABAB-927B748BAC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f18797958507bb2e43a1c60582934bf69c5d06a","datavalue":{"value":{"entity-type":"item","numeric-id":4327831,"id":"Q4327831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4480312c1478d7846029c0341015d240072152","datavalue":{"value":{"amount":"+0.7579681873321533","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":"Q3202989$E21993C3-0336-4CE2-BFA7-FF83A3E306B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3202989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3202989"}}}}}