{"entities":{"Q478400":{"pageid":480167,"ns":120,"title":"Item:Q478400","lastrevid":62129958,"modified":"2026-04-11T03:58:29Z","type":"item","id":"Q478400","labels":{"en":{"language":"en","value":"Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6376576"}},"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":"Q478400$1930B012-6AD1-4428-B6C2-11678EF71536","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"833ff1b046bc34f2277130077c14815641a37035","datavalue":{"value":{"text":"Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q478400$95D766FB-F1AC-45FB-AE53-BEDEA53513F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb4fec6cef7de034bf70b67754d284a146ce17a2","datavalue":{"value":"1304.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478400$A3697792-9944-4707-9442-153609192F4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$B00E6854-F186-4FC9-A42C-EA888010BB9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$6908E39E-44C1-4BAD-9F1C-E12CE898A36B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726f2859ee2ab0ef37011c240f51f25426a8471d","datavalue":{"value":{"time":"+2014-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q478400$3DE5F4D0-F589-4C74-A744-E5F1A9CEEF0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478400$80D7F13D-0E08-42D3-AC5F-C29D1FC8FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478400$A41D2CBB-B22E-4C3E-A133-C7DEC58A7885","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f8dc70f1eda7850a69f159d0e875cbbd05f929","datavalue":{"value":"6376576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478400$9D42B434-D7D7-41E1-A8D6-A67C732BE072","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q478400$373C2218-0495-45D1-9C81-B65A4361CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q478400$A7092E46-89AA-427D-9BEB-3BCC4E6C35D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q478400$3EDC3300-A12A-4164-B6AA-09E1CCE21F91","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":"Q478400$E1CBE2BE-D760-4058-AFD3-2AFB8188A150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef4c592b6fd26b40b58808c8badc28c882a197eb","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2014.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q478400$D66EB4DC-DBDF-4098-8056-AD788E3F9E18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"719827778c5e6e45efa7b8ab6ebd26d29d236a5e","datavalue":{"value":"W2048999490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478400$401423E4-1591-4019-B02C-78E030A10A1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$E3F6C765-F132-452F-8653-ED1F1C2F6357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$64500328-05DB-4288-9353-E3CAD20CE151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f982e1dea4a2e8065ee3cd60e433ecbaa3ea95","datavalue":{"value":{"entity-type":"item","numeric-id":703479,"id":"Q703479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$24D057BC-15C8-46A9-B27D-248589EEA534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$6976A3A5-C0AC-452C-A7DB-23B7380A1347","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":"Q478400$B380AC14-D5CA-47CD-AEAA-40951B5FD5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18575257a2c0f53473e2c8e64ee6959b10c070fd","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$F55CBD0F-5378-4779-8675-6D56B9C486AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b3c36501b9b1b073093720ef4076558eecd1d3","datavalue":{"value":{"entity-type":"item","numeric-id":1295215,"id":"Q1295215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$00CE519D-0670-4652-A3BE-3FEC6868BE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1919bdb67c5421c4300435b6012b67367e949bc","datavalue":{"value":{"entity-type":"item","numeric-id":2805159,"id":"Q2805159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$A32037D0-4343-4FC8-9EE5-C0F83C597EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$EF56BB93-98A1-44E9-A9BD-ACEA06E61029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b2d5354c2e515bba4654651fca23e3378d129e","datavalue":{"value":{"entity-type":"item","numeric-id":3608437,"id":"Q3608437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$2F1A38C7-C2C0-4049-A7FC-E324F2E854CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad79bd0997416576802a75fe8e0542f6323c9511","datavalue":{"value":{"entity-type":"item","numeric-id":5458368,"id":"Q5458368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$4628EA61-8DA6-4884-9091-EE7EFBF816D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0b99b3344ef97c0dbd1ad5b6840d5c27d2b412","datavalue":{"value":{"entity-type":"item","numeric-id":3559970,"id":"Q3559970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$83BF6EC0-898A-4861-94EB-9FDE2C4329F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$ECB6B180-CAB0-4786-9E63-A229880BA863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ef5e2be131ee771dd78b0fdd83dda0ecf7ba9b","datavalue":{"value":{"entity-type":"item","numeric-id":5360215,"id":"Q5360215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$85896236-1DC1-4876-996E-7D83AACE9FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a72c2418dc791b7070825816c3e5d973b0f3f36","datavalue":{"value":{"entity-type":"item","numeric-id":4222889,"id":"Q4222889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$9F8CB218-15AB-4DD6-8D03-7087D23FF875","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":"Q478400$D1538F1B-CA5F-463F-9C2D-A42DC3E48A4A","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":"Q478400$5EFE59BD-B60F-41EE-B8ED-709197C7ED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b2121fb39961209147ea9074ea26e7b6ca52b","datavalue":{"value":{"entity-type":"item","numeric-id":5394571,"id":"Q5394571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$784EC04A-8D73-45E4-A848-27260B051E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a47ee12f4bcf41dd0ddcd6bc6af43e562c9669e","datavalue":{"value":{"entity-type":"item","numeric-id":5925822,"id":"Q5925822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$8523D860-183D-4696-A0C6-BB5CE3A5BF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$77CBD46C-E423-47C4-A7BD-E68C646903F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$21EF2308-5148-48A8-8FCA-4779F8A86689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9badc6ac1d95d67ed514f7a977398948dcda3edf","datavalue":{"value":{"entity-type":"item","numeric-id":4536613,"id":"Q4536613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$BC38DFBE-2227-45FA-A317-C5C1F32A8401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88d9f48f74f421576fdade1de250a250b0bbc10","datavalue":{"value":{"entity-type":"item","numeric-id":2847403,"id":"Q2847403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$68D69DFB-0DFF-4A59-B6F1-D62AEB3AEBFB","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":"Q478400$BE6ABC84-B6C2-4FA1-A272-FE991B464D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a309c1eb4151744f10b56194c99a2b2c81b669e5","datavalue":{"value":{"entity-type":"item","numeric-id":4222776,"id":"Q4222776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$89037187-35B7-4E11-AEEF-A76C6EDBD126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$B45C6A31-69D0-4495-B832-495E905F627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70942afe338cfaeabf37590d23945eca62151c21","datavalue":{"value":{"entity-type":"item","numeric-id":3138545,"id":"Q3138545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$7FD28497-C044-4A4C-AB2D-9FFDFF72687D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$CF8D4B17-25E5-446B-812F-042A204B288D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$E18D11B5-6F70-4292-ABEC-2CAEE3D1D3C0","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":"Q478400$D98C3B51-3B90-4C10-B9DB-A9811811E78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61170d73b1b76991bc82c0cd183c9b92df0bcbc3","datavalue":{"value":{"entity-type":"item","numeric-id":2506495,"id":"Q2506495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$D76D20D2-11DB-46AE-BFDC-DA6CE8AE2B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7406857ede3ac3a439bf82484f21d07eda28f9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4868226,"id":"Q4868226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$2209D722-A637-4433-8C25-B3A91E862B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$9A0C2D9D-E1D7-4021-92F4-6D8FA1A8C0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e1ca20a5253e40e9f7c427df5aa3a732027b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4488202,"id":"Q4488202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$220F6A55-D6FB-439C-A1CF-70E3C82A528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$5A6A87C3-3E4D-46F4-AC39-DC4AD4081065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981a5689a0bbbbbc89fd97af44d418685614f15","datavalue":{"value":{"entity-type":"item","numeric-id":3999364,"id":"Q3999364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q478400$C643462B-CBC5-463B-A472-9C5F0F711FA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a92fb72cc92fba9b38b3bb2766923b34779d33b","datavalue":{"value":"10.1016/J.JLAMP.2014.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q478400$B09DC1D2-FD2C-4214-AF47-25E6C8D89FCE","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":"130f0313506e528b2c71456df3edeeb374ed616d","datavalue":{"value":{"amount":"+0.8765494227409363","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":"Q478400$3F689821-9E59-445A-98D4-0F7118D1E67E","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":"238c28663c9d3157a67ddb7bb0f4490cbc55a55d","datavalue":{"value":{"amount":"+0.8115842938423157","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":"Q478400$F76C2155-D6AD-45B0-AAC6-34EE03AB2F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe56bc0b16f676fd218cc20ba8ceb177122d848","datavalue":{"value":{"entity-type":"item","numeric-id":4281486,"id":"Q4281486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d64ad7c378565cba0991850841708d005535acf","datavalue":{"value":{"amount":"+0.8044453859329224","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":"Q478400$A649D5E9-9727-44F1-97C9-E93F65A31A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ef2a43b6053055e5fe036f9c47acd43b6d57d","datavalue":{"value":{"entity-type":"item","numeric-id":4511324,"id":"Q4511324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5d3f8faa593249cd36248fd14fe8361a693639","datavalue":{"value":{"amount":"+0.8043239116668701","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":"Q478400$F171CEF0-3E86-4BB5-BD9C-2285CDA4B0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d196914325f6cad9e7122e6cf266368ee8161f","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b877cd29f8f9866799305e175d58572d3ea937","datavalue":{"value":{"amount":"+0.795977771282196","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":"Q478400$D4EEC401-3944-4265-8946-F4E172F13705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_abstraction_for_non-deterministic_and_probabilistic_extensions_of_PCF._I:_The_angelic_cases"}}}}}