{"entities":{"Q4635796":{"pageid":6665377,"ns":120,"title":"Item:Q4635796","lastrevid":53070764,"modified":"2026-01-24T04:11:11Z","type":"item","id":"Q4635796","labels":{"en":{"language":"en","value":"Game semantics for type soundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863381"}},"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":"Q4635796$C6921BC1-2AE8-44A8-A3EB-DE25494270E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2427b221e922f7504e16d5abca67b02966059f5","datavalue":{"value":{"text":"Game Semantics for Type Soundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635796$77991FD8-5FBD-4F8B-BA1E-FF10FAD4B8E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21a5d57fcd4a6e5f47eb01db00f55d79e990ba97","datavalue":{"value":"1401.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$992815D7-0714-4D02-A155-C56E05089C6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb5282164ececcadeb8e554f7149d48380162768","datavalue":{"value":"10.1109/LICS.2015.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$F9192045-89BF-40B7-AD30-E7FB92865A2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e3cf1aecd106ce34cc6e3aaa48b89a0b8ce245","datavalue":{"value":{"entity-type":"item","numeric-id":4635795,"id":"Q4635795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635796$BA92F175-E4BC-4234-94B7-046615845684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38126dc183098febb961ba3435b28eb28edd09c1","datavalue":{"value":{"entity-type":"item","numeric-id":557791,"id":"Q557791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635796$BA99C009-7915-4F96-9356-4C1FBB524F4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635796$6673E620-196B-4839-9BEB-FE7F9B29E788","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635796$8ABFD1B4-297F-4DEA-9ABB-8495CA71FC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$CBBB6555-17AB-438B-A6F3-AFD45245A167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$B78090AD-23B0-4A96-AD6A-478E10A4807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$EBEBBD5C-3B6A-4C46-8E7C-5D21ECD8365E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eacf95fc29fbb2ece1d3e595b9a7346878a8441","datavalue":{"value":"6863381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$4C77D3C5-680E-467A-B39D-0BE4F287E8FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635796$1EF30D8E-D325-44C8-A2A5-4F1C875A8EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635796$BF03480C-A080-4719-AF1C-59AEE496D1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8836868e1c908239a96965e3f22c08df855770f0","datavalue":{"value":"game theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635796$AE383E2C-8BC9-4B06-BF3F-D808547CE6A9","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":"Q4635796$4D9A1FC9-8CE8-4DE6-B1CD-F8192AB7A3E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d68c9b29763ce6a8d9672d5e92a51b56cc155ed0","datavalue":{"value":"https://doi.org/10.1109/lics.2015.20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635796$950B2ED4-B245-4524-9E89-627E1E8F9244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"317b2ee4a8868f8c215a66434641346b795f90ad","datavalue":{"value":"W1561721410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635796$47E5B066-9A57-4773-89FA-84CD0D05ED7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73340204202a1373f43362e0a19b7f8d3e8c37fa","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a9ddd9e5e75fc898069712978c676c6aba5e73","datavalue":{"value":{"amount":"+0.7621293067932129","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":"Q4635796$090068ED-5914-4CF3-8A36-9070363A8AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cd570bf41454804d47947260a1f00d6a30d45c","datavalue":{"value":{"entity-type":"item","numeric-id":5395726,"id":"Q5395726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec7d4f1f5c0eff6e7a29ed8ccb52e930a79e615","datavalue":{"value":{"amount":"+0.7440964579582214","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":"Q4635796$C8273262-1157-45CD-BC26-9542EA6CD392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d426eead60ae72084f6a1b860358a208e588f3","datavalue":{"value":{"entity-type":"item","numeric-id":930873,"id":"Q930873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23db55de02a0e684754698b68bdbd17eb482233","datavalue":{"value":{"amount":"+0.7388448119163513","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":"Q4635796$D614F60E-BF1F-4E74-8F4D-6F2A4823B8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1dd2b965bdaddee4f4435e87e6b519211bcd08f","datavalue":{"value":{"entity-type":"item","numeric-id":4635919,"id":"Q4635919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba85c6ccf18da48a8fbd9f52d38126283c093d3","datavalue":{"value":{"amount":"+0.7347927689552307","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":"Q4635796$D7F6F196-A92C-4685-AC20-609026A5562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f71910b9bb8af5197f29d05c87939b8fde13b4","datavalue":{"value":{"entity-type":"item","numeric-id":5897423,"id":"Q5897423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d875e515179e215b474b858203f0cbebab181efa","datavalue":{"value":{"amount":"+0.7330252528190613","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":"Q4635796$08A7F8A3-5721-46CE-B681-57C45330C26D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635796"}}}}}