{"entities":{"Q3452271":{"pageid":5227932,"ns":120,"title":"Item:Q3452271","lastrevid":52391870,"modified":"2026-01-22T13:10:52Z","type":"item","id":"Q3452271","labels":{"en":{"language":"en","value":"Precise interprocedural analysis through linear algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507278"}},"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":"Q3452271$23B0EBD8-FD70-44AA-A9D9-4C08B5EC0368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9fb5d745b8293bdddb830e620b402805cd464f7","datavalue":{"value":{"text":"Precise interprocedural analysis through linear algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452271$F509AC5C-1FA8-4A0F-BB52-3518150BB43A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acc656e008c00f4096ec8d61018d6f1c58ba6822","datavalue":{"value":"1325.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452271$ED24644E-F1A3-41E2-A343-9C8E956317B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d49d451fa9d046cd75ba336712071dfb6398ab8d","datavalue":{"value":"10.1145/964001.964029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452271$F98F9B9C-4E60-4AA0-9023-CEBCCFE1296C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61344200f54e68b3ed5f7beb5ffd680ff79e17e0","datavalue":{"value":{"entity-type":"item","numeric-id":396974,"id":"Q396974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452271$CCBB2F9F-6E22-453E-9B25-959A3737DA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452271$C752443A-A183-41E9-B8AB-FB402559445F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452271$E88960D7-138C-42DD-AF1C-818DE435F623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452271$110EFDCC-A4D6-4C22-9C63-3F62A990824A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452271$C17A0EB2-68F9-43C8-BF62-EE63659D747C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4957b34a93fa50dbaefbf617f70e8f230b0faa21","datavalue":{"value":"6507278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452271$65824E46-491E-4AF1-930B-0908D0417CCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f341e26044fd728289754d0c0c9fd052a792ab73","datavalue":{"value":"affine relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452271$15EAB96A-49E7-4207-807D-98D32103610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec3e7b916b83fe7497baa58db1aa00e4126d057","datavalue":{"value":"interprocedural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452271$F3F8398D-A2D5-4632-9452-7AE288721BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452271$8C5ADD4F-9AEC-4258-8984-F2F6143E48F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3661f558692b6155bd8878b64c994c55f6c1c9bd","datavalue":{"value":"polynomial relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452271$E3A4F8D8-D206-4BCB-AB87-1665E5197EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452271$EA0FB995-9FFA-4BEC-8373-163DBB176F6C","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":"Q3452271$38C36C54-B013-4CD0-99C9-5F1583EC52DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f7e3b1f4135910757fd737c1643e7a49b404f09","datavalue":{"value":"https://doi.org/10.1145/964001.964029","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452271$3C697258-100E-4261-95C9-67CC0A3B3B35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5078164dafe3f6f4e58e977617348e5d806c4cbd","datavalue":{"value":"W2171834078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452271$DF1D98E8-A42E-4EC3-B607-A807D9797D5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81533bc7d5f46424befce1d254e9a7c758c2d95e","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b737e6b8352f5b2e1d86aa8ac3b0b52755efa7b2","datavalue":{"value":{"amount":"+0.8317548036575317","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":"Q3452271$ADB97AE7-1A6A-44FE-9D60-2D054776CBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a081d2213efd52b075b8d8097c6e9a4fe6e344","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64491910c902c45bf0091a96f9249aeb02fd832d","datavalue":{"value":{"amount":"+0.8259588479995728","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":"Q3452271$6CF20842-65EF-4661-80EE-A864667D13B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68d03788774669eaa8b68ff412a9ad08b550a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4949939,"id":"Q4949939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64491910c902c45bf0091a96f9249aeb02fd832d","datavalue":{"value":{"amount":"+0.8259588479995728","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":"Q3452271$FE05DE40-E56E-4CC6-917D-696A5C35220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c91a954f0f450e2c04c70c3b83c14fac3f8deb","datavalue":{"value":{"entity-type":"item","numeric-id":5756501,"id":"Q5756501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f333f99f3e71d23a8889d7a5ee3f189089f8b129","datavalue":{"value":{"amount":"+0.8099309802055359","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":"Q3452271$0A80F89F-440F-4873-83F3-A444E46E406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d6246401ef06531874c3e52c11c56e6f07e202","datavalue":{"value":{"entity-type":"item","numeric-id":5276156,"id":"Q5276156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01488852e3fb7f4f88029aec103dccb73237a029","datavalue":{"value":{"amount":"+0.8007961511611938","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":"Q3452271$F991B45B-DAB4-44D4-BBEF-D7F62E7ADE9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452271"}}}}}