{"entities":{"Q2938150":{"pageid":2948870,"ns":120,"title":"Item:Q2938150","lastrevid":85239194,"modified":"2026-06-03T06:23:34Z","type":"item","id":"Q2938150","labels":{"en":{"language":"en","value":"On clock-aware LTL properties of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385963"}},"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":"Q2938150$1B178005-0D42-4C14-93B7-DD078193CF9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4650368c08dddaa840184357ba6815ddc48446a","datavalue":{"value":{"text":"On Clock-Aware LTL Properties of Timed\u00a0Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938150$F2AD6792-92B3-43E3-B75D-D0D4C76567C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1513431b237ccdeb9a47357e7663a8ee441ab718","datavalue":{"value":"1432.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$434B2D19-E26E-48AD-9ED0-B63DD4AE5EFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03595beda0e545895e40f375590fdb8b4a381a2e","datavalue":{"value":"10.1007/978-3-319-10882-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$9C9C245D-616D-48EE-A4B0-369ADADA13D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c6293d7fa65217967b37fb55d73506a8dcfe1a","datavalue":{"value":{"entity-type":"item","numeric-id":1648650,"id":"Q1648650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938150$1E041C93-5124-4AB5-AE39-13EC090D6B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938150$BF1D960F-690D-4524-A7F4-21962440CD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d2a3376475aba688d6071084ab259b79cb778","datavalue":{"value":{"entity-type":"item","numeric-id":2938149,"id":"Q2938149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938150$A93B7DA4-44D1-4C9F-ABF7-B9E5728C9007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938150$386CFABA-2AE7-476A-A166-9ADF6A782830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938150$AFB8E262-9A0D-4321-9C34-680A9EE111DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c440b8d1d21e884d119c2788cfaf3e8b7186450a","datavalue":{"value":{"entity-type":"item","numeric-id":2938145,"id":"Q2938145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938150$2CBDC719-E651-415D-98E3-3F51DEA7126C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938150$2D1FE70F-4BCC-4EEC-BB67-F977F569C8D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$7EA3F49A-FEE5-49A5-89AB-5E64B582FA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$80D5D45D-7BAB-4EC9-82BB-334BD8A5CCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$C5BDB3E8-8F69-4C52-ACF9-0D0C048877D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aab9697b02cb84171548a7ce25ad40b100519117","datavalue":{"value":"6385963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$105DF29D-873D-4266-B6B4-52F4DD427694","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938150$DBAC5E02-5C63-4149-90F9-B5CAE38F00DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938150$3B9789B4-B2A2-44C0-957A-93C8E69C33A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d580bb5d8eef455e6efcb20fa967251133a91603","datavalue":{"value":"automata-based model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938150$05934D94-C157-4830-ADFC-D0590B712070","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":"Q2938150$DB78BD00-C240-4C32-8A1D-648A5842AD79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cec7e1ccc7b5e423840ab0a3b833fafe1c555a96","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10882-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938150$11F422EE-A750-46FF-9FAE-44177815D5B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c1650248f04442646c6ad8183be883f7b00bf30","datavalue":{"value":"W110211537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938150$AA5E8CFE-7A73-4703-8E84-7562011F8C8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043b736c9a0a8be3df6caa76e0b27711366befb5","datavalue":{"value":{"entity-type":"item","numeric-id":1648651,"id":"Q1648651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4540941ae7a0a8e59204234bdd78af2ddc040b11","datavalue":{"value":{"amount":"+0.7971583008766174","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":"Q2938150$DC762E5C-5F2F-481E-86A7-32DB3FC0EB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fffe8d3772234db5864533b511892413661d2","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03de127cae68da2009de96514faad79dc9fe18e","datavalue":{"value":{"amount":"+0.7956233024597168","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":"Q2938150$86D7AACC-B13B-4D15-941A-EF64D25D67C8","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":"7dff630a12958a3f0d4b84bceb19155a8b2f3490","datavalue":{"value":{"amount":"+0.7880168557167053","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":"Q2938150$3CE245B2-B27E-48A4-8D02-236D8A398AAF","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":"fe1c1129b6cdc804e64b10b4841484e3ee6f878b","datavalue":{"value":{"amount":"+0.7842047214508057","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":"Q2938150$2EFA6765-31AD-4FEF-867B-97DF5CB024A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb779ccc963de8068a88efc75cd4415f48b3bf68","datavalue":{"value":{"entity-type":"item","numeric-id":5121277,"id":"Q5121277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932d1b69ca9029a72b820d7265017c85338e6620","datavalue":{"value":{"amount":"+0.7829529643058777","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":"Q2938150$F2E691BF-0CF6-49CC-B006-4359A40D5897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On clock-aware LTL properties of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_clock-aware_LTL_properties_of_timed_automata"}}}}}