{"entities":{"Q4282579":{"pageid":6312180,"ns":120,"title":"Item:Q4282579","lastrevid":47233375,"modified":"2026-01-01T02:14:30Z","type":"item","id":"Q4282579","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517051"}},"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":"Q4282579$294118D2-5BD2-40B8-81F0-08E20572B327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14edb174a6037a456fc545e1945be23ca27302d1","datavalue":{"value":"0794.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282579$A511B29D-89EC-4CB1-A2A8-833BA655E624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282579$E3B347E9-98B2-4545-959F-111132FC75E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282579$15D7F37D-6C7E-4F3B-BABD-09653457C08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282579$9045D490-1192-44B5-9162-B15E2DC62149","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1273a672319d0eb9adeb2fd8b5af293f02a97f84","datavalue":{"value":{"time":"+1994-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282579$93F1AAD0-8E1F-4101-B5C8-282B858A0856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282579$D16B5CF0-1B3A-4371-93A4-A651AF830690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282579$3FB76BC4-DFAE-4474-9C76-715D748DAB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282579$F14C365C-6BF6-467F-931F-F56381B06673","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d5f09bb821ae09d29589e1ff3b7b39ff531b4d3","datavalue":{"value":"517051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282579$EA90A2EA-C6E5-43AD-BC0D-3F9D200DDEEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$25B68AAB-3B48-4CC8-85A2-F5D338C413F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9baa187fbf0f0681efaa629936b7bf4ce7ad2b76","datavalue":{"value":"impredicative type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$2E312A69-A1BD-4827-94B7-AE9A509FB94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c554fb26399523b38df82cc28b8faf5f0d62461","datavalue":{"value":"Higher Order \\(\\lambda\\)-calculus \\(F\\omega\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$BA973C8B-6B93-4019-A98E-95C6D176A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feac48875de6405415ab99bb9c5a45fa1a9f75bb","datavalue":{"value":"Calculus of Constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$D5C41C72-7C29-4B21-9BD6-EB3B8AFA7BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875ea8a2a65f3367764700f4d8878de5d98c1c89","datavalue":{"value":"Higher Order ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$776BBF4C-97A3-4184-805A-5911106AB9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4607c1189dc79d3791e3f3017f6b0f7d026c0b1","datavalue":{"value":"two-level type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$8CBE20C1-F9E8-48D4-B81F-4D27D884A774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$ED3A9C94-CC03-458A-B672-566001FF5EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bab6af65b9d66056518849ea855ad468f312e73","datavalue":{"value":"comprehension categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282579$30F9E2E8-207A-412A-8F7A-2D67ACBB14B8","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":"Q4282579$D04E58D7-52A5-41D7-833F-EB92C32954D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5348f7970ff00c39fd4396ee481e25d5114de055","datavalue":{"value":{"entity-type":"item","numeric-id":4006238,"id":"Q4006238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e8d02840a4068675ad2b1eeb219a11f314993f","datavalue":{"value":{"amount":"+0.7614640593528748","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":"Q4282579$3382EAFB-32C4-47D8-91CF-49211809BAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d30fd1eb207f8e969394ca92c3f917ec7d662f6","datavalue":{"value":{"amount":"+0.7600847482681274","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":"Q4282579$A01700CF-E8EE-4C42-A2B5-4791B62BD63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fc28ff935556a5c4174aab3a7627efd13f38b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f938e43bed44c68db471b33ac2af84890916a3","datavalue":{"value":{"amount":"+0.758294939994812","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":"Q4282579$D4B7B266-FE3B-4DFD-B110-2DBF801DD5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea27bdfec2ba133868d47d02bd5dc4fb070c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f49b3eea8a0842d4589aeea46600e48598563c","datavalue":{"value":{"amount":"+0.7575420141220093","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":"Q4282579$5D851D82-C3A4-47A7-A958-C5C21E94274C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8183e2cf7c92527d06dc8bcff56a29a674d63f","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbd80d2d57002e3829672906b9e9478bb3c8ac34","datavalue":{"value":{"amount":"+0.7396721839904785","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":"Q4282579$A75323F9-976F-43C3-95BC-B5F719B87688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282579"}}}}}