{"entities":{"Q2848130":{"pageid":2858850,"ns":120,"title":"Item:Q2848130","lastrevid":83497106,"modified":"2026-05-07T08:25:58Z","type":"item","id":"Q2848130","labels":{"en":{"language":"en","value":"Congruence of bisimulation in a non-deterministic call-by-need lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211520"}},"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":"Q2848130$9D15C2F0-00C4-4745-A2CE-8346F33D976B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6e596b24bc494fdd20ebab345c5b6949336721b","datavalue":{"value":"1272.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848130$A4ECD070-FB7D-4F6C-B28F-F2C9B7E3EDB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"132fd1ede8b81ae9e77d60fbea8d3a7f678420e6","datavalue":{"value":{"entity-type":"item","numeric-id":964002,"id":"Q964002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848130$AEB54BEB-7290-4651-9EF5-A1EFA7F758F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848130$BB6BD88F-1600-431B-80F6-7D12916F01F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"265a3c8141b7c9e43e7a121eeb3a44f9c7348326","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848130$F898658C-2B20-4BEE-94FA-2F18D59F1A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848130$214737A7-1A94-4587-9A58-D77FFA8C018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848130$65BF268E-D36A-466C-871C-CC03AD9D29C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f0f1b86cd5e0d4801ce47c4bbae3ee10ba2a30","datavalue":{"value":"6211520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848130$4138FAEA-37B0-4ECF-B1C0-C4F5505637F3","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":"Q2848130$D3E78D0F-7997-4592-8F09-39684047AC22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d00c4b5379e09f5cd80e23014d686f6da7e600c1","datavalue":{"value":{"text":"Congruence of bisimulation in a non-deterministic call-by-need lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848130$24BB2939-0FA1-4CF6-9780-7CAA08B8D208","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5382aead0fa5c8a0205b1bc26de14b9d794e4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":964003,"id":"Q964003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6d538935cd5437ffe0e171379e44caf8fadec2","datavalue":{"value":{"amount":"+0.8335580229759216","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":"Q2848130$F99D2637-0E49-4222-B1C0-C14993D87C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329b1899e1a9fe4d0570e6fdc31ffd696f45c09","datavalue":{"value":{"entity-type":"item","numeric-id":5389151,"id":"Q5389151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65197f198c3ba24d36a2da73835925ef9bd91e2e","datavalue":{"value":{"amount":"+0.8288491368293762","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":"Q2848130$6EF57343-55F9-45DC-8564-29301D494C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a03ed687f5abed1c333e3840f1002c5dbf87379","datavalue":{"value":{"entity-type":"item","numeric-id":5178823,"id":"Q5178823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a489a3b01a27317d54c03036fbc5ee03f46364f","datavalue":{"value":{"amount":"+0.8132793307304382","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":"Q2848130$97BCBAF9-4007-49D3-A0A9-E49C621E9978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad96146fbb65bf27352de10af474d2e6dddf63be","datavalue":{"value":{"entity-type":"item","numeric-id":1944119,"id":"Q1944119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa13bb58bf2a530fc66162e85736c8f7c5d93d64","datavalue":{"value":{"amount":"+0.7954643964767456","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":"Q2848130$651C0F99-D87F-47D6-BCC3-725AC611FC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510232de0b9d65b88c1fa92866d16da430c94f23","datavalue":{"value":{"amount":"+0.7897177338600159","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":"Q2848130$5EE0F4AD-B9D3-4F54-BFC6-57D9CB1F5CDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence of bisimulation in a non-deterministic call-by-need lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_of_bisimulation_in_a_non-deterministic_call-by-need_lambda_calculus"}}}}}