{"entities":{"Q3784072":{"pageid":5813978,"ns":120,"title":"Item:Q3784072","lastrevid":52561760,"modified":"2026-01-22T23:39:45Z","type":"item","id":"Q3784072","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047723"}},"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":"Q3784072$F7E7A2C2-8852-492F-9AE7-7AFFF845A83F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0a999701e183716a0b172544b76181395c33906","datavalue":{"value":"0643.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$614DC31A-28E9-4ADB-8E5E-500FE1D39C55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3784072$0E385EA9-6A7B-48D6-8E86-63D09DF506E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3784072$DACD63B6-5603-40C5-9D75-905FBE159437","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":"Q3784072$D37B7777-48DB-416C-9E5B-26CDB5EE8D68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$DCFCEB6D-0442-46DC-856C-1AA2E2B476BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$B5EF8B5D-559A-4BE6-9251-F085C7C28741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$5023546E-44CF-4CA3-9BEE-5A34997F2B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$2B0CBCE4-8164-4143-AAED-23F98E62F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$57112BCB-6AB1-4B7D-AAD3-6B219DE48704","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5654e8e2a68daa4f66420f6b46390a853153416","datavalue":{"value":"4047723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3784072$1923B4A0-A56C-4DF0-B539-2FBF26DA8F6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$60F2A3D6-656C-4DDC-8F77-311C4577B193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085d296e5c5ff3c75d315fa8963f4406d561f3d8","datavalue":{"value":"polymorphic \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$5DDFD224-BCB6-42EC-95DD-70205D8FEA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20191056124fb18dcaf483711980ec162d497d65","datavalue":{"value":"indexed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$44799805-0509-47D0-9374-18CFAC53FB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da3bf55ed09dd3352254fc379263d1036de1ca9d","datavalue":{"value":"equational presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$B996000B-2FE5-4EE9-A741-0AC8C82E1426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$64B92C1D-3851-4B35-AB0B-7914F60D6B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc46bbede29ff6af66bf78af5977c425b710e757","datavalue":{"value":"semantics of F\\(\\omega \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$35D36390-DBB5-4868-8B45-F527CECEFF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0dce96b52cc7c6d2b572c43bce5aaa9fadc55d8","datavalue":{"value":"higher-order type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3784072$0A6933B9-16B8-4588-BB12-02D647C374CB","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":"Q3784072$F69289F3-04B3-4411-B69E-91380A47302B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f08719204fb78ff0f478b8a51f2c2c602ff3b851","datavalue":{"value":{"entity-type":"item","numeric-id":1854262,"id":"Q1854262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5ee38fd49529bb1425dc7b0dcd893bc124ac3a","datavalue":{"value":{"amount":"+0.7694809436798096","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":"Q3784072$5445CDA8-B916-4C09-B5B2-B28FE2C100B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34efaed3e2faf79adc16d01d27c9b1b07f9ea3b","datavalue":{"value":{"entity-type":"item","numeric-id":913792,"id":"Q913792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a156ad04f0b5b06541d1c79cf76e9c52dbd77d0","datavalue":{"value":{"amount":"+0.7517909407615662","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":"Q3784072$A2FFFC2B-5DC1-42A1-ABF9-42C1F7CE0487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd29c2c601a7efad8109709c45c578bb5cf69f20","datavalue":{"value":{"entity-type":"item","numeric-id":4938612,"id":"Q4938612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67c247f4aad2af650ad678134b9b7beabf4c357","datavalue":{"value":{"amount":"+0.7363117337226868","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":"Q3784072$9615F0B0-6343-4AC8-93CF-39EFFCC909D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c06f53546062943063e6ba8de30d0e16d815b29","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada9b4ff1b137b55d7001dd0f9c7eef11d62266e","datavalue":{"value":{"amount":"+0.731145977973938","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":"Q3784072$FBE79DD4-9690-422C-9424-310C9AD12CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696a863c760ac21f05b2cfbee7e73475e6bd37a3","datavalue":{"value":{"amount":"+0.7231494188308716","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":"Q3784072$54DBFCA5-1165-4213-95BE-F5040444D8D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3784072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3784072"}}}}}