{"entities":{"Q281291":{"pageid":283058,"ns":120,"title":"Item:Q281291","lastrevid":60664389,"modified":"2026-04-10T18:22:36Z","type":"item","id":"Q281291","labels":{"en":{"language":"en","value":"An abstract domain to infer symbolic ranges over nonnegative parameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578883"}},"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":"Q281291$6AD493C8-887B-4DFE-AABD-D33DAF5EF43C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf88a071505a93ff8cb5a4b74c6a4e444a0e478","datavalue":{"value":{"text":"An abstract domain to infer symbolic ranges over nonnegative parameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281291$D528D0E6-CE15-4A91-A210-801240E58807","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61ecfc37abf6fec81d16b1d5d7a417293198f332","datavalue":{"value":"1337.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$843E8EBE-9B87-4F3D-B20F-9F14BF9553C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee0fced1d75703c66ef1de94a30cee4fa9f159a","datavalue":{"value":{"entity-type":"item","numeric-id":281288,"id":"Q281288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$F88EADC9-76C1-4D96-A47B-A6F4244A5CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15042877c5e33a19551e4b2dfc140da24b7c9013","datavalue":{"value":{"entity-type":"item","numeric-id":281289,"id":"Q281289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$4A9AEEE1-A69D-490C-8FF1-961321A398FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$E715EF29-82AC-46F8-9326-25ECF60025E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281291$74C21AAE-69F5-4964-BB02-20F804F64126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$9C19F5C2-BBD7-4F60-B313-87C85A36EBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$3F5C9812-8901-4EEE-883F-535F34902424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef2e8477857a7e9d98ff319d57896191c69ee2c","datavalue":{"value":"6578883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$D2AADAC8-985D-45FB-A31A-4558DBF57CA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q281291$2C8863BC-B116-4302-AB74-5B8063016B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q281291$4C8286A2-AB39-496D-97F2-7D74FE42704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b523d0120e9fd1439cbe34ae44730372d628480","datavalue":{"value":"intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q281291$81F2037A-DB0E-4859-8C8E-518506BC930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f832ca49c5cb3b3d3c059d188a6e48579dd15d2c","datavalue":{"value":"symbolic ranges","type":"string"},"datatype":"string"},"type":"statement","id":"Q281291$E428BA92-7B38-4D96-BADB-757FBB535229","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32393b5234e546067c30e525efa58521928d14f3","datavalue":{"value":"Q113317857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$B8B17C2F-4E11-4009-A096-F23B00394CD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$E9E83B86-3DE9-4BD6-B79F-0BA969EC0694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$DCCC241C-C3E6-4506-9782-F5B96AE06FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8618a83d96f55e451e9b5903227d98b1eaf2781","datavalue":{"value":{"entity-type":"item","numeric-id":21088,"id":"Q21088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$9E8C7539-3033-498D-A584-72D5FA37D72D","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":"Q281291$B59E0460-0840-435C-B54C-B7E052811EFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3570561c1d7c0cb723f314410c0c404e0e59eea1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q281291$172683CA-7995-4D9C-A674-A769F0253228","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c77f579b4c5c88eb09dbfd04bca591d13c4038d9","datavalue":{"value":"W2019741404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$C6EB35BE-2DC8-4502-8997-D838FBD27219","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$A03E8032-9A9C-4C98-91F3-06FC1F1356FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba531ba8be704aa74784d8ae5afc2c8aa4d8508","datavalue":{"value":{"entity-type":"item","numeric-id":3656879,"id":"Q3656879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$245F7E9F-B43F-407F-B3CE-82BC464FD842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e310a6e4c7dd191248769828a27c22df80c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3636853,"id":"Q3636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$776D1158-06DD-4A72-B3DB-8CEEF4207B54","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":"Q281291$70A99E84-9325-4405-AB89-67A237DE081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a8a2682de4f7960cd401b364699d72bbe58a81","datavalue":{"value":{"entity-type":"item","numeric-id":3612010,"id":"Q3612010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281291$BC3F7404-5C0F-4D70-B714-BCD45CD38A2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23a9d4b6a635ee9332eb47e6a68ad086881ceb2d","datavalue":{"value":"10.1016/J.ENTCS.2014.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281291$16EB75CF-4C51-4E77-A8A3-78ACDF09417A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d196a423c1c58d6147a401a1988ae96a1280f0d4","datavalue":{"value":{"entity-type":"item","numeric-id":3612010,"id":"Q3612010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc005c79f185b4429fa5ee76845963b31d2019c","datavalue":{"value":{"amount":"+0.7792126536369324","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":"Q281291$85B7F097-003B-4585-9180-E424DE91AFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a638547747c688f6e0491ab50c5034d38c6ed1bb","datavalue":{"value":{"amount":"+0.7429295778274536","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":"Q281291$740460C5-A508-46F3-B23C-BCA569B047FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63d8c2fa664f1ecf3ad8d28335288d4fc9aa727","datavalue":{"value":{"entity-type":"item","numeric-id":3512505,"id":"Q3512505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a638547747c688f6e0491ab50c5034d38c6ed1bb","datavalue":{"value":{"amount":"+0.7429295778274536","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":"Q281291$E42DD5DB-1661-4111-B4ED-D714ECA6F96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed259c6f9d9332850fef864619140414f18612e4","datavalue":{"value":{"entity-type":"item","numeric-id":5170166,"id":"Q5170166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fa2036a2de4f5e9276763afaf452a75b955deb","datavalue":{"value":{"amount":"+0.7366877794265747","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":"Q281291$A3A5EC9F-A33C-4119-9C04-56D59344AD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f81fe236d1a71531a64b1214931681f0a73866e","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c88a893420762059751e3fe2e4c1700b2deaac","datavalue":{"value":{"amount":"+0.7316921353340149","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":"Q281291$5353A0D9-C008-47C8-B0C7-F1A883A43DB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract domain to infer symbolic ranges over nonnegative parameters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstract_domain_to_infer_symbolic_ranges_over_nonnegative_parameters"}}}}}