{"entities":{"Q3525160":{"pageid":5555064,"ns":120,"title":"Item:Q3525160","lastrevid":50453453,"modified":"2026-01-14T02:30:17Z","type":"item","id":"Q3525160","labels":{"en":{"language":"en","value":"Spatio-temporal Model Checking for Mobile Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342688"}},"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":"Q3525160$C2EF1BB2-424D-4079-B6DD-DF7E4629D27C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed1215387421a250cb433d2d7ff8a9c4aa177dca","datavalue":{"value":{"text":"Spatio-temporal Model Checking for Mobile Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525160$5572806C-9926-4C0F-8AD6-0861F5340A8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ae691c47ae7df1dc2c81fc6b9cd2e91e16711ea","datavalue":{"value":"1168.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525160$C276A898-EDED-4DDC-97EF-7A1739B19B04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12ec25ca489eb48048cd10633abbe212199510f8","datavalue":{"value":"10.1007/11921240_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525160$AF278753-971F-4C1F-90DC-1E93832DE258","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525160$22F951FE-2E76-422D-82C3-4A805FFF779F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525160$CD243968-E5BB-48E4-AD20-9AE8BF6D9381","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525160$F39E1807-9C92-4441-8A59-042E38BC4F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eded5e0725adde771c946117fecf7f46a284b0b","datavalue":{"value":"5342688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525160$34FC7AF3-D0B5-458C-BF62-78242452D5CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525160$76F72802-ADB8-478F-9F41-94ADACDF5A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525160$B031C4A7-74FE-42F1-9F98-5B96B22B4872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625c57ff732728ea6d2a60df9656e6c5c470c086","datavalue":{"value":"mobile systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525160$C6741E2D-A079-40FC-B686-D35F716DDA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525160$92877EAC-C54E-45F5-A608-58F780ED78F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525160$E08DED23-2021-485B-AE0A-87776534F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d74ddccbeac3886fe95dddaf952da68f78d39c6","datavalue":{"value":"Duration Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525160$C86EF9C7-CA15-4DC5-BD8F-53F120FE265E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525160$2611D714-00EB-401C-9F92-4F5D7F391BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525160$A3F26030-49AA-4011-8FDA-FCA68522B59D","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":"Q3525160$01E9FD62-2071-47D7-B1DA-A6EEF3D65C22","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":"Q3525160$B9D47E60-B6AB-4667-8F1C-313CF0FFA2E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60b5591d35d3938faa0acadd0faf3ae6b8d1dbc9","datavalue":{"value":"https://doi.org/10.1007/11921240_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525160$84A61358-E23B-4808-B84F-4D65D05025A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"034ff49c80f329930e6f94e534d434491089a4a3","datavalue":{"value":"W1592285529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525160$D8D03635-8535-4D29-8B73-ABD10CBAFEFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f313a8b58c65acf05a41195b0640ea3d2fe00f79","datavalue":{"value":{"entity-type":"item","numeric-id":3542140,"id":"Q3542140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8807e55b2bc30c0377ce3e5454cca7a0c577d3","datavalue":{"value":{"amount":"+0.9022775888442992","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":"Q3525160$D0BA9613-176A-44B7-92AC-8E927C4A2858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4145d750169450c94df86bbddc880eda61db8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5709996,"id":"Q5709996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9365e253da01dbe25904347c70108d33a04e0348","datavalue":{"value":{"amount":"+0.8543729782104492","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":"Q3525160$D23B3A51-3963-4FA2-AB38-9546621FACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c55f5788b7bba3c5c76c6fdc172ec51d0e08cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed5c23c7c076545d2c07ed63792adb062cea8b1","datavalue":{"value":{"amount":"+0.8150620460510254","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":"Q3525160$A4C7CA5F-203E-4857-AB75-D929163CB48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83d06686eaf3ee80356520481d837a18ace594f","datavalue":{"value":{"entity-type":"item","numeric-id":4417820,"id":"Q4417820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89adcd56b2f351f66534ae7adb68751cf3447c38","datavalue":{"value":{"amount":"+0.7739748954772949","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":"Q3525160$CECBB09A-BB51-4C9F-977F-25976EEA3CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792d46bae06adf410cac7ca0835bf7600cc9e4c3","datavalue":{"value":{"entity-type":"item","numeric-id":868026,"id":"Q868026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80721bfd1199351ad53302361ae18cfed098431c","datavalue":{"value":{"amount":"+0.7701432704925537","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":"Q3525160$92DB02E1-ECF1-4358-BD52-738FC2DE4288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525160"}}}}}