{"entities":{"Q5271094":{"pageid":7300669,"ns":120,"title":"Item:Q5271094","lastrevid":58516350,"modified":"2026-04-05T13:39:55Z","type":"item","id":"Q5271094","labels":{"en":{"language":"en","value":"Abstract machines for game semantics, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6738837"}},"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":"Q5271094$C6CEE5B1-B894-4C49-AE95-71B20625D679","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aaca46d41c7f943adf90b93ff83866ee4ae8b3b","datavalue":{"value":{"text":"Abstract Machines for Game Semantics, Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5271094$FDF82C6C-457D-4A14-9622-C61E81390600","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c37bfdc28b882a568938ed0f3d5344c8ab628a5","datavalue":{"value":"1366.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$D8C170ED-C012-4D7B-AC6E-35149A96CABB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"658a0a16b747c17ed89af89a7ca22f799a09639d","datavalue":{"value":"10.1109/LICS.2013.63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$8B4A6570-1C4B-4B88-AE66-0F1EE5F191A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44a2daabe6270c06302eac12c2be38863b3bfa4d","datavalue":{"value":{"entity-type":"item","numeric-id":2819698,"id":"Q2819698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271094$2141A4A7-FC3D-47C1-8775-BE36C8634EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271094$80638B5F-6322-4DC6-9816-E91B9F8C845B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f2a27057ee3b9429467b9887dffe24f85e110db","datavalue":{"value":{"entity-type":"item","numeric-id":5271034,"id":"Q5271034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5271094$EBCC9149-FA7D-4A42-987A-51146F40E883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6edb88116a7eeacb35c0b679978087861f13003c","datavalue":{"value":{"time":"+2017-07-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":"Q5271094$2CF17D53-F0D6-4D91-9B15-04526928E8C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12c91d77583e8afcd27c58764cd2918813c7d524","datavalue":{"value":"https://arxiv.org/abs/1304.4159","type":"string"},"datatype":"url"},"type":"statement","id":"Q5271094$892BD784-EDAD-47D2-B075-BE1A0CEE3E9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$68657961-2E62-4BAD-A26F-F823C5D6C169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$AC5689FD-C357-4895-BCD5-6EA02D453412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$6B92E6AC-8DC5-4715-9B9E-D6D33F3F183F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$1D21241F-7C60-4F50-A3E5-D20386753981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$D00041E0-C1B6-4EE0-BCDC-133E79FCDEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$68F92123-8E91-4FCC-9670-41BBF1CCDA8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1d91dfc6e4fce5914fde7e2924ca57576235136","datavalue":{"value":"6738837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$EE405A7B-F71E-40F9-B564-5A3DE004E41C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271094$F6FCFFAD-763B-437E-93F4-CA19BF39BEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271094$D22F2F06-C356-490D-9CAD-7CA893C53E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63175134c9cc304031836fb16b471c84d1f0f196","datavalue":{"value":"distributed compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5271094$7A125C2A-D155-40B1-BA89-9CC268A64B2F","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":"Q5271094$D0B10807-04DD-4DE2-B5C6-BBC738E9ED65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f06e017c4c02d22dd488ef7968e9208c3a0525f6","datavalue":{"value":"W2124894117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5271094$E9ACBE53-FE79-4463-88D8-7BC98C3C1219","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c8c96e770b77a80ceb44a95ae6ca9fe43524b","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26142adf65c162f497d22855bd0b64a2945ccd5","datavalue":{"value":{"amount":"+0.7236064672470093","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":"Q5271094$E9C94107-0135-4E2F-A8ED-8024B19FD8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f7d9efd54c1795b136a4c002329789fe88f62c","datavalue":{"value":{"entity-type":"item","numeric-id":2819699,"id":"Q2819699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdc20882ab821494b7fb44caed1a0944275e585","datavalue":{"value":{"amount":"+0.720974862575531","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":"Q5271094$F3C556F3-382D-42BC-9C41-9F28C4616733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b350d1c8a2d0d105c4a86b314f7f68cc8c91c88d","datavalue":{"value":{"entity-type":"item","numeric-id":3000620,"id":"Q3000620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f03e642c5dba4260aeacdcf2706582b8f25cd7","datavalue":{"value":{"amount":"+0.7173472046852112","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":"Q5271094$DDDA1BFB-1D3F-4FEE-87CD-24C580A17BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc67884947a4fec8b69e3e850671852ceb6f093b","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df006c037151d582b42f64ba1b7e4190553b004","datavalue":{"value":{"amount":"+0.7110432386398315","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":"Q5271094$3DFF8E53-E8C9-4108-9552-20D18D6693C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46a8fca93366358593ebfcd72c58e4558663785","datavalue":{"value":{"entity-type":"item","numeric-id":3075443,"id":"Q3075443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cb82fe24cefcb3314fd04a0821e53f7ec74b614","datavalue":{"value":{"amount":"+0.7103516459465027","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":"Q5271094$C0044B29-F615-409A-8876-F4E2B703D711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5271094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5271094"}}}}}