{"entities":{"Q4488199":{"pageid":6517798,"ns":120,"title":"Item:Q4488199","lastrevid":47484337,"modified":"2026-01-01T21:05:16Z","type":"item","id":"Q4488199","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1469885"}},"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":"Q4488199$A1623C19-9ADE-444D-A867-82BE8D858137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d12fa29570a37b4519193d2efc25c5991feda44","datavalue":{"value":"0954.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$0100E3F7-ACAA-4DAF-B2A8-EAE3BB7916CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124a2489e646de3a286e148c2a10f289c9bf22","datavalue":{"value":{"entity-type":"item","numeric-id":535096,"id":"Q535096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4488199$184286CA-236A-4A7B-AA51-E25850CB2A8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3859e15c5787ed6f583a72976094858d11a5b8a","datavalue":{"value":{"time":"+2000-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4488199$98000FB8-7F5C-44FD-8357-B596A6B43AF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$26850332-4D03-4E50-BDF2-F76290637DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$E62153B8-4D85-4154-BD6D-3453C7B80A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$B0DD22A7-A599-4DF5-AFAD-2F6FD99797E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$3CDCC816-6CFA-41C6-AB1F-844B3EE29492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$03804AEB-DC04-4683-B9A9-D421E642D608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$9361B76D-4BD7-4305-9416-D83BAFF3FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$B26666FC-09D3-41BD-89B7-BFA50FA4B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$A5237374-AAB4-42D8-BF28-E1B61460CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$84F342BF-5DDD-4F54-9D95-FEA9EB735949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e24a9fcb075bb0ef2ff6322c1a0ebf5336bdb2","datavalue":{"value":"1469885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488199$D52A8ADF-CAAE-4668-97AA-5656EFD285E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d527c4aa2f7d747663364552ac135fe192e56ffa","datavalue":{"value":"combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$FB7ED425-9BCC-4D91-AAC1-3EE87C314D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$7BDB6888-59AC-40D5-AD4A-D433CEF440C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$138BA083-971B-4FF6-BD6F-43193F1B9C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17e6ae9b867422c74c57803f3e832b5fa7ebe3b3","datavalue":{"value":"ordinal number","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$CF12AA1D-DE14-478A-99B6-B171812F4387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83566ddc39af4a8e213121d97e2c618a58bd417","datavalue":{"value":"subrecursive hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$E603CFE4-44B3-42F4-B6D4-A8553CFE6892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$94A453B2-6632-4807-83FE-F1A497826D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488199$0B17BCAF-E0E4-47BA-BE9E-A8A251511D25","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":"Q4488199$D3DC3D5A-6794-4030-B598-5F4307C9BC0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a956f6549c395c9a0890671ce1587285eeffe69e","datavalue":{"value":{"entity-type":"item","numeric-id":4488196,"id":"Q4488196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5114321dd520fa62e7dce0a8ce99fd4fbb9c3482","datavalue":{"value":{"amount":"+0.8110958337783813","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":"Q4488199$7B5FD1B7-459B-4553-A46E-37A46AD467CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aea8121ecdc755d7ae64dafb55ed8c344649c93","datavalue":{"value":{"entity-type":"item","numeric-id":4503249,"id":"Q4503249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc3cfea99e3af156e878822e99499c524664a52","datavalue":{"value":{"amount":"+0.7103824019432068","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":"Q4488199$D1565C7D-E1A3-4A8D-BABC-C6E689503209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3406acfce3cf0750bff1d8a55a4fd73ad47b3eae","datavalue":{"value":{"entity-type":"item","numeric-id":4279706,"id":"Q4279706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cdf2be52776be997fa504abbc64a6d4b6e93af","datavalue":{"value":{"amount":"+0.6983969807624817","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":"Q4488199$57FBBE07-A887-480B-A251-E472D02DC752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d74283bcae8ddd3d1f434b8040e9a0f065d5e9","datavalue":{"value":{"entity-type":"item","numeric-id":2431367,"id":"Q2431367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a39774fcc18aad0b0969f72984829bab51f874","datavalue":{"value":{"amount":"+0.6837915778160095","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":"Q4488199$97057543-95E2-4F63-9814-8A586748C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f42338d5d94643d3c6a13c9aa47076f8f9702d26","datavalue":{"value":{"entity-type":"item","numeric-id":662336,"id":"Q662336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5295abb1f13cf0361eaa51bfe9a418164116751","datavalue":{"value":{"amount":"+0.6769952774047852","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":"Q4488199$D33A1D24-B368-44F3-A474-9D9B1DB49D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4488199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4488199"}}}}}