{"entities":{"Q3519496":{"pageid":5549400,"ns":120,"title":"Item:Q3519496","lastrevid":49000192,"modified":"2026-01-06T11:13:49Z","type":"item","id":"Q3519496","labels":{"en":{"language":"en","value":"On Expressiveness and Complexity in Real-Time Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313318"}},"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":"Q3519496$3317F2E4-D5D3-45C3-A673-199FB5C1A0C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccd9ccb5dbb3b22d5d28d87b75f91604ff5753e6","datavalue":{"value":{"text":"On Expressiveness and Complexity in Real-Time Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3519496$D8620CEB-F2E5-4A0C-AB07-EF7D11F183DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19499fb7e541fa16c5182825da8297685b3a7631","datavalue":{"value":"1155.68426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519496$E242A2B5-4380-4F2C-9734-612696D298CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1b141a4b42bc717755c9a38acc78cd4934f9021","datavalue":{"value":"10.1007/978-3-540-70583-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519496$DBB746FC-EDEB-41C0-A1CE-4E6F7A6596A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519496$2B8BA36C-2F1B-49EB-92CB-FA75099352BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519496$75C99E88-9455-4719-860F-86E32D192133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519496$B5ED6C2C-1DC9-4D69-80AC-C75B671027FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519496$EE1575B8-D38A-47FC-8BAB-2597013EBD4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519496$1F415106-FFD9-422C-8A19-43663CF734E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368aedbbcdb07b61d4f2acae84ab7ae3e3751f97","datavalue":{"value":{"time":"+2008-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3519496$5BEF3ADF-EBF0-4E19-80FF-3BED3383F209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519496$A86C187C-92BD-416D-BBEE-707FE0C3F1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519496$98752C28-DE8A-404B-A74D-56B91E084A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f03e97e0332a872a2a510df67d5e184936233ba","datavalue":{"value":"5313318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519496$9562144B-CA5A-4DA2-A530-8D059F2B5D82","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":"Q3519496$FCC08B1A-10ED-4F7A-9A1C-BDF4D26E6D1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18529774cfe7e37198c03ecb8b33065a6ff83fbc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70583-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3519496$324A93F4-D68B-44DE-AFDF-B1A3DDB4065E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af6d4f3676dfd4827f2afd86af611cdaf5acfc71","datavalue":{"value":"W1542921761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519496$B4B098DA-79C1-4DD8-9821-9758A1CA9E79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bda796dc40810224edc3218976bfb8d796f598","datavalue":{"value":{"amount":"+0.94019616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$93876F69-C60C-490C-8C8D-62663313F030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d180377698a92e9ad209e27f781223ba6a09f7e","datavalue":{"value":{"entity-type":"item","numeric-id":2709812,"id":"Q2709812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3044e27519b71657e7c2831bd925dcc436363621","datavalue":{"value":{"amount":"+0.93523604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$77297DBC-3AE8-4371-ACB0-D04943F5394B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f0bad3ed1875e03734331a26793ab643998613","datavalue":{"value":{"amount":"+0.9289276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$EC58AA04-BC00-454E-BEE2-5211829DC46D","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":"82104487c14541577864fb04b84f6943d1b7ba38","datavalue":{"value":{"amount":"+0.9205205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$8160D59C-B73F-4064-AE56-0199BA97EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9d06cf2d8edff08f922c79b6a1fb638ac93b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2026779,"id":"Q2026779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824756d2ff52614e6c01b4c0df05837a6c3292e6","datavalue":{"value":{"amount":"+0.91986233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$8478571B-73FC-4F2C-86F8-607E9D35AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01968e468db8d18a86f0a3a202e20f3613f0fb98","datavalue":{"value":{"entity-type":"item","numeric-id":1882792,"id":"Q1882792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408d841f019498ff38a758afc1493b22e922ae8c","datavalue":{"value":{"amount":"+0.9183625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$72BE16E5-2B31-48B1-A67E-BDBD7DBF3A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379abc75128a4109f5e25829fcd644d4f72e44d0","datavalue":{"value":{"entity-type":"item","numeric-id":3543301,"id":"Q3543301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa0bcea32a173d6858960fef568859eb434d11f","datavalue":{"value":{"amount":"+0.91725564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$DF6C8E3A-F0F9-4485-AD74-6649C81EDC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45aa8de96e11cb0f7b1f5532a500f0f26e2afcc","datavalue":{"value":{"entity-type":"item","numeric-id":2842578,"id":"Q2842578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ac79d06e5524d2ed395f774785a8fe6c764b6a","datavalue":{"value":{"amount":"+0.9170585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$5C2DF881-07D2-4BBD-9E96-784DDD5B4F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d493e274da9100ce86bb5b7d0f63352b7e13c52","datavalue":{"value":{"entity-type":"item","numeric-id":6162102,"id":"Q6162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dfcf1597884b6975139424fb1968e0cec504a1","datavalue":{"value":{"amount":"+0.9135066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3519496$11A0044A-640C-4B29-B3E3-02B0D2E6FE33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3519496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3519496"}}}}}