{"entities":{"Q4945244":{"pageid":6974826,"ns":120,"title":"Item:Q4945244","lastrevid":47471455,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945244","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424053"}},"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":"Q4945244$4D1E21C6-B019-4CE2-9D2C-05BA475DA5CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a0d2925abcf5f1726447d584955178b8a4cc32","datavalue":{"value":"0944.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945244$1FE35537-1DB3-44DD-A385-3D937E35ED49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945244$8863F6F6-240E-4A6D-88CF-A47B3A0934CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945244$5771F870-E583-4651-A361-2494A057F5B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945244$0146D32D-9128-4488-BA8A-3FC31267A76D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945244$3B05F093-33DE-41ED-B0FC-5CC6F985D948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945244$1F6CC4EC-0D6B-45D9-999D-62121B86A07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945244$5B00FF7E-10A0-4C7D-8CD4-5B6870443D18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b29a7864e74e015d8b052a8f8300ba4830eb6a41","datavalue":{"value":"1424053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945244$68DE6FDA-FCC9-495A-B5FF-4E61FFA55D4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$C41180D0-2295-49B6-AD53-68CF98FBB322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$E05B7862-3CD2-4984-A29C-615E3C62D68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fb4dcada86cfd20789bbf12d59e092511fd75da","datavalue":{"value":"untyped \\(\\lambda\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$37841BC4-16C1-4121-AA69-428F1F989B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"802bf2a7a4d397135413dffff65051c75dcddaea","datavalue":{"value":"heterogeneous datatype","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$44238BB3-6E1C-4062-A1FD-4C714528E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98d124c5f31b7e619f5b9c8815d1e5147b332f00","datavalue":{"value":"inductively defined operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$6CFE6F41-71BD-45DE-AAC1-169CCE071591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370bbb3eb432ddb133a3f5061bca1e9ebb4b31c0","datavalue":{"value":"Kleisli triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$5C16DF73-C124-4947-8538-3AAD9ECB8173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59b3d0733705b8253f94db7a4514a88bbae52ad","datavalue":{"value":"substitution laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$087CEC5B-94E5-4248-9B14-7EEB4F77F892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$F29F9B29-8833-47B1-A4CE-B76830412FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$16D7B1A7-D32E-4101-9F35-5100897F9111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a305ed2a67966e2e1d14e14d23c1d32fdc2d9d55","datavalue":{"value":"well-founded recursion and induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$9361ACD1-E86A-4A7C-9D09-79B805AE857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e5a9cac1fc4dfac46a88f953f03d9d3357f005","datavalue":{"value":"simply typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945244$9ECC1A16-85A9-4CCE-A35F-E107FAC8DB06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945244$3FFBB8CD-5D39-4B8A-8420-BF29243D8EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945244$14AA9BE9-CFC4-40A5-83DB-18D4B3DB63AD","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":"Q4945244$A701122C-34C6-4C8C-95AA-641BCB400E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b78ba281286c1cc0ddf52fabe91d14b7284261","datavalue":{"value":{"entity-type":"item","numeric-id":3521990,"id":"Q3521990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015e8489942b1d3612b70bbe19e89c25c93bd879","datavalue":{"value":{"amount":"+0.750032901763916","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":"Q4945244$7F55AFC9-D6C2-4F6C-912E-BD5A501AA837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abf5ace6955f8d6b99a9767bbc92970fa25cfda","datavalue":{"value":{"entity-type":"item","numeric-id":1744410,"id":"Q1744410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7796fe5d46174587381619fee73adcf14e1fed7d","datavalue":{"value":{"amount":"+0.7492930889129639","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":"Q4945244$3B7077F2-DC38-449A-AA00-F5630B792558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef524b5552cf6851b4929998ebb7eff7aaea33","datavalue":{"value":{"entity-type":"item","numeric-id":4281578,"id":"Q4281578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d928602ae19be5d5b8161ff76cf07b5e46cfa44","datavalue":{"value":{"amount":"+0.7430270910263062","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":"Q4945244$F779D2D9-0AEA-4944-99F2-343D0BF9DF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bc1f4262c020a297002138e11c4f957db4662a","datavalue":{"value":{"entity-type":"item","numeric-id":688729,"id":"Q688729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a9cf750189218fa7a0ca577369a2c7f67f6917","datavalue":{"value":{"amount":"+0.7413702011108398","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":"Q4945244$9AF39D8B-8EE7-4473-835D-B0647CFBF036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7fc1a03ba706009d3c3cd4712ea92f204fbf94","datavalue":{"value":{"amount":"+0.7407616376876831","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":"Q4945244$1E9A966E-8EEA-4A17-BD45-B0EA5CAC7E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945244"}}}}}