{"entities":{"Q2279117":{"pageid":2289860,"ns":120,"title":"Item:Q2279117","lastrevid":43815798,"modified":"2025-11-14T17:57:51Z","type":"item","id":"Q2279117","labels":{"en":{"language":"en","value":"Time4sys2imi: a tool to formalize real-time system models under uncertainty"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142672"}},"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":"Q2279117$69454D48-D84E-490A-AB46-78130D15AC52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e7a6699727b503de27a9049d2c159f49c11473","datavalue":{"value":{"text":"Time4sys2imi: a tool to formalize real-time system models under uncertainty","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279117$6E91F122-C41B-4DC7-9D3C-05B209F2BEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"924444c9a3fed874786c8a7886810a4d70f48da9","datavalue":{"value":"10.1007/978-3-030-32505-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279117$325CA948-65DE-448A-9B91-044477B0F8C8","rank":"normal"}],"P16":[{"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":"Q2279117$42723457-EB52-43E7-84F0-4CB41251846A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"283a0d893b1b245318a0fc3d87aa8c3766942c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2095346,"id":"Q2095346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279117$3EDED12A-4077-4754-BC15-25F0E5E6B3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4b670b1aa8da9ade953c0e96339f99ea08a843a","datavalue":{"value":{"entity-type":"item","numeric-id":2279116,"id":"Q2279116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279117$2E510B38-44C3-4D42-9ECA-6DB56773044B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279117$15131AD0-A548-45A3-9440-2951D966A855","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81364190780e90f801943f2f69b5fe9f9032dd71","datavalue":{"value":"https://arxiv.org/abs/1907.13447","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279117$C6CC04E1-E764-42B5-B71C-22373E95D9F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279117$5B32984C-2F10-4551-BA17-E5062ED73F33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"871ff764b545f556d401594ce8bd28140015e35b","datavalue":{"value":"7142672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279117$4C0F433F-24E2-4283-BF9F-3A1F3617BF79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279117$B9BE95CC-9362-4BA2-85B1-A89BC35AF273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279117$249D72CE-C612-47B5-86F8-FD1FAD516D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279117$24EFA00A-1A59-465D-9CA0-10D1DA380558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279117$5F8F2F68-802E-4097-82BA-537CA4E4927B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279117$CF45FA0D-DE58-4A92-B47F-E243E3103EC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88111430541cf0629caf7682434311ce30f87fd3","datavalue":{"value":{"entity-type":"item","numeric-id":16926,"id":"Q16926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279117$1AB69B71-E78B-4236-AFE2-AB70ECE9C7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279117$562C475D-70DD-4CCF-95DA-0213C8EF4C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279117$36DE2E44-EFF0-45A0-9F08-F5FE76DFBB36","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":"Q2279117$3668F701-7D87-48F3-B008-D52DA1942541","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66349a6891d961a1f70b4eda7f58fffa9379529c","datavalue":{"value":"W2966312217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279117$983896EE-0759-42C2-B462-877D0C697F5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2279117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2279117"}}}}}