{"entities":{"Q3786612":{"pageid":5816518,"ns":120,"title":"Item:Q3786612","lastrevid":52682840,"modified":"2026-01-23T06:21:04Z","type":"item","id":"Q3786612","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049849"}},"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":"Q3786612$4CF2BA62-179E-4067-893E-09033FA834E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a458c0b044418338f2c02aa6a80ea5ead1b1d2c8","datavalue":{"value":"0644.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$192CD865-52A7-4592-8D9B-CADAD7D6E141","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":"Q3786612$A5F2D07B-9B10-4561-86EC-9AA18CB10B99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3786612$EED09022-C35C-45FA-9DE2-6465AC96A4A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$18A00A39-A6BA-4D24-BFC8-D45E3D1E744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$CA30FF1B-0014-4271-B2B9-B4634363068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$E1BE05F5-73E2-42F0-97FA-A890802D01D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$3BF996E5-9C7D-41AF-8FE4-1A4F7E1DA869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$087414C5-DF92-44C1-825C-B827D846DD1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f68ec298797619ebaf7da58f6a29edfa08d01b7e","datavalue":{"value":"4049849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786612$ED985F5B-E289-4E1A-B907-7DAB84DBBD4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89724cd80c05ebd7d85abe4e0ba58864d7d8d9a4","datavalue":{"value":"second-order typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786612$102F2F51-D214-4D6F-8C38-74D55A0B3E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786612$73E909E4-369E-4222-9A24-E023D75ADD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca47d0949f5e1cb2f5fbcdf9e3bf2662fd786ad6","datavalue":{"value":"topos model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786612$D8896E88-C2EA-4F06-B3AB-0CB32F51735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfe3f3ec722d155d8cbda47557c55135de5faf2","datavalue":{"value":"full embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786612$CD147A9D-024E-4C15-A7BE-501B0151CC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7538be08d3a688d0ea58f2c5bf685849e57a59de","datavalue":{"value":"hyperdoctrine model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786612$A0DF25FC-7B74-4C80-80AE-6C2E3425A451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786612$68905E15-2E52-48EE-952C-A567117F69DD","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":"Q3786612$B6159403-40A4-4530-9859-C665A3A4566A","rank":"normal"}],"P1643":[{"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":"8191d43cf9cbe8201d2ad421334434c9b5e1af4f","datavalue":{"value":{"amount":"+0.8502686023712158","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":"Q3786612$A00AAF88-43D9-4CFC-A1FA-C3D05DF763A0","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":"8a165fdb8ddd558d37c40db40586919158e331d3","datavalue":{"value":{"amount":"+0.8419579267501831","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":"Q3786612$3DE55613-7838-4B37-91EC-4C38228B3A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09951236b64c017bbf5bae8fe556747599a8d6f","datavalue":{"value":{"entity-type":"item","numeric-id":1853594,"id":"Q1853594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8127c6b5b24e4f29477ee5434de44bb3cf029fc3","datavalue":{"value":{"amount":"+0.8397166132926941","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":"Q3786612$11C10C5B-3C8A-4A3F-9752-2E51A84D140E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad60c5ad63d7bbf687625969b1bec4c00bdb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":1182690,"id":"Q1182690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1794c2d642eec65f96b17f1bdd4f09683d6867","datavalue":{"value":{"amount":"+0.8231755495071411","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":"Q3786612$3EB2D9E3-3FFB-4103-B905-7FAAA418883A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97b09ac175782b74e5c460e9ac9043f72027e2d","datavalue":{"value":{"entity-type":"item","numeric-id":1193592,"id":"Q1193592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c166ad8db4a127a192862eca6be1142c71082a19","datavalue":{"value":{"amount":"+0.8195498585700989","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":"Q3786612$BF313AB4-92D9-4204-8BDF-CDECF15AA7F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3786612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3786612"}}}}}