{"entities":{"Q4994965":{"pageid":7024542,"ns":120,"title":"Item:Q4994965","lastrevid":58387539,"modified":"2026-04-05T00:13:00Z","type":"item","id":"Q4994965","labels":{"en":{"language":"en","value":"Toward parametric timed interfaces for real-time components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362029"}},"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":"Q4994965$124CA07D-E82B-499A-A88F-7E3DFA89569A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10dc80807748a5c42f43edfc03e936c743f95d7b","datavalue":{"value":"1464.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994965$79F953A1-061A-4F61-B770-C823F8EEA19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"052d5276459eefe15b19cb6c1a00e77de5552dd6","datavalue":{"value":{"entity-type":"item","numeric-id":283176,"id":"Q283176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994965$E84CF950-E4CA-47F4-AAC5-57919AC388CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"880ffaf2d91752dae99e6b927613c9ef8b557756","datavalue":{"value":{"entity-type":"item","numeric-id":258441,"id":"Q258441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994965$4D93BF83-4490-488B-B976-259511BA5AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994965$A5358A8C-E8BC-4E2E-A8D2-48472A3CA0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994965$98D97477-F01C-4615-AB98-962891855BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e4cb1bbf72a56d7645dc9bfb4e1a2c12071055","datavalue":{"value":{"time":"+2021-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994965$2020C678-4CF4-4431-9DEF-BD0C184CB98F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8860b5f210b6d12e3aab7a7f08e86e4777f06974","datavalue":{"value":"https://arxiv.org/abs/1404.0088","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994965$2EA91FC3-15AC-4893-B1D5-1F34D541FE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfc8b88e38c02edd5742ed5dace0902397d02fc6","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SynCoP2014.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994965$451B8656-C846-45AA-B1D6-3395BA59BAB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994965$1210225C-8699-42EB-A229-43DB14BD465A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"224ae21b3cde8c6ed24dd1c2af93eaf87d96f753","datavalue":{"value":"7362029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994965$45F2E758-066C-4A13-8A79-04FD82AB1A42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ba9523fe1389a861721da64a930cb34b56a218","datavalue":{"value":"real-time scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994965$514E84BE-6F12-4A45-8C40-8B198DF196BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"505e22bb7a054620975a9105fd600f16d16f0142","datavalue":{"value":"parametric schedulability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994965$4B2B4FDF-0A61-4DFB-A79F-BC47A67682D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4994965$86379393-E028-44EC-B4B5-137547235ED0","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":"Q4994965$DC2BFAC8-7108-4354-932A-055373C2509F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870cbd709b027ebcc12a44563b943a1a2e59ab7","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39488526199b3c2cdd07a373c5b06d977482588","datavalue":{"value":{"amount":"+0.7855258584022522","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":"Q4994965$7E7BB1F7-426B-429A-9666-1DFAF6032BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af34036381e799826dd0057fe54e0ada88900f1","datavalue":{"value":{"entity-type":"item","numeric-id":5151031,"id":"Q5151031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883b5bf1fa30b6866cbefe34b4e621d29ca29116","datavalue":{"value":{"amount":"+0.7726423740386963","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":"Q4994965$983A90A5-03E8-4470-9664-424C90C3A302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c2babae05e3e43c4741fb3cb8a96a4c09f1d72","datavalue":{"value":{"entity-type":"item","numeric-id":4439564,"id":"Q4439564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91655d2856491bd0d7d283be698b419eaf85b29f","datavalue":{"value":{"amount":"+0.766234815120697","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":"Q4994965$5B701FDF-9195-42D3-A0F1-9BEEADEBD4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5985a3cfeed7ddbfb469e7a32306170f15c2a31","datavalue":{"value":{"entity-type":"item","numeric-id":4778706,"id":"Q4778706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0b91d081bbf2b2d75f482fee9a192e042becb3","datavalue":{"value":{"amount":"+0.7626336216926575","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":"Q4994965$868748CF-F243-408F-9DFA-69A631E94326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdce073c4f6bf73ea098334f8fd024e525339d","datavalue":{"value":{"entity-type":"item","numeric-id":3564026,"id":"Q3564026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b866062c1dc3d1fab6d5bd64fe6c0b9da5e2b3","datavalue":{"value":{"amount":"+0.7496351003646851","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":"Q4994965$8D8204ED-381D-4B62-A2D4-43677194B7AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994965"}}}}}