{"entities":{"Q3972839":{"pageid":6002738,"ns":120,"title":"Item:Q3972839","lastrevid":47047936,"modified":"2025-12-31T12:21:20Z","type":"item","id":"Q3972839","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 16188"}},"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":"Q3972839$1C853819-D29F-46E6-AA1C-6CBCC8A7A88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1a974b5aa32f81fbe309886d9888152932a6817","datavalue":{"value":"0735.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972839$79637DF7-5642-4918-A6FA-34F57C664530","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3972839$9161AB7F-10A1-4DCF-A50C-0A7974919371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972839$121047D7-CA76-400A-9D98-EB3D7B05210F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972839$E70A4897-0E1D-4580-AF14-AA272AE270E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07703ad7f26a698f9ed0f46a4057d7781d82c743","datavalue":{"value":"16188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972839$DA848F37-8308-44DC-8BA2-F306E36ECF1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972839$43A1920F-E29A-42F6-950D-FBF242FCFEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972839$14C0A3ED-4FD7-4F60-B6E5-718EE50D05C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b7a530d2df276c54eb9b33c367637b5805eb97","datavalue":{"value":"computational adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972839$16628B92-52E6-4A44-972E-0DCA6EC29778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972839$36AAE2F4-DCFF-41FB-854A-C2CBC6E3CC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972839$0D655B29-439F-4A46-90AE-8286B60610C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972839$0D0AA78E-4C9A-4CCC-8BCE-72A62CCCB9A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"424ffe82c3f87f0aa5d1ab4e3c268523310745a4","datavalue":{"value":{"entity-type":"item","numeric-id":1900922,"id":"Q1900922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3972839$CE9B0909-77C7-4540-BF9D-CB829425BC86","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":"Q3972839$13948BE2-0E9F-4CEC-B45F-D600024E78E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa6decd99dc7371790dca0be13cabfad7ab91fd","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840db2bdb7cf876e85bff1bd967ea93dd9fcea36","datavalue":{"value":{"amount":"+0.770518958568573","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":"Q3972839$E58DF0B9-EBE4-49CE-9338-3675F33C4805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff7eb1bfcd308ef3f89391bd6d79d1ea9fce910","datavalue":{"value":{"entity-type":"item","numeric-id":3709890,"id":"Q3709890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e3c464c5d11143ecb8441a2840d27e642c6191","datavalue":{"value":{"amount":"+0.768256664276123","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":"Q3972839$F0FFB4E0-24DE-4B62-B679-55D9E91A2AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d16cb9f0af4d15cf3bb572b022fc0d467b7e3e0","datavalue":{"value":{"entity-type":"item","numeric-id":4281478,"id":"Q4281478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43c0c295d982d377a146b40435e06588bae731a","datavalue":{"value":{"amount":"+0.7524605393409729","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":"Q3972839$EF995C49-0ADC-4853-8C9F-1BCAB1C2067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba29820b118837b5ea0c36fe4d01f763cae56f7","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f24e4d0e049ecb7c9a95cb6aa9bf970caddb2f0","datavalue":{"value":{"amount":"+0.7513175010681152","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":"Q3972839$2251079A-D725-4487-8542-1A2DA7E9036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178bc87819fd267d8361ed460b2cc49c66665d06","datavalue":{"value":{"entity-type":"item","numeric-id":1349683,"id":"Q1349683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde3f1952449a0235bd225557e1543d76f7935af","datavalue":{"value":{"amount":"+0.7507075667381287","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":"Q3972839$B2CC11AE-6D80-413E-85DA-472E66A3830F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3972839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3972839"}}}}}