{"entities":{"Q4994699":{"pageid":7024276,"ns":120,"title":"Item:Q4994699","lastrevid":98256794,"modified":"2026-06-05T17:03:46Z","type":"item","id":"Q4994699","labels":{"en":{"language":"en","value":"A simple semantics and static analysis for stack inspection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361360"}},"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":"Q4994699$490E9905-48FD-45F6-8C33-34201132AEDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15dcd6deed2fbfdf7f209a56859c67c7aa614a13","datavalue":{"value":"1464.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994699$277CC5BD-05AB-4ED5-A9B7-DF710CAF98BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994699$EF63813D-71B1-42C8-82C5-2F478CA524CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994699$00CC9352-318E-4BCF-AAD7-9A5D53686AA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2f3a985dcf2407d30ab45f57448460afb353a2a","datavalue":{"value":{"time":"+2021-06-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":"Q4994699$4C1C8B1F-5A48-4C50-B1DE-88084FA2091E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b0bc5f2ad67b82e8905233e4974cfa731e740c2","datavalue":{"value":"https://arxiv.org/abs/1309.5144","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994699$EEFFB387-488B-42F0-85A4-333D24C943A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d19bffdd2cef9f2d392e0c4660fa41e37cb66d6","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994699$9FFF989D-A233-4303-9D5E-ABDA0D3B2EB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994699$D2398C70-6B4A-4C26-91D2-01C54B002FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994699$B3F9D8CF-D0B0-4D01-8154-49E0D6619FA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c207dcda617d524bf15a649306ca48a071ca513","datavalue":{"value":"7361360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994699$CB5AB384-BF6E-47DB-A37E-9828FCA2BF58","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":"Q4994699$4D6736F7-1BC3-48A4-BE3A-57A6F887B64B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab84265184c0eced371ed0a02afc20815b5c45e2","datavalue":{"value":{"entity-type":"item","numeric-id":5897372,"id":"Q5897372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe03e2e44bd030246d002dd8eb5621e32925be2","datavalue":{"value":{"amount":"+0.8270260095596313","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":"Q4994699$C8DE3C4A-6F4E-4605-8016-3FD305DAB3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2beed0355786137403c2adbe14535dfd3d2fad","datavalue":{"value":{"entity-type":"item","numeric-id":4676153,"id":"Q4676153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c975876a9982f84e7ea91dea0d8cde4106d981b","datavalue":{"value":{"amount":"+0.8191876411437988","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":"Q4994699$3883CF2C-346E-4EC1-BA9B-329031F00F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b7574f51fafc188af2cccabec0ab6b3ff99df4","datavalue":{"value":{"entity-type":"item","numeric-id":5178914,"id":"Q5178914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc68ddb24877f7262863b1605ba5eae1502d53a","datavalue":{"value":{"amount":"+0.8189488053321838","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":"Q4994699$8C5E7A28-1803-4508-AC64-4138293AB403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8df97c29cd322a71249c11bb7d87b66fb596ec","datavalue":{"value":{"entity-type":"item","numeric-id":4676154,"id":"Q4676154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90dfe512581db2e4d1dcfac70146c58d11493b33","datavalue":{"value":{"amount":"+0.8070674538612366","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":"Q4994699$D42F6A4C-8DD4-41E4-A020-BE25B53BFD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041ad8d51f5d9ddf4e0b039da1572407c9f97ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2763691,"id":"Q2763691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef41983abc645676325500945c736ee0cd218f88","datavalue":{"value":{"amount":"+0.7821805477142334","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":"Q4994699$A0F40B68-6B8D-4504-B2C0-EAFF7F0C98A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple semantics and static analysis for stack inspection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_semantics_and_static_analysis_for_stack_inspection"}}}}}