{"entities":{"Q2979874":{"pageid":2990599,"ns":120,"title":"Item:Q2979874","lastrevid":52792010,"modified":"2026-01-23T12:39:43Z","type":"item","id":"Q2979874","labels":{"en":{"language":"en","value":"Alias calculus for a simple imperative language with decidable pointer arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708352"}},"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":"Q2979874$C8675F48-835E-425B-8208-A6C5435FCFBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3186aed747b793364574a9f5f38aa2bca69a5b28","datavalue":{"value":"1374.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979874$B4244B44-3F8B-4431-ABCB-7E495B325C11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979874$53A9629D-BF78-42B3-AF34-95CF07122B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2a8ac2d65dca7bb0d6b82016333c2948ef1fba5","datavalue":{"value":{"entity-type":"item","numeric-id":2979872,"id":"Q2979872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979874$FE4DF7FB-4557-4B28-8C2E-B85B06728E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b09f815a4eea7112140be15de1cebdb32f88083","datavalue":{"value":{"entity-type":"item","numeric-id":2979873,"id":"Q2979873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2979874$6108E29A-0636-48E0-AF17-89E54EE60446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5136aa5d1d5384ee622607c2cb579d682b7a682f","datavalue":{"value":{"time":"+2017-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2979874$EC91091F-014A-4AC7-9C4A-8E624C8EC80B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"415ecca949ee486020da63f1ac06eab6d89cb886","datavalue":{"value":"http://bulletin.iis.nsk.su/files/article/shilov_satekbayeva_vorontsov.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2979874$6219A2F3-DE05-45F5-B8C5-0CCF19C719E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979874$5D9DA594-D735-45D1-A0F0-EDF7EAAAF2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979874$8241FE1F-5329-4912-9A95-3013A7139915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979874$136767FC-F829-4DDF-BA8E-73E50F1598CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6ce7e94dc4e352b098fdfb4b51a9a5050eaa132","datavalue":{"value":"6708352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2979874$B979E120-4CC4-4EBD-B49E-FE48B396992A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"451f14a569d14d81b037b88338852cef7311fbad","datavalue":{"value":"aliasing problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979874$A9216862-7645-40F2-898B-5703204D812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d97001bc46337bf5a7b897ccac824129885d9c8e","datavalue":{"value":"alias calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979874$ED2AE56B-2F76-49D5-9E71-1DC900DF6E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145ef52affc34ad660254caf476e8f25a6e4fa55","datavalue":{"value":"logic of partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2979874$ECBF9C63-988B-4D3D-A537-12D382308A70","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":"Q2979874$7138C796-BF94-4000-87FD-9FB6570F38EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d576d4c1de6ef868f121da606928ef946e22783","datavalue":{"value":{"entity-type":"item","numeric-id":5466571,"id":"Q5466571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924dbc477f5add9565dbfe69859198a90a9d5921","datavalue":{"value":{"amount":"+0.7135570049285889","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":"Q2979874$CFC40FA9-4A98-4CFC-902C-92784D165401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8932cc99f21dbe9d7b2128280207f446130f243c","datavalue":{"value":{"entity-type":"item","numeric-id":3460212,"id":"Q3460212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7991e9172ef26d780c408d4ce2a0390122b0c0","datavalue":{"value":{"amount":"+0.7128148078918457","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":"Q2979874$E9191350-ED64-4238-908A-B68C8BF73D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d56a678fdd5c899470043eb71d1d9dee12e861","datavalue":{"value":{"entity-type":"item","numeric-id":737089,"id":"Q737089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49e9ecfd9db4257b7eaf685097d857fab7f4265","datavalue":{"value":{"amount":"+0.6888543963432312","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":"Q2979874$EF7ADE8A-D545-4755-8362-9EBA361DDA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8eb9cf63c79859ca40cfdb6655812fd1502d503","datavalue":{"value":{"entity-type":"item","numeric-id":3297783,"id":"Q3297783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15394cc190ecaf3ffbed8574a6d99841a005e79e","datavalue":{"value":{"amount":"+0.6844809651374817","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":"Q2979874$28DAA5AC-A5F4-4AF7-9C97-EFD314AD7778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff05604f1531e7f2fe0b3b733b9b2517de6e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":1818078,"id":"Q1818078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7915da28938350ea366716a618116e467e6532f9","datavalue":{"value":{"amount":"+0.682786762714386","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":"Q2979874$4FB874F0-F2CB-450B-AA0E-CFE87A6A10ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2979874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2979874"}}}}}