{"entities":{"Q4907856":{"pageid":6937435,"ns":120,"title":"Item:Q4907856","lastrevid":51657269,"modified":"2026-01-19T07:22:09Z","type":"item","id":"Q4907856","labels":{"en":{"language":"en","value":"An introduction to timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138796"}},"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":"Q4907856$4690BA1A-206C-412F-80A5-6373CC8E0D25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a1f91f83c867c71e7c82d8df90429f9d6fe1fc5","datavalue":{"value":{"text":"An Introduction to Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907856$AA933E58-2752-413E-ABCA-AC378789C8C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15990a84ff36778b925b842bbac7a63d13282389","datavalue":{"value":"1256.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907856$A32166F3-9EC0-4D60-98F0-32DCE9042AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b002865a17bb36e1d0c7d87a5fd0bdfce0b7656f","datavalue":{"value":"10.1142/9789814271059_0004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907856$62DD73D4-B8E5-4CAE-8078-68E2702E33BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907856$D5BD9112-22B5-4AA9-8D2D-2A26FABB0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ce08eb236b40d70cd05caaa34a0a35b41ab01e7","datavalue":{"value":{"entity-type":"item","numeric-id":3543290,"id":"Q3543290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907856$7CEBD15F-D0EB-4DAD-B0E6-647FAC8E86EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907856$99610D06-F6FA-44EE-B9B0-C9E98D91F8EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4907856$90CEF81C-0E65-4078-A3CB-32B6A4A6271D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907856$B03DC84D-6568-4470-B53F-0A49BA11E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907856$571D4A30-E9E4-4E3D-B1D5-AF0B34001AD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd2e7f1b49cb8b701851fd1983ba8a7b3efe2d1b","datavalue":{"value":"6138796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907856$ED1113BD-F38B-4DC0-ABF4-342DC1CD90C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907856$5E883C07-4052-47DE-9E63-04FA9F91A01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907856$B776BE14-3DF3-4F7E-A35B-81A778E2C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907856$0963971B-F89B-4931-92D9-65CE0E1C39F7","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":"Q4907856$4C3CC1B6-65EC-4174-AB65-66CE02F106F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f440470391a0d5a917d9b2de3a7c0e239fa8149","datavalue":{"value":"https://doi.org/10.1142/9789814271059_0004","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907856$3A6A5D56-0F73-45E0-8741-4F782C6F3FF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea6a4f6ed01c9d21232d99fddf2792097e05000c","datavalue":{"value":"W4213049364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907856$5D8FE759-4B86-4B0A-AA03-998BB621C9CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2784d7ee90e9f8ed9f64d5888c8eff3c2df088bd","datavalue":{"value":{"amount":"+0.8267050981521606","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":"Q4907856$45374E7E-D97E-4F1E-A756-A5EDA9C445A9","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":"8e8f4d55b2e270b5f80726497743cddb7f48bc24","datavalue":{"value":{"amount":"+0.8216428756713867","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":"Q4907856$C0C1B57A-5C3A-450E-85BE-FA7440BDF804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683e2d18d36ecf93f4588c1e5b6a135b47cdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":5418249,"id":"Q5418249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baf54a33f4e00365d603d0ea12e1b34bd10ccb3","datavalue":{"value":{"amount":"+0.8212839961051941","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":"Q4907856$75E04B87-2174-45A5-A922-B7B5B69C94AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394607c627e8d5c563535cd2401ef2c3e5b6df3a","datavalue":{"value":{"amount":"+0.8201980590820312","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":"Q4907856$D1C42BE9-E5D1-43FD-A547-C55F9DFA7376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a877617644ec0edc898dbd569aa4379b46f2425f","datavalue":{"value":{"amount":"+0.816774308681488","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":"Q4907856$8E74F116-AE61-406D-BD3A-597813C64761","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4907856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4907856"}}}}}