{"entities":{"Q2811332":{"pageid":2822070,"ns":120,"title":"Item:Q2811332","lastrevid":52551992,"modified":"2026-01-22T22:58:55Z","type":"item","id":"Q2811332","labels":{"en":{"language":"en","value":"Game semantics for bounded polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591813"}},"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":"Q2811332$A9AD54A8-EF78-4491-A10C-D23BFAF37DD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cd6424204ec947618e41d95b4fbf651b6093315","datavalue":{"value":{"text":"Game Semantics for Bounded Polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811332$998576B9-37E7-488E-B43F-81A0220F2887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6284beade0a86bb8a00b27867a1c38fb58d06951","datavalue":{"value":"1475.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$B39FF222-FE7A-4978-BA8C-D70EC43F0F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07cc44dd284c3ecafbebc2346d19b97c60e8d29f","datavalue":{"value":"10.1007/978-3-662-49630-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$DE2B105E-0934-4336-83AC-350BBFADDE86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6364bdb301780deb7e621bfdd19479f58be43169","datavalue":{"value":{"entity-type":"item","numeric-id":2200838,"id":"Q2200838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$34A0DD81-B7AC-4AF7-A473-4DCE82CFBC7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$7ECABD39-5472-4936-9988-8DADAC9CAC6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811332$EB885E4D-1868-41F3-A1F2-B879308D967B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81685767a8c417cceb28dde46c11371e4d10ec22","datavalue":{"value":"http://opus.bath.ac.uk/49940/1/fos16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811332$226FF29E-2CAF-42F0-9B42-D740E18F8FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$2CD7CA25-6722-4024-B5CE-529844ED3768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$979A3C03-5523-4CFD-AC27-71903BA5FD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$C0C47591-5D42-457B-868C-529D33F98479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"384510bf4bde9cb43d02966b8677ee5a27a3272e","datavalue":{"value":"6591813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$67379C8E-9276-4AA2-8841-E57878C9111F","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":"Q2811332$FE9F1B79-F08D-4902-AA84-217A735E5ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00cf56a0ca1218fb2882e7a5cc4c8f711ab3e626","datavalue":{"value":"W2344079541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811332$6A9052DB-8789-4917-980A-9D06A7984DF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1122bc32db5efae3e398837caf67b0f34fe3b04c","datavalue":{"value":{"entity-type":"item","numeric-id":1772770,"id":"Q1772770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$9676F5F1-D1C5-4E12-A920-FA783DCC9974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$A45D3208-4A50-4EB6-A544-A2338F16D8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$E6DB9573-E36F-45F2-A48B-752A181FF1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$47E5D7F0-A6BE-4B61-B6C0-1640F3049643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$49843090-6411-46A9-AC95-021FA0AC34AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$10E70EAD-EACE-48FE-B70C-33A8E73B6DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$0C79CBD5-9F87-4E5A-A5A0-52FF40E0BB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9855fb0dec792706c6a7c15ba8556e83763d04","datavalue":{"value":{"entity-type":"item","numeric-id":5395726,"id":"Q5395726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$7BA162CF-54C7-44D7-86DF-06FCB279B2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8f768879e9705386be9b7d1daa025f7b293a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$5600A79F-612A-4E1E-A08F-EE5FE38A35E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1d8d1db407a3c808a8dfe6a8cdffd64d3b3560","datavalue":{"value":{"entity-type":"item","numeric-id":4231031,"id":"Q4231031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811332$558EEA90-6D6C-4FEB-8AF0-B2DF007C3378","rank":"normal"}],"P1643":[{"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":"b021a54b90ec13ee6b60277d44456e6fb1fb8316","datavalue":{"value":{"amount":"+0.835262656211853","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":"Q2811332$10E5E492-34DD-4946-B4DB-CC77257A98D9","rank":"normal"},{"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":"984d3476f80d10d15e2626a88e5302f4efc28b85","datavalue":{"value":{"amount":"+0.8322412371635437","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":"Q2811332$9CF78C8F-2FBE-4FDE-917C-0399506FA717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2512c052598e47b97bab1d86e3661b65405183b","datavalue":{"value":{"entity-type":"item","numeric-id":5278413,"id":"Q5278413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb811261bd646af65087204931c8574adbf15398","datavalue":{"value":{"amount":"+0.8197976350784302","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":"Q2811332$E602769D-1DD1-4963-86D0-5BB2CD554B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2773845f860dbaaf9ed0db5cc2f765e2fd9ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4417848,"id":"Q4417848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf2bd21108dbd45dcc268ad82707aea03c93586","datavalue":{"value":{"amount":"+0.8072718977928162","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":"Q2811332$56196911-083A-465F-91E6-9C9598F86B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02817c9c37d82af0cb47227d3735c9992bbbeb0d","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf2bd21108dbd45dcc268ad82707aea03c93586","datavalue":{"value":{"amount":"+0.8072718977928162","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":"Q2811332$CC0DF2DC-6390-4F9D-9C63-3AFC8F7AF6A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811332"}}}}}