{"entities":{"Q4454862":{"pageid":6484461,"ns":120,"title":"Item:Q4454862","lastrevid":48249376,"modified":"2026-01-04T02:55:49Z","type":"item","id":"Q4454862","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2053247"}},"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":"Q4454862$7DE29BE1-1D04-4B92-AF91-3877BBCEAE01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87c46ac88d0e28f5f5871423cd69c78cf3ccd285","datavalue":{"value":"1060.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454862$D0F05D10-9513-40D7-9EBA-1337C68FE9ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4454862$3E7815D8-578B-4BE6-86ED-4B1ED172579E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d647c6aea86f080abca0b657f474344bc755fa73","datavalue":{"value":{"time":"+2004-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4454862$3A255AB5-73E1-48A5-AD27-532AC0682AFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454862$B8206193-8BBC-4247-977E-56A230668DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454862$9C62E418-CDAA-4CB1-AC1A-750F5A65C35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454862$51AB5F49-65DE-4DA3-8F41-A93BFBC34F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454862$518288E4-F8C2-40AC-85BD-3C3343A8D4DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27cf64757682060b75c37de003308cb50fc2abd","datavalue":{"value":"2053247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4454862$ABD8E1C3-2629-47DE-8B8F-978C4FCFEF8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95cba6f304c5418488042de2a3070f3e5fedda6b","datavalue":{"value":"extensional \\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$C834EE4D-C0B0-4CEA-9B8E-22A19A0EE76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$E75CFC48-5A9B-4DCF-97AD-F36EB06BC909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f139f485bfbc0efef3240275c23790ec4be3d041","datavalue":{"value":"surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$790B155C-592E-449C-B8D3-101DBC8E57CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$D7B42AB2-4786-498F-B134-8933F329D4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb20a6f5adcf5f086eee4d89cfa13fd74d3aae61","datavalue":{"value":"continuation-passing style translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$C4A7B422-709E-4918-ADC5-DF3AFBB459EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$6754A925-35C2-4859-8B7E-F99DA40A21D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q4454862$AB07732B-FF86-4BA9-B620-E672ADE081A8","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":"Q4454862$DB278D94-8200-4E9E-B2C1-275E4A4120E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab85d884f5a1596fa8d56163c66e9b4109ccd62","datavalue":{"value":{"entity-type":"item","numeric-id":4457453,"id":"Q4457453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1284c31bf41d3313ee7f16859b9076dbb615a468","datavalue":{"value":{"amount":"+0.8931671977043152","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":"Q4454862$93F5057D-4DE3-4A25-A64E-6F9120A5B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfff69a94586b66e9d5f1d4f357c0143b1050f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4806298,"id":"Q4806298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6929410751cacff32a7ace857d5425d787f9ae","datavalue":{"value":{"amount":"+0.786249041557312","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":"Q4454862$CA446A38-0250-4239-BB9F-88A97B487DCB","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":"0d9d8d3bdcf81e8241b2cd55dd38f32349a6f49b","datavalue":{"value":{"amount":"+0.7785901427268982","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":"Q4454862$3F28DBED-1C29-4D6E-B370-B2897D5E05B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8412822ad68aac4c5d21a72f0fb6255d26dd9554","datavalue":{"value":{"entity-type":"item","numeric-id":4357067,"id":"Q4357067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818cd7bb4327503d9ca1718cd81914f0debb5f5d","datavalue":{"value":{"amount":"+0.7672818899154663","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":"Q4454862$3E243208-4144-4D9A-A27D-B16A9E068700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818cd7bb4327503d9ca1718cd81914f0debb5f5d","datavalue":{"value":{"amount":"+0.7672818899154663","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":"Q4454862$063936D5-9701-4AF3-B1AF-229259039A09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4454862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4454862"}}}}}