{"entities":{"Q5079740":{"pageid":7109316,"ns":120,"title":"Item:Q5079740","lastrevid":91316543,"modified":"2026-06-04T22:51:35Z","type":"item","id":"Q5079740","labels":{"en":{"language":"en","value":"Fully abstract models of the probabilistic \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533341"}},"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":"Q5079740$BC01C259-2406-45A8-8007-DDEC644D2EED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$8B9F4BF1-74FE-4E80-B088-008B66F3742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf8100fe1daaa10fd66d71f1ac2928d6a6695385","datavalue":{"value":{"entity-type":"item","numeric-id":2134836,"id":"Q2134836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$20EBC2CA-4D21-46AC-A1C7-1CA1B286AE60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079740$24B66D4A-884E-45D7-ADC6-9AA047B82DB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079740$7E008805-6077-450D-BACE-FB5087EB4342","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71984fc40a2d34a1bc32fcddd8f798a314657f12","datavalue":{"value":"7533341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079740$660E2FCC-FD58-4EC8-BDFB-4DA66408160E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079740$D7C6837E-852C-4547-A712-0453C0BCFB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079740$EE68271E-EC45-4902-8F31-85CA8B2D37F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079740$F850A895-1BA3-43F0-A8EE-6C28E920BD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0ab382b35cea6f1ba25e17a87a5df2f3126a69","datavalue":{"value":"relational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079740$DF2037FF-D280-42BA-A458-F59BE38CAD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079740$719CE28C-DA1C-4304-B96A-21D7B47A8516","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":"Q5079740$1C4B568C-BA03-4639-BC4A-14535D24B347","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ae18521b838e26c39930d7c442d93e50d3bd28","datavalue":{"value":{"entity-type":"item","numeric-id":4218922,"id":"Q4218922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$DD312EA5-C163-4B6D-A6D2-FA02143FCD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$1488CA02-5BDB-40F3-8927-74A97623E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6680c6212d0de274172c2b027fbf73e41a69267e","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$DCC48F8E-6D99-4D8B-BBD6-2B3C70DFDFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$4610F375-F0DA-41F3-B442-FD2E6B505405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de636c25a59f72718c27ec9d01f251cc1df8321","datavalue":{"value":{"entity-type":"item","numeric-id":5145294,"id":"Q5145294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$110EE606-5F44-4C37-B0F9-BEB807285F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014b3754b02df5b0f9cb89430492f2913df90b97","datavalue":{"value":{"entity-type":"item","numeric-id":4635612,"id":"Q4635612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$749E1D8E-98E7-4C3C-BAD4-E01E2AB35322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd9c2a4b691a00e21657fb79c8eba5bbe3a7dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4635807,"id":"Q4635807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$FA5F181A-AA85-461D-BB13-DF9F0ACDDB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c48a4a48aca64132771f75c2b9a1aac0e72ddda","datavalue":{"value":{"entity-type":"item","numeric-id":3121519,"id":"Q3121519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$F07A7E35-9C26-42ED-BE0C-F901DF64B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$642B16F3-B9B2-4AD2-AD3C-12B1C18EEDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bd0ebb5ca7f1cb78884a9ce263e1bd5e6bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5738959,"id":"Q5738959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$AEEEE75E-A589-4455-81DD-995A1E54B6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$76E73B57-E026-42FA-B825-F86A403F0299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c9404f2812df07dbbcc40cd23192d14986d7be","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$F59339A2-8D69-4F08-B807-F292F6477EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$6871F7DD-7872-4215-BFB6-C9266FCE60EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbedef78cc66731775a15c667ee46e16f6613f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5108532,"id":"Q5108532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$8520AF7C-4695-4779-9726-945C4F9E036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9bacf706e7693348024ea82cd9e562c445a365","datavalue":{"value":{"entity-type":"item","numeric-id":5145341,"id":"Q5145341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$43BA48A7-2E42-4B02-AAD9-651ABFDBEC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74198f5866c9d20d6c144ccd76d55e0d5187233","datavalue":{"value":{"entity-type":"item","numeric-id":3525651,"id":"Q3525651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$9982ED52-FADA-4974-91B9-D59D67A3233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe4277615c121681e25d9d93b68a6f0566c8115","datavalue":{"value":{"entity-type":"item","numeric-id":1139367,"id":"Q1139367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$DD6C32B1-F02A-4898-AEF4-E045BD3DB540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5f6a902cae6706ae1763f8821abc1095ccdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4650579,"id":"Q4650579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$9DB1A666-07B5-430E-869E-B025605C7679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79350616c570c97d17f2dcd056865dd1f51b0984","datavalue":{"value":{"entity-type":"item","numeric-id":2864165,"id":"Q2864165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$CEBDB899-C6EC-4D0D-8BC1-080752D50FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10656ed0aa3124482040198965056235678b8f00","datavalue":{"value":{"entity-type":"item","numeric-id":265835,"id":"Q265835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079740$067A48CE-DC06-4791-93FE-3B63E03C28B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e81a24d3b212d76934e646ecf8713a6bc7271fa3","datavalue":{"value":"10.4230/LIPICS.CSL.2018.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079740$C512FA75-20AC-4AE9-B9A2-1EF04EFD5A20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b97c4bf4868abb29efa5e36c74ad7bb1c680be","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fe43a612d4d8698e2469d5ab6da1c6392a04e6","datavalue":{"value":{"amount":"+0.805044412612915","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":"Q5079740$8C216B2D-9351-4852-9DA9-421A239DFAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb49db9558551335dbf79d0ff87551d41e94d690","datavalue":{"value":{"entity-type":"item","numeric-id":2825348,"id":"Q2825348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b211e8d641709ba4d27809a568b4d85a33586351","datavalue":{"value":{"amount":"+0.803897500038147","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":"Q5079740$3AB3620B-5648-40E3-8DB2-1992D54C782A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88867e2df43957e31a3568e8efc6062301d83ef8","datavalue":{"value":{"entity-type":"item","numeric-id":6654500,"id":"Q6654500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38093282cd9c1b0b5c06ca88a9c7240c3fd75cb","datavalue":{"value":{"amount":"+0.8037511706352234","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":"Q5079740$AB51B765-D53F-4BDD-954C-8CD5141199FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff295f27806eb93f7637b1e6403c75407fb59232","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b88ca0cad29b40a0927adcb84cf101cc0e0e619","datavalue":{"value":{"amount":"+0.7899855971336365","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":"Q5079740$F2550FD5-2C17-443D-9FAF-A545439F5F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3f2af84bfa03e70b971094da0cbc18e90903c4","datavalue":{"value":{"entity-type":"item","numeric-id":5145645,"id":"Q5145645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ffc0a1a497e62afd6f2bc61e27606b294c41106","datavalue":{"value":{"amount":"+0.7898885607719421","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":"Q5079740$314BD923-1021-4974-88E1-8C8688078EF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully abstract models of the probabilistic \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_abstract_models_of_the_probabilistic_%5C(%5Clambda%5C)-calculus"}}}}}