{"entities":{"Q1856194":{"pageid":1866936,"ns":120,"title":"Item:Q1856194","lastrevid":48040906,"modified":"2026-01-03T11:08:52Z","type":"item","id":"Q1856194","labels":{"en":{"language":"en","value":"Kronos: A verification tool for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862298"}},"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":"Q1856194$58E95322-793A-4C0A-A52D-0CEA220ABD51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c8d037394f521a607cb0c5f8a7c0eb2214a922a","datavalue":{"value":{"text":"Kronos: A verification tool for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856194$5D8C7F83-5161-4D26-8B79-E9ED3B3D3651","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2e8818f265c23371f58e4127b3bc388efdbdab2","datavalue":{"value":"1060.68606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856194$DFC2DFEC-2C39-4229-8DC5-88F3D2F6C98D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856194$1758F398-C040-4C6D-9109-78015F33F1EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1742a10e6409607193ef806e8f573a0e208ec887","datavalue":{"value":{"time":"+1997-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856194$4A3694D7-70EF-4628-9B81-E84CCE854C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856194$3B95BE38-29FE-4FBB-A91E-F8D2CD3160B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd566a696ecb76a0a9a90028fb617d32583cf122","datavalue":{"value":"1862298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856194$DF603F04-E52C-4CBE-97A0-65BB3602F369","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856194$664D9355-E58E-416A-BF14-640BABFADB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856194$7084D4C9-8CD4-4F0C-BB42-4CCF55293138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb89efb8713f1cbd8a785d4722d904dc76930680","datavalue":{"value":"timed temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856194$7220208B-10F3-40BE-BB8C-5073D9D96753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856194$DCEC900F-8609-4673-A14B-D5F2C5F48DE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb56f0c75c4cf32c2f76e3e49feb34da9c9e05a2","datavalue":{"value":{"entity-type":"item","numeric-id":169911,"id":"Q169911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856194$82A0818A-E704-4A62-86C7-00A4C5664FFA","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":"Q1856194$5E41F2D5-B71C-4E4D-AE8D-33BC71F3E9C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b9af8ea471f4947f2263b87363a21e7e552d4f2","datavalue":{"value":"https://doi.org/10.1007/s100090050009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856194$19B85DA8-3FB3-4A1C-A2D2-16269C995749","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c15b734e0175002c27e9f29a829178f1bbceed7","datavalue":{"value":"W2023499821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856194$F0BCDD20-C9F9-48BD-B8DF-3E4E0B3B211B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f9fadd5698e57296424ea76bf79d2e87656d19f","datavalue":{"value":"10.1007/S100090050009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856194$4D1823B1-DED8-4AEF-89A2-07DA1D71A3B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc452a87a25e174253c7287851cab47516a32457","datavalue":{"value":{"entity-type":"item","numeric-id":1395689,"id":"Q1395689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e15d3da119f7eb77a413d7afee718b9975df9f","datavalue":{"value":{"amount":"+0.7692959308624268","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":"Q1856194$5BB4C2AB-043A-41CC-8359-47C8F97DC0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d827d82ea15ecd9fe68a31e3576dee0375c87c","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0ddc596659bd6869aeba95aaad249ff2b5df89","datavalue":{"value":{"amount":"+0.7687168121337891","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":"Q1856194$AB4D7285-2FCA-4085-ABE4-878D65445626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e371fb061af056b3ef885380b90c31795d31fd16","datavalue":{"value":{"entity-type":"item","numeric-id":4551173,"id":"Q4551173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0a0e9eb398ad7c05aec5e936b7ba420c8a83b8","datavalue":{"value":{"amount":"+0.766363799571991","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":"Q1856194$07BE75B0-592F-4761-95EE-3802D75D8F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b164d3be6f2b3a74db4136f223dbc5f7a9eed67f","datavalue":{"value":{"entity-type":"item","numeric-id":2763538,"id":"Q2763538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0a0e9eb398ad7c05aec5e936b7ba420c8a83b8","datavalue":{"value":{"amount":"+0.766363799571991","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":"Q1856194$214223C8-AE96-4995-B6C6-1593F604068F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142ffc72771160ced2d15c63ba7e358d55137da5","datavalue":{"value":{"amount":"+0.7636153697967529","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":"Q1856194$210896B2-87B2-4469-859E-B0B8A13A847B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1856194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1856194"}}}}}