{"entities":{"Q706493":{"pageid":708342,"ns":120,"title":"Item:Q706493","lastrevid":63677325,"modified":"2026-04-11T14:48:04Z","type":"item","id":"Q706493","labels":{"en":{"language":"en","value":"Linear approximation of execution-time constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132389"}},"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":"Q706493$9C423BE4-3091-4A06-8B8D-880F57E13025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af78cc0449afa4be6c718495f8bafd2030fc931c","datavalue":{"value":{"text":"Linear approximation of execution-time constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706493$2AE5EDFC-F499-4239-9B94-6BF0A0AEAF56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc9463a0ed26ee15e9b7f6a81324a366fccceb52","datavalue":{"value":"1093.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706493$0E54E401-230A-4BA0-9519-2762BCF55736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab712635b884640daa2f5ebe5a1b35d9393debbe","datavalue":{"value":{"entity-type":"item","numeric-id":706491,"id":"Q706491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706493$645FFD23-1CE9-464E-B3C3-8101FB38C80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b7876d568df50ce3b035bc48ad897cc06d7843d","datavalue":{"value":{"entity-type":"item","numeric-id":706492,"id":"Q706492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706493$15833E91-AE73-4A7B-A41A-7B1A430E3122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706493$EC4E16A0-4354-45DC-A2FE-610031354BEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706493$B5E8918A-C0F7-43B2-BEC1-E820E45EB91D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"831ff43a4969733a7698b320c2210720f63950ea","datavalue":{"value":{"time":"+2005-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q706493$75F09B78-B2EC-4983-B506-66DB3AB5DD5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"250d1b4880e9126b4c37a6be7a2c5c99d6d5dec9","datavalue":{"value":"https://espace.library.uq.edu.au/view/UQ:10540/svrc_02_31.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q706493$4E3DF367-0538-46B6-AD2B-198B6EF78DD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706493$51C93053-4DB0-4DEE-A349-BE0AF6E2D8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706493$7797C457-21A9-4A59-A0C5-50D7E70DB9D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c4a609943860223b490875907ef08ca459d222","datavalue":{"value":"2132389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706493$09FF3EBA-80E7-49C3-9ADE-76750C0718B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b608bd5b0bab9e83bbb3210952746ab1a899ae1","datavalue":{"value":"Automatic constraint determination","type":"string"},"datatype":"string"},"type":"statement","id":"Q706493$4BE52663-1BCC-4BA0-945B-6E9E61A26E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd1c78b46c2456f55f080924c5d27251a22a7c5","datavalue":{"value":"Control-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q706493$3C3EA937-EC5C-4EEF-ABA8-B0AC3C00188A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"055ecdc6bcf7b166b981286734f90a42ee400ff9","datavalue":{"value":"Real-time program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q706493$55DEC6DD-BFD7-46E7-B8FF-474FCEFC807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b0a34a5c80d56fa1351d9e34f6c3c3425acf74","datavalue":{"value":"Timing prediction","type":"string"},"datatype":"string"},"type":"statement","id":"Q706493$124D4BAC-29D6-47BC-9BBC-760FADFEBB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db7759ba14ad3f6c03688bf35e56f14ea69367e4","datavalue":{"value":"Worst-case and best-case execution times","type":"string"},"datatype":"string"},"type":"statement","id":"Q706493$B7627629-5F05-4757-8688-CD28589B5CCB","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":"Q706493$C68145DF-A1DA-4DD5-B04B-3B93867230A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44380b6129f07012b9b048e8804954bdee27bfb0","datavalue":{"value":"W1970456879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706493$4EC0A9F9-E942-4808-8DB0-364713C8E8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a742fca098ae9c9d1d9b45928c448ffdfcc028e","datavalue":{"value":"10.1007/S00165-003-0019-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706493$47CBBACF-7289-455E-A080-3281411A0681","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80e4278d5692c20ce45d28d9b1204a46bc0f7a2","datavalue":{"value":{"entity-type":"item","numeric-id":1882079,"id":"Q1882079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be22ddf3ef32320ad1c85bfa8a5935806490301","datavalue":{"value":{"amount":"+0.89498925","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":"Q706493$AA5EC56A-CD0D-4219-9F5E-E17CB2FF7518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54367ab2174754878f5d59fb520cbdce1444fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3976779,"id":"Q3976779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1abc08f2e7622e88bcc21ea823c6854c9c6e356","datavalue":{"value":{"amount":"+0.8868774","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":"Q706493$E65BB1B6-1E62-426E-AC34-1BFBA0F4CCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73080160cc61c11fe9799d9c955055f3d1bf4c00","datavalue":{"value":{"entity-type":"item","numeric-id":1962975,"id":"Q1962975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1abc08f2e7622e88bcc21ea823c6854c9c6e356","datavalue":{"value":{"amount":"+0.8868774","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":"Q706493$1132C03E-E199-481A-8EED-9C02C8C0185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed7793832195d31e98b987ececdf3de7418ca23","datavalue":{"value":{"entity-type":"item","numeric-id":5375403,"id":"Q5375403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefbecb11628e1313b89df10d65a77f1c44b8632","datavalue":{"value":{"amount":"+0.8826543","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":"Q706493$D3C2E344-2FC8-4ED9-BBC8-AA668990AED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4548c63905ca5d2fe3dba09b4dbb915b11ce8a46","datavalue":{"value":{"entity-type":"item","numeric-id":3753000,"id":"Q3753000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4417dcc79075ecf68f98b6a7fd437cce527f261c","datavalue":{"value":{"amount":"+0.8814624","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":"Q706493$7AC2BCC2-77C5-4115-A0E9-E85504EF68F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518f6f6ac9a0d8f6f51730f6856db2ac6e7db17a","datavalue":{"value":{"entity-type":"item","numeric-id":676776,"id":"Q676776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d749dcfa1071abb51a8d07c4ac77a0f3fbd18a6c","datavalue":{"value":{"amount":"+0.87422645","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":"Q706493$5CA76EC3-4027-46F2-9D48-4B37D4E00B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac1a1d7189c42716dae6f5344772b220ab65edd","datavalue":{"value":{"entity-type":"item","numeric-id":797271,"id":"Q797271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7963c72bb19811fabd118c90ec3d6dd0eaf217a","datavalue":{"value":{"amount":"+0.8693416","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":"Q706493$416CE354-ADBE-4AC7-9262-F332AEB7D787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266aa60dda3f7903a14184b7f6de7573beeef51b","datavalue":{"value":{"entity-type":"item","numeric-id":5346691,"id":"Q5346691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787d0d43b903daff7d82f0439cd7c5d9f3d1a499","datavalue":{"value":{"amount":"+0.8691186","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":"Q706493$02EB2F40-12E7-4192-893D-F67800CFDA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ef3068436f312ef605ed097f3b175713c58299","datavalue":{"value":{"entity-type":"item","numeric-id":4527196,"id":"Q4527196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54feaa5f8d7bf972fa102e22ddf9e022a01d2ba7","datavalue":{"value":{"amount":"+0.8671201","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":"Q706493$96E4DD56-7E4A-48CC-BFAD-EC9BB1D83CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec52a90f1c9747ae7f539e28cfb27ad696dd511","datavalue":{"value":{"entity-type":"item","numeric-id":323163,"id":"Q323163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dad506480710746d17a763b0d92bb650288881e","datavalue":{"value":{"amount":"+0.86680526","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":"Q706493$BD832638-F9CA-4928-9736-F3680937B8C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear approximation of execution-time constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_approximation_of_execution-time_constraints"}}}}}