{"entities":{"Q1818078":{"pageid":1828820,"ns":120,"title":"Item:Q1818078","lastrevid":43343746,"modified":"2025-07-24T22:51:54Z","type":"item","id":"Q1818078","labels":{"en":{"language":"en","value":"Automatic analysis of pointer aliasing for untyped programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383536"}},"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":"Q1818078$61C76193-E358-443F-912A-21C2A7663A78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f78b132758a1bb2be75fdf510abc35aa0a2fa2eb","datavalue":{"value":{"text":"Automatic analysis of pointer aliasing for untyped programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818078$C372F0EC-16FC-4746-8850-8098DE90C496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b98f0ca729fdde327eef990ff743ec3e2e1a5eb","datavalue":{"value":"0948.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818078$FB2F3ECD-8DC3-46F0-8ADC-92FAEC675C35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7fae5a5de5024dc766b0527ab50acf764f3cf4b","datavalue":{"value":"10.1016/S0167-6423(99)00012-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818078$7F795EFB-10BE-4993-B58A-CF75B4546880","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818078$0228F24C-8B46-4857-B373-CC84FD007810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818078$CA450DDA-CFDD-4574-91C1-EB8885D4B5CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818078$6C579AD6-D64C-4F42-86F2-E47ED2CCCD12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a05cdc3e39e82517a25e7b61ac078a6e09056ab0","datavalue":{"value":"1383536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818078$7B3CD814-7BA9-42B3-88A8-2071CA22EBD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818078$3E4BCB76-8D54-47FB-AC46-464DCD2F03DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9d46ec6602365b54c76102ce88f928f0c5886a","datavalue":{"value":"cofibered domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818078$7E30DBF4-A13B-47F0-9DCD-1E74EF269403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74919f41785b3e21e630ae6354a1c7fcc752cd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1702926,"id":"Q1702926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818078$A9D96CE1-28E6-4D2A-8400-63000112FFA3","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":"Q1818078$46F4327A-5053-499C-85EC-0465C17A099F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0a06aeccd1aef7c045c5069cae08a00fd3c760f","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(99)00012-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818078$72AA4A7F-5476-4290-9428-21FAB42314C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47770546d294d6f0b4fb98928f17daddc0188f7a","datavalue":{"value":"W1983820815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818078$5037BA68-DAE2-44E6-A3B8-4946A1920617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4978d6afb246177195f6d8f6261907c45f46af00","datavalue":{"value":{"entity-type":"item","numeric-id":5938707,"id":"Q5938707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a116e532b0b899dc2ea1067fcbe73507b76cf2","datavalue":{"value":{"amount":"+0.89451045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1818078$B4036051-AFE1-4D72-B59C-C0C072ECD49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4c60f292033cfb5b59ee840c5d31b4c775860d","datavalue":{"value":{"entity-type":"item","numeric-id":5942698,"id":"Q5942698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4618d11c2341a7faa537cbaad0b4c7975d04ee","datavalue":{"value":{"amount":"+0.8762313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1818078$B8DF7F7E-B497-4861-895E-8A9B7D10A35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95589d8fed8a78a8381d2650a993116e882bba3a","datavalue":{"value":{"entity-type":"item","numeric-id":5466556,"id":"Q5466556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c888f890c8b6adf4d0c9ce3a64bbf3575359220","datavalue":{"value":{"amount":"+0.8679004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1818078$4C4DD050-9310-4742-B639-67498F01ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c9b7647c9d4f79e00da61688235993a73384b9","datavalue":{"value":{"entity-type":"item","numeric-id":988180,"id":"Q988180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe9607dd792b6d36988fadbeff0f5bf27d1eb66","datavalue":{"value":{"amount":"+0.86360705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1818078$0497194F-4318-4351-9B8E-DC191B3E352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89628f0e409ec43152ee700d0dccbfa80a792357","datavalue":{"value":{"entity-type":"item","numeric-id":4230926,"id":"Q4230926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd91de8179f600a1df42dfca11e1cb028fda565","datavalue":{"value":{"amount":"+0.855529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1818078$16F33A6E-36B0-4BA9-AF08-2F6722E5E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0177a757a404dcf1c2b88505b020f967239c5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3498445,"id":"Q3498445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bb2baebee46831566d7970ef839043925e9809","datavalue":{"value":{"amount":"+0.85175765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1818078$4536D1C4-397D-421F-AAB8-33114D21D4B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818078"}}}}}