{"entities":{"Q2849843":{"pageid":2860563,"ns":120,"title":"Item:Q2849843","lastrevid":83769755,"modified":"2026-05-07T11:13:50Z","type":"item","id":"Q2849843","labels":{"en":{"language":"en","value":"\\(\\lambda\\)-calculus and quantitative program analysis (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209879"}},"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":"Q2849843$3C9198A2-1AD5-4DD8-9955-7CE5DB7C7F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c27fbc210d8ce87ad4c4ae257aa0daf338bfd479","datavalue":{"value":"1272.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849843$F90D68CC-0DE0-4D0C-A6FF-2BF37631B568","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e2200fdb29131c1330c17b4b47a8012d0d0d76","datavalue":{"value":{"entity-type":"item","numeric-id":488869,"id":"Q488869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849843$14002E5E-D36F-4126-B88A-B0190DB50044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be24026bb8f11663f1e58706bb29fcb008aa3b77","datavalue":{"value":{"entity-type":"item","numeric-id":557886,"id":"Q557886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849843$14E78159-0770-4803-9882-2A513564C280","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-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":"Q2849843$492A33C2-DE45-4CEA-B1E5-2D117C207083","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ba5dc5742881b301b3f127c05ee11aae228c927","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104052399","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849843$B5E2BC93-5B18-4AE7-AEA7-2267C6783F80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849843$2DAE0057-AE1E-4031-9C98-EC32B5EBCCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849843$995E1CB2-6697-4422-A224-7A5064D807F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c91abeb0a0817bd14afb2a78d87e578bb29c061","datavalue":{"value":"6209879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849843$95F71D06-7C05-4334-B57D-F0910EF85F68","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":"Q2849843$22F948F7-E244-4090-AFEE-05EB5338727C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"748c32ed99c6c6c25d8644d4e1fcf06932181105","datavalue":{"value":{"text":"\\(\\lambda\\)-calculus and quantitative program analysis (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849843$FB23C990-7878-4A79-B298-C09104FA6314","rank":"normal"}],"P1643":[{"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":"22fbef7f4a20b48fd25d7c465b8954c6da9a1aa8","datavalue":{"value":{"amount":"+0.9747631549835204","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":"Q2849843$468DB4CE-24C2-4890-B9B4-2FFC5522BC20","rank":"normal"},{"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":"fb32dfdb6199e2aac19c0ec47debb07b7eeab51f","datavalue":{"value":{"amount":"+0.8188512921333313","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":"Q2849843$B99B3342-32F8-4D07-BB77-AC8D91C5B0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c887a47a3129f524c9ede9425e0ea3fefecf3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892727,"id":"Q2892727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d305cd44a42449bcf46678de6492fd1cc9b79f3","datavalue":{"value":{"amount":"+0.7978525757789612","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":"Q2849843$DCBE77A4-CDF1-4262-8469-3614123167E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bdd46ffe3a9cb63dde62f6e717ec872fb044f9","datavalue":{"value":{"entity-type":"item","numeric-id":2722069,"id":"Q2722069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdfaeca45f807736f6e6c319fb3d176d009d282","datavalue":{"value":{"amount":"+0.7948781251907349","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":"Q2849843$41086A23-C19D-4852-8FC8-D9F899AB5976","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":"1fdfaeca45f807736f6e6c319fb3d176d009d282","datavalue":{"value":{"amount":"+0.7948781251907349","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":"Q2849843$3B525F91-E2EA-4CDC-9EF0-83A8E1D1CE6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\lambda\\)-calculus and quantitative program analysis (extended abstract)","badges":[]}}}}}