{"entities":{"Q2905328":{"pageid":2916053,"ns":120,"title":"Item:Q2905328","lastrevid":58061340,"modified":"2026-04-03T15:54:51Z","type":"item","id":"Q2905328","labels":{"en":{"language":"en","value":"Probabilistic operational semantics for the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6072564"}},"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":"Q2905328$27A5C71D-B8D1-446C-A1DE-D14F3EF1E26B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4354b02d464e579860ed50d3edf090a9e70e9f28","datavalue":{"value":{"text":"Probabilistic operational semantics for the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2905328$088CA819-6E92-4A74-A8B3-AB9E0384E764","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67f23a649d843d43d0949d16e7f33faa2b10bb67","datavalue":{"value":"1279.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905328$E5F81947-F36D-4843-BF11-88E090D8BB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$EF4E991C-6286-40A8-9976-F1001714FCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d8636ba2cedfe85f5f46b2ba4af59bec25927","datavalue":{"value":{"entity-type":"item","numeric-id":265001,"id":"Q265001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$010BF845-0379-45BD-AC2A-92E99F7FD6F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c15f9d9ffa5d90dfb7532c722f8908246dba3d07","datavalue":{"value":{"time":"+2012-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2905328$94DB0E58-A5D8-4B6D-BD2C-999E586995AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a701221f01341b52feed67100d10308125b0fb88","datavalue":{"value":"https://arxiv.org/abs/1104.0195","type":"string"},"datatype":"url"},"type":"statement","id":"Q2905328$67DDD065-F293-4E6E-9DB4-9340BECFB411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"364cb088ddeba6c190b2519138de0926520ab82c","datavalue":{"value":"https://eudml.org/doc/221993","type":"string"},"datatype":"url"},"type":"statement","id":"Q2905328$510F514E-F547-45A2-9EA3-5CECF9AB103B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905328$D841D4E2-AED3-4089-BF42-33BB3DF598A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905328$E456523F-2789-4466-8B0F-8C3535A99254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd619d3d8904829c672337754c67be5c4031707e","datavalue":{"value":"6072564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905328$285154B4-641E-45D2-8FC0-85A24DB0F716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905328$B697F8C4-8BB2-4EA9-9237-514C039365DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab2a000c7d93ef069bc6aad72a5354f0f602946","datavalue":{"value":"probabilistic computaion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905328$8E1938B0-5175-4DED-9D88-0DFBF5A51CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2905328$1D7D8D6B-A4FE-43DD-833B-A4744F6D6425","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":"Q2905328$D9B1D284-D1C3-4D4B-8E31-BF7C0B624FC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4040dae33fbff0248db01c6f99f7ff7324e901d","datavalue":{"value":"W1499878068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905328$09BCDA99-54B7-4315-8E54-D7B93BC3298B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbfd76296100082bca0dcf7cbf3fe7bd904bd27","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$7391123D-D958-4289-956E-779713756B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$03E90BC8-67B2-4BB5-A382-0E1988BDFE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$60E6D625-9180-4320-85C7-7F1CDAAE0157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$CC78D528-076C-439E-8107-9B7FDF821B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ed97a69a026893fd6580defc77774329e259f9","datavalue":{"value":{"entity-type":"item","numeric-id":1041755,"id":"Q1041755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$BCDF2011-B3A6-4E93-A4B4-DB078DD5E825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$6969331D-5506-41A3-BD0E-EA0C2FDB0458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$FFA45889-07A5-4253-A333-05FCDAB71E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cc087569869137cef606dc04ca1224b51f202c","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$23C076EF-D359-48B2-BEE6-386F46C73EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a3815d09d256182bcf9f5cf34a359fb93d0d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4382500,"id":"Q4382500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$E80D66B3-B5CF-4F2A-92FA-8B1310EC3007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$464311A2-3BDF-4616-A617-BC0F8520FBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$9AD0196E-1F2A-4E9C-8E56-76AA273930F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$ECAE91BE-AA93-4435-AC59-89FD6D0C3472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$A4ADFEE8-807E-4F08-A515-450BD0354003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$C5356403-97EB-4A97-ACB1-01C9C90E8848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$4B3EE471-0B33-4FE9-8154-07F1CB999036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6a72e5a3f7d04d286f8a80ba01638547a8c68","datavalue":{"value":{"entity-type":"item","numeric-id":5276144,"id":"Q5276144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$25C7D797-E7EB-41BF-856D-1763E6B88AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$4E5E5F1F-B8CA-4236-A8EE-FE1F16FABBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$7F6E6AD5-525A-4217-B94A-89DAA099AAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$18DA8C5B-0CD1-40E2-AF4F-FC5E06FA8CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df5126f7bc502485e8014cc3038c9f4bcbc591e","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$9AED914F-AD9E-4204-B263-C5D3BE45B913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$A447C59E-6316-472D-9DFB-423E0E3EC166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8781691f3a90f4232c741473b5f76f8ee4cf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$9FA23F6E-85C4-4B74-8BA2-7C483F037B70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88fdb6c6165cd55e0ad9b6aaf12bfffd44bb7ed9","datavalue":{"value":"10.1051/ITA/2012012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2905328$8D08F3D5-F0A1-4775-9CDE-45A7796B91A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2905328$9431662C-E780-4653-8520-8C2AAB9C08CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb08a0a16fa43cc336a841d3bdf3a59625e3b90","datavalue":{"value":{"amount":"+0.8713374137878418","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":"Q2905328$0CD3F45F-9642-4D36-8AF4-A06AB99D121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bccbd19983b2fe58de748b33d7ee128dd5d5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5108532,"id":"Q5108532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ba6c5cb6cb3f600fe1409fd268b53cf50a2a81","datavalue":{"value":{"amount":"+0.8684011101722717","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":"Q2905328$D946BF52-2222-4708-9D20-5EEDE178A9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e20076a29920716309cab1079d398be674dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4baaae266135da3663062e21a404f69ff9ba36db","datavalue":{"value":{"amount":"+0.8107986450195312","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":"Q2905328$76EA7729-F127-42F0-970B-E731DDE20B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1b82bf95b65b845dac1a99e0d12361441f7d95","datavalue":{"value":{"entity-type":"item","numeric-id":5145343,"id":"Q5145343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b0285aeccbf533dd0c8851446f7ecf8803b742","datavalue":{"value":{"amount":"+0.8029056191444397","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":"Q2905328$83424634-5BD9-4813-A32C-69A71D309C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b86b6995e48e0874414cd1c5daeeb59fa89a47","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abcfaacf9555c6ba1b1d46efa238bf977230902","datavalue":{"value":{"amount":"+0.7991412878036499","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":"Q2905328$0EB34872-C5A8-40C1-9F77-9B970A0EE4C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2905328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2905328"}}}}}