{"entities":{"Q3342534":{"pageid":3353242,"ns":120,"title":"Item:Q3342534","lastrevid":48749110,"modified":"2026-01-05T18:54:09Z","type":"item","id":"Q3342534","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875232"}},"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":"Q3342534$6BC1FB05-7C3E-4B70-87D4-98B9D0B13FD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c62c57d2012321f059b33250efed2aebb28d2517","datavalue":{"value":"0549.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342534$CFB1E41D-7D3E-4CE0-88A0-3CE76DD05EEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3342534$322C8F24-686E-4FED-BE25-6BF351067CEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342534$D3E295AB-C192-4440-B760-A04E6F2EEBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342534$3D8AEB08-271F-460F-AAC5-F97F5437FAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3f6aab3b26adae09141509a564d8d90dbc4e0e","datavalue":{"value":"3875232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3342534$74DA0CA6-59C5-4C4A-A411-8E50CEF4AB17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae742706b318664be1f54dd1522bd0c2396279e0","datavalue":{"value":"type free lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$3B1A5EBA-32D3-4B0E-90AE-BA156EC4FBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$54A60071-DC11-4CBD-8673-C60286E8C580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f6c4813857c59c27d053c7ce2b61b58557c520","datavalue":{"value":"Lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$7E2C220D-BD76-4E5E-B90D-CA92CCB9F905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$76014F47-67F7-4A3C-A1DB-7A07535B10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17c07403f57e718e5e7dd2eb7dc59ff25f648d3","datavalue":{"value":"lambda model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$0024A813-AA1C-41EB-9EBA-C5B009AF0469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b9937dbfd633fb2c50ae9f6c8cd439d0e884fd","datavalue":{"value":"Reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$C3CE3537-79FC-49FB-B09D-EDF70782BCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e99c8ec4a2249b236fba820b0acb1093274d9cb9","datavalue":{"value":"B\u00f6hm tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3342534$C738EECE-3601-48EF-B620-78ADAB972FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3342534$73FF2ADD-FB4C-44BF-A488-AE20204358AB","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":"Q3342534$3C983991-3B50-4E73-9A0C-F8F9CB93F65D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40837cb2c69dbb609a7340c39db1e91ca9f349f2","datavalue":{"value":{"amount":"+0.8436632752418518","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":"Q3342534$0A9D091F-BD6A-4A62-BBC3-459281916C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edeef39e2e6b0a098b482604d0dcdd7e2ff4523","datavalue":{"value":{"entity-type":"item","numeric-id":3599178,"id":"Q3599178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023f4ab54fdf2664d032b38520e292de4208fcb1","datavalue":{"value":{"amount":"+0.8171082735061646","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":"Q3342534$31DFCC6A-173F-43B4-8730-83853D74C88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683fc71f98b5813b84ed29294094da4d6b8cfd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692c000b5f50d39e8ea421af7c8c3346fe12b007","datavalue":{"value":{"amount":"+0.8009374141693115","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":"Q3342534$DBCE2ABB-D9F7-44B0-8E7B-AE1D90EA4F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d28f353fc493c81ee47c97c99ebafcf63d9df","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692c000b5f50d39e8ea421af7c8c3346fe12b007","datavalue":{"value":{"amount":"+0.8009374141693115","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":"Q3342534$18904AB0-C884-4C56-8E0D-80E948263EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b9adc2c995d8ee74d1e7766afca836e62ebb13","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e07c8ab51beffae730a0864f2acf082c1c05df3","datavalue":{"value":{"amount":"+0.7904158234596252","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":"Q3342534$F6B8E5E8-1E0A-4FF5-9094-36806A386D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3342534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3342534"}}}}}