{"entities":{"Q4218109":{"pageid":6247710,"ns":120,"title":"Item:Q4218109","lastrevid":46656162,"modified":"2025-12-25T08:34:18Z","type":"item","id":"Q4218109","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222571"}},"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":"Q4218109$EEF6B605-BE17-457D-BF73-288F9DE77C6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e76174987a47bfacca1148a2d7c0229e179e06f","datavalue":{"value":"0912.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218109$B9C153FC-2150-4DE2-9CF4-09D107496B29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218109$61DC05CF-5B77-4E6E-A7BA-47B6397A7345","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218109$C4992F7E-A4FC-4670-AC7B-7394212373E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218109$2084B344-011D-44D2-B874-FBEAA9DC4A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218109$82979672-B269-41FD-9C39-1BD6EDBB54DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca480209093d61253bc11d5055b2733d8a52ed88","datavalue":{"value":"1222571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218109$E3ADFE9D-BA1C-4218-B9D4-80DDA1DA84A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96b4562c741c5fa3fe0a592fdfe85306024edc","datavalue":{"value":"extension of typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218109$C13E7797-DC35-4ED8-982E-94C88C9CD9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e52cbab532c825b230cea076ec59e8ca03f71300","datavalue":{"value":"computational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218109$BC3888EE-0BA3-4833-A766-65F4F4789BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218109$C80EB0E4-4A54-435A-A3B3-5B91A79CCCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41b5e6964a3c56119c6b2c9f99e753a42941307","datavalue":{"value":"single-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218109$45766C31-4FBB-4E1C-A309-C7375DFB61D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a74c0ed5d022b57dac08f49057c228500d9448c0","datavalue":{"value":"operational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218109$EDEB2DE9-ACFD-40D0-9F57-6B53FF7B1EBF","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":"Q4218109$C931DEE9-AC2F-44D5-940C-7AF74BC8D910","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce54e361786d21b1d1120e203acc13eacca60aaa","datavalue":{"value":{"amount":"+0.8327752947807312","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":"Q4218109$EB3E52CD-99C6-4416-9489-486EE79CF18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f814973f2cc21b2aa6ff68e6c5de6f3725cc9079","datavalue":{"value":{"entity-type":"item","numeric-id":4530146,"id":"Q4530146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f86d0c812b1ada1a75d8a97af09978b472a4927","datavalue":{"value":{"amount":"+0.8253333568572998","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":"Q4218109$1AB86E43-16ED-4061-A385-BEEEF9951126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1ca4040b354cdf0d9ff0e3012f34bdce31cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc2c5ce56f6975ecf7e773cf24a8570db8d0106","datavalue":{"value":{"amount":"+0.8238751888275146","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":"Q4218109$39C8800B-CA46-459D-B771-F213322E445C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ab1edf7612c42a1357b64dd03cd97b5cca22e","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd5942e4387310f9d67c79de4ee2f1a4399b7fa","datavalue":{"value":{"amount":"+0.8235448598861694","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":"Q4218109$7926B1FB-7BAE-4252-A30F-F5EFBBE9D08B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218109"}}}}}