{"entities":{"Q3714051":{"pageid":5743957,"ns":120,"title":"Item:Q3714051","lastrevid":50581238,"modified":"2026-01-14T11:27:42Z","type":"item","id":"Q3714051","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941503"}},"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":"Q3714051$3138D031-3959-4C6C-806A-4F49A60FE2D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e35c0943f32b5df26ff17d9e0ebb558c5d457d5","datavalue":{"value":"0587.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714051$861CFCD0-FD34-4E94-AE7C-ED7412CF3C24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc783cd5616fccc031a78230a398244b135e31e6","datavalue":{"value":{"entity-type":"item","numeric-id":749517,"id":"Q749517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714051$94B88FC6-0E13-4E29-B898-0B4D0A3B3AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714051$8A06AFBA-FD19-49AA-BAFE-2567225CAB31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3714051$5CC9D93E-E211-4426-B0F1-1F0CCCB22AAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714051$22BB38D1-2A4A-437E-BF19-A02BC581FD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714051$A4BD4D31-7C3E-489B-A8FA-4D47084B1699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714051$7D6C4F8E-7F06-422E-9AE4-F7C5381DCE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714051$A3BC89EA-90D7-45D8-9F99-A06A743D694C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aae1315d468588d34ade9c27c289871cf048a17","datavalue":{"value":"3941503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714051$7D4E7F9A-D427-48BC-A6C7-6579FF0EFB81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ae0ce06ad54b534960007e8224e23cca01c995","datavalue":{"value":"typed lambda models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$FDFA828F-9C55-4D6B-9152-5199D1C6B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$3CB242E1-6CA2-4661-B78C-2ECBBC577883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a816cc9243a0f4e04c1b383922ca8b7a02204b0c","datavalue":{"value":"category of typed lambda algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$E6BA53B3-DC74-4A07-923F-A953AEC14217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7ef2ebccd016252dd4c0a33f562cb4c71d7234","datavalue":{"value":"domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$F5035ACD-305D-4865-95AA-A1EC6D61424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"712878be60fa578eaa9f9fe1df7cb9442a1e79f7","datavalue":{"value":"types satisfying arbitrary equational constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$53EDA181-32E8-4288-88D1-17A4ADFA5457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8414fb1ccbc2ac3e68f8de099651a0f925db3b69","datavalue":{"value":"finitely typed case","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$88A58A85-99C4-4A74-B65D-45E68DB8A3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ded5da72ea63733282d44d06a65fa42d36f27b","datavalue":{"value":"type-free case","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$BFE4BAC4-AF91-4654-B028-4D3D578EB67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$13ED53A1-CB2C-4748-AC97-B7768FA4CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dca7a0d1f59d993e63c5141c33ed927f99a009f","datavalue":{"value":"adjoint equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714051$AE7F9C44-D275-4516-A738-8D1BBBA1C310","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":"Q3714051$E9E0B5F0-F5B1-4CEC-B051-9DE0B7BB6106","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4e714c6b4ce0669623ea68e218dddc260cca55","datavalue":{"value":{"amount":"+0.828152596950531","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":"Q3714051$C953B0EF-BE84-4CF6-9AD0-6F2185607903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1fcde51bfc71a1819212c20f812ed7b35cccd2","datavalue":{"value":{"amount":"+0.8169719576835632","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":"Q3714051$8B2DADAD-8184-45FE-9FCD-F372E29D942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2764bc89f46a096ed15a2987a201d40ba3bddc","datavalue":{"value":{"amount":"+0.7925857901573181","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":"Q3714051$844B970B-B085-4D2A-B622-32E4DCD19DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0264d21405ef1b35e7f93db30c46b322a393d433","datavalue":{"value":{"amount":"+0.7922631502151489","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":"Q3714051$BDC429DB-3A98-4D58-9788-16843973EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12901f2112901842ef4ac0618c1401f8c4980724","datavalue":{"value":{"entity-type":"item","numeric-id":3682463,"id":"Q3682463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c7f83b2d32b09c48107e738883d27e62d613de","datavalue":{"value":{"amount":"+0.7889651656150818","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":"Q3714051$6B5D6354-D48E-4816-83CE-9481723D4C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3714051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3714051"}}}}}