{"entities":{"Q2390319":{"pageid":2401062,"ns":120,"title":"Item:Q2390319","lastrevid":50713100,"modified":"2026-01-14T21:55:01Z","type":"item","id":"Q2390319","labels":{"en":{"language":"en","value":"Computing polynomial program invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5581177"}},"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":"Q2390319$9F2AE277-9B73-48C2-8CE7-FDAA024342A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92365093357a6d4294188b51f5c3f310ee830cc3","datavalue":{"value":{"text":"Computing polynomial program invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390319$B068A335-E6EA-4793-BC78-B7F0B7DECA7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4ceeb54032db697e2e5be2c897bb25083ed67c","datavalue":{"value":"1177.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390319$1514CA5B-BE63-4F77-A129-36B0BDE4CBEB","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":"Q2390319$56A1B420-D9E9-4705-934E-C92AECB782DC","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":"Q2390319$A3B04379-3BA0-4B9B-B5C0-3367186FDC7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$CB356429-B114-4CE8-870C-022845A9639C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b138bef8424bac6e0cca36c0782a12730b2d0eea","datavalue":{"value":{"time":"+2009-07-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":"Q2390319$49CD4715-C9AF-489B-900C-6B262F6FA87E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390319$AD1B1124-F6FB-42C3-AAB3-8F7556641104","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60d66c207e74cd0305ea58a4059dc36f79dfc8e8","datavalue":{"value":"5581177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390319$6A1B49CF-22ED-444E-8E88-2D3D4D15819E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390319$2F54EC31-999A-43D2-AAE8-44D329CE3184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3661f558692b6155bd8878b64c994c55f6c1c9bd","datavalue":{"value":"polynomial relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390319$7AC572FA-0649-409E-80C3-DAFCACF285F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390319$680DD7B2-DD4D-44FE-B901-F0290F4B79A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce79950a5440a74feb5da465767d165967374961","datavalue":{"value":"computable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390319$6FD4D46E-9F91-4900-AD3C-AC62C5808728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390319$831C1C55-8715-47C5-9C88-5B4B6B231628","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":"Q2390319$FAF91178-3CBA-4F9A-A822-E43D9D6DCD1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db32618e41f6b2b40f7777fb5cdfbffb05f73ba2","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2004.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390319$D46289C4-0565-4DF9-9AE7-74407BB41E7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1840c2fdac0f24b541f276fb0fb8c60c81bd284d","datavalue":{"value":"W2003141394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390319$FD6D1EF9-F2AA-459A-88D7-E3AC299699CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$21712D34-E326-4C2E-B4DA-68D7135E1106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8648065c5304ef1ccb162c9107cef4a4c44591f7","datavalue":{"value":{"entity-type":"item","numeric-id":1391929,"id":"Q1391929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$AB26DC0A-13E4-45DC-953E-DC9061D93379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498e9f122ecd76dd7e75a65105a3a53c0ea6ff3e","datavalue":{"value":{"entity-type":"item","numeric-id":4222883,"id":"Q4222883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$62D7E164-3BDF-4C54-B8DA-D7BA5217409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d13b2baaeba9578e51f0f16124df9d341fafb29","datavalue":{"value":{"entity-type":"item","numeric-id":4162449,"id":"Q4162449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$028DBB92-9F6C-460E-8899-2AB649A098AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$548B61BD-197C-46C2-814D-A736FA584A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bacd938ce8d576f7511f45ba7ae8a5c38e46af7","datavalue":{"value":{"entity-type":"item","numeric-id":2763673,"id":"Q2763673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$08173059-47D7-4E4F-987B-427D15875FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d47d30524d0881b216cd4a30d35dd320c36c151","datavalue":{"value":{"entity-type":"item","numeric-id":4411947,"id":"Q4411947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$23E4D7FA-A0D9-40D2-9864-86F0BDFD3443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$1BF5A2F6-89EC-4ACE-8D21-02587EA6F70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$1D747FA2-2890-42E5-9912-61F5F16EB058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390319$CB33300C-C6C3-4260-8C3B-EFD26A44F5CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7585f7dd1e31a423a92a4ef64be92bfef470df27","datavalue":{"value":"10.1016/J.IPL.2004.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390319$BFF3E403-7196-47F2-A660-6BE6DDAE7701","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbf178538228e7eae4a133a33245252a7f625a5","datavalue":{"value":{"entity-type":"item","numeric-id":859958,"id":"Q859958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8181996422d55bd683138b2154eec379edf95836","datavalue":{"value":{"amount":"+0.7931161522865295","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":"Q2390319$1C456829-7F65-4354-B06D-B290F1D9EF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c13988aba604286380ae796b695abe654561d5","datavalue":{"value":{"entity-type":"item","numeric-id":5395800,"id":"Q5395800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91dad1a1c45aadfb23dfce27de2b5fda72e9f1ac","datavalue":{"value":{"amount":"+0.7915801405906677","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":"Q2390319$DB4D5765-8327-4E27-BDC6-E8CC2F2E97E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a832ccc567ef0987fb70b35cb1ac2b2bf3ed787","datavalue":{"value":{"entity-type":"item","numeric-id":4649805,"id":"Q4649805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e7e3f6e6023725fa2b99403bbeda5863e93092","datavalue":{"value":{"amount":"+0.7872854471206665","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":"Q2390319$DA471D5B-81C4-4F38-8F2F-BBC6B805C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1882d77d0d7fe926d36d1ea73f2313c9b1ca92b","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f44dd21e1990ec66044a14af2b89392a6aab04","datavalue":{"value":{"amount":"+0.7817561030387878","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":"Q2390319$2D7A8281-76E1-431D-83A5-5B263B5171AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc917171a529180fb7bd5aa610e4496aec07f14","datavalue":{"value":{"entity-type":"item","numeric-id":1311622,"id":"Q1311622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87dbac4c7028788458cf67be6f90e0261d18a18e","datavalue":{"value":{"amount":"+0.7765224575996399","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":"Q2390319$9ED7E98D-41AB-462F-8C3F-A735C43AFAAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2390319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2390319"}}}}}