{"entities":{"Q5145669":{"pageid":7175240,"ns":120,"title":"Item:Q5145669","lastrevid":32147694,"modified":"2024-03-19T21:18:55Z","type":"item","id":"Q5145669","labels":{"en":{"language":"en","value":"Refinement-Based Game Semantics for Certified Abstraction Layers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299501"}},"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":"Q5145669$42237074-89E1-4905-BCF4-04588261BD44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"506d1a6fabf30c4a66559f4b131a01dc7b6d1d01","datavalue":{"value":{"text":"Refinement-Based Game Semantics for Certified Abstraction Layers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145669$F3A619C3-46E4-483C-988B-99C7E1F1532D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6845ac1ad940a9840c9e0830ccd8e19aaaffb8b","datavalue":{"value":"10.1145/3373718.3394799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145669$145432E2-E076-444D-824D-D1BAD3A86E47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b88b1bd4e2a123fe1840f36f66b1212af8a91412","datavalue":{"value":{"entity-type":"item","numeric-id":2819845,"id":"Q2819845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145669$F6F333AD-F279-4502-9EA7-1E18B76D043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145669$CB389996-8FE3-41B2-B0C2-094028BDA7F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145669$D55992AB-D9D2-4B18-811C-E537D3654D92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145669$5E038284-4ADC-4FA2-B98D-A9984AAABDCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145669$8F074700-341B-4748-AFC1-3ADA8E6F2622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34c0be0450bac315bc06a621c57731e022972f9c","datavalue":{"value":"7299501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145669$8BDC91C8-1C7D-40CA-B512-425E36A1371C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67349c6be58a5d9a0c2386b802eac1530b65e644","datavalue":{"value":"algebraic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$050A89AC-D55F-45C6-870C-84B3680C12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ca46a4f6c50834e75b7c0025bd856c30b3b04b","datavalue":{"value":"certified abstraction layers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$0D37DD86-BE54-443C-A7A9-823DE1785880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07df810b33e1d55b22b53908a9292822a7ea27d2","datavalue":{"value":"dual nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$F41BE5AF-AF87-4358-9386-625F1897BACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$5435602F-6921-4E4A-86A9-5320B9121DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a6a6f3d958e5a01e8a1972bdaff1eb63e92a0f","datavalue":{"value":"interaction specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$42E3C64D-FC2C-4F4D-A179-161FF7430899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e04a9b6f29796c4d02ff2b937276cb784681560","datavalue":{"value":"program refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$65B6858D-A569-4336-BEC1-4F0C64E26A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27964f5956de5723b5730118df8857a4915870f3","datavalue":{"value":"strategy specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145669$4A8A76FD-F7CA-4736-A4D3-C07E8EA26526","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":"Q5145669$124682EC-9BDD-4069-BD70-286595D9B5ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a51e0f68e0924419ddb6aabe923dec9e6a33de1f","datavalue":{"value":"https://doi.org/10.1145/3373718.3394799","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145669$74A06057-E504-4FA4-A0E6-4E581108FADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9e6adbb955aa375dca020067c9d44f0ac95b118","datavalue":{"value":"W3031613435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145669$C70420AC-9D5E-4BF8-8C10-CAE6737A83AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145669"}}}}}