{"entities":{"Q4246952":{"pageid":6276553,"ns":120,"title":"Item:Q4246952","lastrevid":46833555,"modified":"2025-12-25T16:45:53Z","type":"item","id":"Q4246952","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301739"}},"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":"Q4246952$5755595B-1A7F-4C8B-B69D-E2DB67F9A845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0c6dc40b25d141600f3dc25dec4aec099f12045","datavalue":{"value":"0927.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246952$BE4D7713-BE05-4FB8-A8C7-064BC9CE62D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3f42b216e0d3ab5f30593682d16d2019aada673","datavalue":{"value":{"entity-type":"item","numeric-id":1961916,"id":"Q1961916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246952$AC01233D-31EF-406F-8F79-BCAF1A8196A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246952$806FDE5D-AAF5-4BA5-9CE6-1B6795FF5525","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":"Q4246952$B6C26F4B-4C65-4B3A-B385-89923E07FEF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246952$BFB4E298-12D0-437A-82EB-9C12C5C8420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246952$02A406F3-FD9C-435C-A2F9-FCBD135C3BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246952$A888B369-2A91-4110-8B8C-8DB8865AA57D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a388758e8f4e895894dac35855c71a58d1b264a7","datavalue":{"value":"1301739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246952$7BD39532-DBD4-418A-8E59-C04468302A7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246952$DDFA58DE-0E35-4395-A4F0-E1EB1EAF3FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b12988e75f3dda634d51760495bb1726f883e6","datavalue":{"value":"Mini-ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246952$02A6C5ED-7C34-4B0A-AA4D-1160D6AB5CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9489708fe10ab4ff151cf8b1b10a76a3192f40","datavalue":{"value":"computation of the most general type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246952$05473A43-0413-4ECF-9205-2379777AEE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c236c9b3856289153fc7c494ec5edf4abbba58","datavalue":{"value":"type inference algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246952$A8FCE1C4-4745-474F-9E1F-CA5B5E222E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6094e7c0db67635cc81e6b51c5b7677b7b49245c","datavalue":{"value":"machine-checked proof of correctness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246952$830D2C38-FBBD-4F81-91E0-379199E47DF4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246952$568C93FD-E051-4685-84F4-790E1F00401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246952$40969E59-2CE3-4C75-ABC6-D9E2E29E7B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246952$B50B4685-F05B-4EE7-9420-59A8931F5F54","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":"Q4246952$378E3034-8B3B-41F4-883D-90323B1FDB24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358e984a3f7282dbdaf2def1e0c24226458a9042","datavalue":{"value":{"amount":"+0.9189660549163818","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":"Q4246952$A4F8EEAF-46C9-45A9-99F7-9B613C877927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ac0ecae58748c37e73a52d6d77001a9a388c7f","datavalue":{"value":{"entity-type":"item","numeric-id":1762932,"id":"Q1762932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47d959605b4736c9fbf854610cb7bdaaf481db8","datavalue":{"value":{"amount":"+0.8135220408439636","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":"Q4246952$3D7FF23A-292C-4D4C-9AA1-5CC3AB1C2457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8355bce734d3f9ef7c84b1408dc15c4dd2671ab","datavalue":{"value":{"entity-type":"item","numeric-id":3400637,"id":"Q3400637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978a5363190cd7d925a11afd79e1118e003c6c6e","datavalue":{"value":{"amount":"+0.8104023337364197","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":"Q4246952$D63815FD-6E5A-4E6E-BEC4-A448F0FD042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2d6615a66fc1aba3379f1fd42f51e97db257e3","datavalue":{"value":{"entity-type":"item","numeric-id":1961918,"id":"Q1961918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e51e809b692d79a57b1f578195c2bd5e82efdb","datavalue":{"value":{"amount":"+0.8092866539955139","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":"Q4246952$E3CA3E23-173C-45BD-B4D8-B30961E42492","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246952"}}}}}