{"entities":{"Q2576947":{"pageid":2587690,"ns":120,"title":"Item:Q2576947","lastrevid":48620707,"modified":"2026-01-05T10:13:55Z","type":"item","id":"Q2576947","labels":{"en":{"language":"en","value":"A theory for execution-time derivation in real-time programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242230"}},"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":"Q2576947$C6CBF1F0-0D80-4BC9-AABC-6F407A6E4226","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c47574c13d21ba4aa6c965f83b3877d052ad499","datavalue":{"value":{"text":"A theory for execution-time derivation in real-time programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576947$AD1A9C51-52D6-470F-AC0B-03EAC2DFBA24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"956c644e15b8400c718016b6810a42a15a3bcf6f","datavalue":{"value":"1080.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576947$3B008AAF-A378-495C-BC8B-01EFB2ED4980","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$058F1B6D-FEAF-4301-B548-3258E7D510F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cf687ba42bee292af8a405799b19faf7dc96007","datavalue":{"value":{"time":"+2005-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576947$68698100-DF0C-47F0-B68E-755D621D4DC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d586dfbcb582016385c6b8894dd2aaea074f39c","datavalue":{"value":"https://eprints.qut.edu.au/3759/1/3759.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576947$C873E895-7563-4F31-8CA3-EA2445E6185C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576947$C97F0D0F-B1DB-41B8-BFA0-2EF491D28480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576947$4209F7CF-0380-44D1-A932-776DE3839842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a82acfc8d4a58ba3e440d7321efb11d980f77143","datavalue":{"value":"2242230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576947$6D6A9B46-5B3F-4165-9D65-C85E0461F1E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3b572bd892b2622817e6c73e89f06227fcfcbb","datavalue":{"value":"real-time programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576947$B04266B9-38C7-47D1-8A7B-1BA58EFC11E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d13caaa0a74f2b53cbc4e9b57ebb52314ee417","datavalue":{"value":"control-flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576947$48ABF47E-1DD8-47A5-B1D5-9CE98A4222CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa0dd4ea14e8cc40d1e76c49461d4d850b3619f","datavalue":{"value":"execution-time derivation and prediction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576947$D1C20F8A-1670-4241-9B48-88B49EA7F505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062967b77329cd9e041ee7c06dddf47c4c9c3cc2","datavalue":{"value":"predicate transformer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576947$B4192308-60F8-41BA-816A-344E86D3A100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576947$8FD19F1F-54F6-4014-B078-BF9487534E5D","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":"Q2576947$02280046-E2C1-4FFD-A71D-575617E6609C","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":"Q2576947$215FEBF1-5E48-457A-99E7-EFC9E42CC64E","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":"Q2576947$5D45136D-9A02-4CC2-9739-DA6387304DB9","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":"Q2576947$31A0EF2C-7368-475E-B479-AF111B6D464A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c2c42ade165b53c3f87c45cbc5217fd33b9f79e","datavalue":{"value":"W1980964984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576947$5D91548B-0D99-4B4A-8BED-0AB5B6E176E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$8BC14401-6B65-4B80-93F4-2E6938517579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$20F84316-31D2-457C-A9BD-30F9E67BE3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ec63bea625b06509e4372389dbe27861ae44d0","datavalue":{"value":{"entity-type":"item","numeric-id":4343983,"id":"Q4343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$1A544119-7C24-4A76-A53C-3098B2D8B9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e81d1de79c7f0ea3bb3df8983d0325382a574af","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$B65D3FF3-3B9A-4655-8386-5220D2E4F413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc8917fbfb5072716c7f09e964a955197ed00c7","datavalue":{"value":{"entity-type":"item","numeric-id":4343832,"id":"Q4343832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$E2681501-84DB-4811-B3CC-4EA1AFDED8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa3cd6802cd2daefa9fdd5f1e3ac29633dae76c","datavalue":{"value":{"entity-type":"item","numeric-id":4371833,"id":"Q4371833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$80C52D9B-EA79-4653-B114-5A5102536351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$0039BCFC-B500-49B3-8F98-3B24F398EC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$7FC73B43-E3B3-4F89-9E60-EB2A1CFF2FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db999236a68a7bef62106f07edaa52f5d04d29db","datavalue":{"value":{"entity-type":"item","numeric-id":4537143,"id":"Q4537143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$018CA8EA-6B6B-4B29-8810-9822692C0DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ed8bb2df5ea945413b29e47e9a8847c28198c2","datavalue":{"value":{"entity-type":"item","numeric-id":1418357,"id":"Q1418357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$FC1E3383-FB4A-48CB-AC1E-E58748CC77F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e878bd6a0632ad42598e4d835b7bc330834119e9","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$E17F2A73-1A65-4129-8279-C7420255EB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0810a8669ee6055d41850dddbbe1485791cc695a","datavalue":{"value":{"entity-type":"item","numeric-id":4537138,"id":"Q4537138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$D0801828-FAC3-4136-93A7-D7BBD3C3FFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a54537ec49179d2c6cf0cd2bffdb9e77c660dbb","datavalue":{"value":{"entity-type":"item","numeric-id":1603710,"id":"Q1603710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$42202BED-EACC-4E91-9CA1-906B40244835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5c17cace09b113a5a9aa2a68fb84beef3582ed","datavalue":{"value":{"entity-type":"item","numeric-id":706493,"id":"Q706493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$D1A807B1-BAAE-4922-8C70-15D9A6533EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$F0D43374-03FF-410E-A3FB-5B13C98941BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$4FA0AB78-0BAF-483F-A1E4-5BB2F8A4B415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995802fb631b246debe69a675d83853e924274ac","datavalue":{"value":{"entity-type":"item","numeric-id":918219,"id":"Q918219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576947$8DC28066-CAF2-4C25-8316-7FCDE684E937","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93e8e3ea43689ca22ff32fb20feb14708af72b18","datavalue":{"value":"10.1016/J.TCS.2005.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576947$B8678C31-1870-4EA0-A2EC-008E5E53ED23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d833978b33e8269a7e5aa2b8d7038887baef639","datavalue":{"value":{"entity-type":"item","numeric-id":706493,"id":"Q706493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abda482f89c013bbf00484b10777c34e1be64dd","datavalue":{"value":{"amount":"+0.7974027395248413","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":"Q2576947$D54A91DB-E3D0-4A04-9269-7AD81E1F27D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96bbbc9d70ef8f3d09981a377286029ae18977a","datavalue":{"value":{"entity-type":"item","numeric-id":4537143,"id":"Q4537143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901b242b75bd774fbb23d99fce0bbe050a24cbdc","datavalue":{"value":{"amount":"+0.7677409648895264","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":"Q2576947$8D322E7B-0951-4623-BCFC-F9B53806E48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2e886a8e81f37cefd0585c58652d99bb490acf","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3786858116c6b1dceaf508d5a18b6d9dd6eb582b","datavalue":{"value":{"amount":"+0.763968825340271","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":"Q2576947$4210DC36-D96F-41AC-88F2-256F77DE3C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916b81819218c9ac26e4af39eff32bd103fae445","datavalue":{"value":{"entity-type":"item","numeric-id":5897456,"id":"Q5897456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3786858116c6b1dceaf508d5a18b6d9dd6eb582b","datavalue":{"value":{"amount":"+0.763968825340271","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":"Q2576947$FA0C8089-3981-42C3-AAD9-570A0395A8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dd76e0879cc8ae2814ab56d990e5a9ef997b4c","datavalue":{"value":{"entity-type":"item","numeric-id":3045250,"id":"Q3045250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9a5f6a44bb8907530bee0b3019911f4ef4b19e","datavalue":{"value":{"amount":"+0.7583308219909668","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":"Q2576947$FEA56758-7985-4890-8E4C-206DFE719C73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576947"}}}}}