{"entities":{"Q4246947":{"pageid":6276548,"ns":120,"title":"Item:Q4246947","lastrevid":46833540,"modified":"2025-12-25T16:45:52Z","type":"item","id":"Q4246947","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301734"}},"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":"Q4246947$509C3854-2F7F-45C3-AD97-07A7CD689D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e902bd77acb77f6c5b4ee8abd1578fdfdcda468","datavalue":{"value":"0927.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246947$979B6BA0-9C80-42BC-B167-95EB0BCA43C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246947$AF7A9CC5-C643-4B2C-AD94-0A8E812BBAF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246947$E4CB6937-DEB2-435C-8251-74E64AA41DDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246947$215CF4F0-A4B4-4FD9-AFB0-C3EADC58CB99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c1a2a4764109dde075aa0176293228110de7277","datavalue":{"value":"1301734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246947$659A549C-B83E-4E18-9C5B-5D8BCB251FB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6fc478229dc52502cbe3b2257fdc68b7d059a44","datavalue":{"value":"reduction of simply-typed \\(\\lambda\\sigma\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246947$87047B2B-D5F0-4B55-A7B3-6C6754A24054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e1623d1bce5e274e6e48a34c8abdd818b410a95","datavalue":{"value":"weak termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246947$0232A3EC-2737-4ECB-AAC4-5297E4211439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf63f0c3abd9625bc700c1f76cc600fb9d151a9b","datavalue":{"value":"simply-typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246947$B04F9513-A62F-4472-82F2-03470F35DEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba681fdc38fb7c73a34de4b8c2ed946586b2e4c9","datavalue":{"value":"second-order type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246947$37468FAE-F45D-4AAA-BC2A-37CF0CB74BD5","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":"Q4246947$24F5041D-D76F-422A-A14D-CBAAB0316819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d7ce6e4ccd0854da30c1ec2c4f822e20175250","datavalue":{"value":{"amount":"+0.8062033653259277","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":"Q4246947$0B6AFBE2-9B39-4318-82A1-A23CFF192D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cea523d31af0a90d90e89810f4a7bae88b6511","datavalue":{"value":{"entity-type":"item","numeric-id":5435199,"id":"Q5435199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e5ca3c7acaec9891eee263bd17e8fe8b2ae2ab","datavalue":{"value":{"amount":"+0.8052449226379395","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":"Q4246947$CB19BB22-F08D-4470-8284-4EBCEF59755A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d8b166fd401ac4425664955935b234a43c9c1c","datavalue":{"value":{"amount":"+0.8018768429756165","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":"Q4246947$E683D0F3-B70F-4CD9-9A77-1F86559CAD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646c88189b179a1a0bf838fc76eaab65a83bc377","datavalue":{"value":{"amount":"+0.7735916376113892","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":"Q4246947$872E0F51-3304-4596-BAD5-CF187B32010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f953e2ee4e4da0dc2baca27f2305ee38b6c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6762fde01d78b166b33dd0f086b4b1d835563f25","datavalue":{"value":{"amount":"+0.7702569365501404","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":"Q4246947$CCCC9FD7-6FCF-498C-8A12-3F44E5F8446E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246947"}}}}}