{"entities":{"Q2931777":{"pageid":2942497,"ns":120,"title":"Item:Q2931777","lastrevid":44736267,"modified":"2025-11-25T15:32:45Z","type":"item","id":"Q2931777","labels":{"en":{"language":"en","value":"Full abstraction for nominal Scott domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374658"}},"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":"Q2931777$B70F75BE-7B6A-421D-9DCA-A010EA72C443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4217b93ba38cae4b48dab36ba212353469676cd","datavalue":{"value":{"text":"Full abstraction for nominal Scott domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931777$D66011D0-98AA-49B8-86F4-8B0A1F8F9EAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f3bcccd8e4eb075549428c6f055de6c7e8b6ce7","datavalue":{"value":"1301.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$290B585B-2567-44D7-838F-13EDED013AF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee4c8260c66a227edf1205696b35b71193409c4","datavalue":{"value":"10.1145/2429069.2429073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$F29D5066-9B88-419D-85ED-3A587CEF88E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee7aa19aade7c522a99cab7b60950807770732ad","datavalue":{"value":{"entity-type":"item","numeric-id":2915697,"id":"Q2915697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931777$959969F0-AE18-4F6C-9652-5B8F53773013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931777$9AA66892-19F4-40A9-A022-7F542F476FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931777$7222E132-0190-4DDA-94C1-C1778F9D36AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-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":"Q2931777$B1ACB2F6-EFDC-4832-A7B1-16957B224927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$C2869DDE-D89D-4FE1-B2BC-86E1598B98A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$E3F20586-4B55-4982-8AFD-91B38A0CF44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$D7A10DBD-6AE6-470D-A512-5763733CB7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$A2A3AAD4-633A-4AD9-BA06-4A202D8E3550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5323ca224def6bcd642de2e54e28af259b28a7bf","datavalue":{"value":"6374658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$9AC1AF00-BE55-432C-808B-DB084C77E999","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931777$0AF68276-4AC3-4B28-886D-3EB15292DC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931777$109B4BF3-9948-41AB-91BC-8FA8930255BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931777$42400B75-D5D0-426D-BCD9-015D65431CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931777$85E427C7-497C-4184-BE66-0F8A75691B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931777$8CD4A1FB-DFCA-41C0-B261-1B647D100B77","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":"Q2931777$E96ECDF5-924C-43B6-A11F-5ADCA0A0340E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"274d10f26f20ecf8b094e62ce9781bf9b7e85d06","datavalue":{"value":"https://doi.org/10.1145/2429069.2429073","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931777$2F50C517-0866-426B-970E-F9083D1FCD47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53118e04e4ee717cdfd3eddbcd10d338c252def7","datavalue":{"value":"W1986231595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931777$4EC8BCCA-4318-4C8C-BEDC-71A9358E13FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec6c7c28033dc41f1792fc8014512d2c57150fc","datavalue":{"value":{"entity-type":"item","numeric-id":5501931,"id":"Q5501931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe5a8cd9ae0027e342a245cfeccc91cc4b3f41a","datavalue":{"value":{"amount":"+0.8555789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$6A6E9AD6-7524-4945-84B6-933853CAF5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e2e66351b64c60d4635000e8d2ba5da5d499c4","datavalue":{"value":{"entity-type":"item","numeric-id":4366766,"id":"Q4366766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf9011f1e17ac4e4a7cd171d1cad2ff62366aea","datavalue":{"value":{"amount":"+0.8419393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$5285125A-B031-472F-976C-C9BB56C251A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64c5850cfed7715bc475fb05041c1751cc376f7","datavalue":{"value":{"entity-type":"item","numeric-id":4237906,"id":"Q4237906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35660cea146725a69bcfdcd63b37309fc45f9691","datavalue":{"value":{"amount":"+0.83777905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$11855677-5A44-4500-8146-2A8499F82878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399419382caa82fa94a0b79c4808673d17d2e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0537f1dcec6b56e8c05709da2fc4ecfbb52644d","datavalue":{"value":{"amount":"+0.8302405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$63B81B2F-753E-4A97-BC9F-D7CB714BD056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6546811708d9fd4be4594d0c56a17f6855ff9425","datavalue":{"value":{"entity-type":"item","numeric-id":1068077,"id":"Q1068077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db786a2a8254ecaa7e5dd44714df30404ed671b","datavalue":{"value":{"amount":"+0.8279743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$9536375D-EE47-4E49-8C9B-F7D23B60D019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8af7ae76edb894deea3d43074168850d69e6b8d","datavalue":{"value":{"entity-type":"item","numeric-id":4910435,"id":"Q4910435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00270dfa6a54195ce00cb14800fdf42b291ebd21","datavalue":{"value":{"amount":"+0.821648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$57E3090B-A482-4F15-801C-985582533434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e3d6a1a68afa2ca580ba13c86ba60e89fddb44","datavalue":{"value":{"entity-type":"item","numeric-id":2864154,"id":"Q2864154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc912925610fdb7ef2c97be0666a92cc5c1c09a","datavalue":{"value":{"amount":"+0.8210794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$A67893C0-523B-464A-9650-9511EC9B1C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5ca0ef69fd9bc3dfbaf7db7ef189740e9061c","datavalue":{"value":{"entity-type":"item","numeric-id":4518879,"id":"Q4518879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d57231d6811425ea76727940ac8707e71465038","datavalue":{"value":{"amount":"+0.8194548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$0E7172F5-E0D3-4FFC-A63F-CE31916E40F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649135a8697f063632ab9edea091c1313eae45bd","datavalue":{"value":{"entity-type":"item","numeric-id":5928621,"id":"Q5928621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419dcf1a786324658285f2068a16aa166cbe2145","datavalue":{"value":{"amount":"+0.81778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$DFE46632-41E9-4F06-8BED-E9ACAB0C6E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b5a53afe1e55bd0cbbcb63d5eafa458e5afa1df","datavalue":{"value":{"entity-type":"item","numeric-id":2841264,"id":"Q2841264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1207ba7e419747fa861e7458c2ec1019b2b378","datavalue":{"value":{"amount":"+0.8169957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931777$FD284FCB-CDB9-4E1E-A794-245ED524B048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931777"}}}}}