{"entities":{"Q4945251":{"pageid":6974833,"ns":120,"title":"Item:Q4945251","lastrevid":47471464,"modified":"2026-01-01T20:18:21Z","type":"item","id":"Q4945251","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424060"}},"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":"Q4945251$CC0FEF60-A6BB-4F8B-97EC-5A732457D4B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dda72f4ea2eb1310474e9e14f6001018db02a188","datavalue":{"value":"0944.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945251$B573D476-B71A-4815-ACAE-7A580556E29C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e2909dc69e32b8fc07ac6f20df0f0a9aa48062","datavalue":{"value":{"entity-type":"item","numeric-id":1567198,"id":"Q1567198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945251$822CEDCA-01C9-4197-B9A8-08CCC5DB4C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945251$B85BEFFA-D65B-41B4-8FC1-98E4BD9177B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3181eec55d6fadc7128215edae5f001921ed72d2","datavalue":{"value":{"time":"+2000-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945251$690E5F30-13B0-41C4-8023-2D615565EE8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945251$A0A0250B-EE71-4D22-8EC2-A1A202E89DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945251$666F253C-D38A-4F57-821A-D44F6F68FA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945251$5D0EF998-F54F-4227-9256-EA2172A44D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945251$B9952337-3E1E-4A9D-BF5F-9932C5F071B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de287d6681d9ecea2af8b77b28dd5944892662e2","datavalue":{"value":"1424060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945251$BFEB2581-B2CF-4EFC-9752-8F909398459E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945251$E47C071B-7CEE-492B-A8AA-10E22A9F01D3","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":"Q4945251$7D7F6FF4-5CD4-48FE-BC6A-89755CACA6A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b13eb98a6d6a68dbaaac7b808b9172981310d3","datavalue":{"value":{"entity-type":"item","numeric-id":4982069,"id":"Q4982069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064aa1e272f51a82403bcd8c5882a4c953a79bf4","datavalue":{"value":{"amount":"+0.9174082279205322","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":"Q4945251$A0364840-74A2-4573-8980-F6052907B6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c54e73e8d9d101ad3a3ebd0bc99e602071d6bb5","datavalue":{"value":{"entity-type":"item","numeric-id":4982051,"id":"Q4982051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f4d7a9c94d584578b6fad4f4b4d67e519b09c2","datavalue":{"value":{"amount":"+0.8382586240768433","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":"Q4945251$300F7EDF-6774-40F9-807C-7CAA0E2E8B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04a6a9b10a8d62591516ab840f0eb5eee93977c","datavalue":{"value":{"entity-type":"item","numeric-id":1906039,"id":"Q1906039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7b9c7c4936d6c7966b625bfb40f1aaf5ec7f9b","datavalue":{"value":{"amount":"+0.8315752148628235","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":"Q4945251$30A3DD73-2749-4955-A7D3-133455BA422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf486bf731fc37030a4d73f0350c7b17f44097f0","datavalue":{"value":{"entity-type":"item","numeric-id":4508300,"id":"Q4508300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f9db0542f821be673b7a81e21030bba255cc13","datavalue":{"value":{"amount":"+0.8131442666053772","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":"Q4945251$6997499F-9F76-40D5-B839-9058D04BDBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495f9df67f8f42c28ee7756b457d577df9eb427f","datavalue":{"value":{"entity-type":"item","numeric-id":4364388,"id":"Q4364388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97468f0a6778a1e9f346d3548d1d4fc1cdf8b99","datavalue":{"value":{"amount":"+0.7842820286750793","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":"Q4945251$049265C1-6115-4C6D-903C-DADEE562263E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945251","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945251"}}}}}