{"entities":{"Q530560":{"pageid":532327,"ns":120,"title":"Item:Q530560","lastrevid":62530536,"modified":"2026-04-11T06:42:51Z","type":"item","id":"Q530560","labels":{"en":{"language":"en","value":"A temporal logic for micro- and macro-step-based real-time systems: foundations and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608231"}},"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":"Q530560$2EF32D66-BFEF-474E-9E3F-831673B1458A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"294549bef679cd49883d3dd63d2f2ee39f954ae6","datavalue":{"value":{"text":"A temporal logic for micro- and macro-step-based real-time systems: foundations and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530560$9B6BDDA2-18F2-4DD5-873C-8407F669E6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae81034a7dfcb0fb297c291e9922b9170faa8732","datavalue":{"value":"1348.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$F95B4826-276E-4F04-8D70-DFA487513522","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$6BD7ACE6-AE4E-4A1A-B3BC-FAFCAF16E550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fdba189ce1dcf3dec02a20b242e7a252ee1a17","datavalue":{"value":{"entity-type":"item","numeric-id":530558,"id":"Q530558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$1745C996-FBEB-4A48-B1A2-05BCDB5EE2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef94de4ba8722c9929436fa8de2168bdb5d0b57","datavalue":{"value":{"entity-type":"item","numeric-id":383725,"id":"Q383725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$61438247-83CF-49F8-9341-076F8D6816FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f36072d8e4c258e2ad03f4388fb4438312ab75bb","datavalue":{"value":{"entity-type":"item","numeric-id":530559,"id":"Q530559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$57DAE7C9-7FEE-4DDA-90E2-6147653532F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$C1F3D042-3EFF-46B0-8424-FE84261CD5F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q530560$7E915A09-6F5B-4702-9A33-CA6C2735DF37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$D440D388-D060-4D44-BF3C-213459AC536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$457BA983-23B4-4B66-9C17-3FE9B9EE40F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"022273e3fb81c8f88f6ea055a4646ed826994fec","datavalue":{"value":"03H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$671D27DB-F21E-4105-9186-1A5C7946A94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$DC2674C0-8F91-49BB-8CC5-DBCC82C38A1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ed4b33d88db986f74388bdb54c337c31a47fa3","datavalue":{"value":"6608231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$BD68ED35-D050-4961-BD54-096FC9CB3383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$B54048DC-0A05-4922-B09E-38AE926F8E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$8A3EFCF7-A973-4F45-90E9-0A594B6D703A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$4D02E3B4-FD7F-41E7-9D85-4897606D3EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4ce37e6bc98974c6b927dfe410ae790913aeebe","datavalue":{"value":"micro- and macro-steps","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$F19A9B2D-5046-43DD-BF11-56AC144D0E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$4FB78AB6-3D93-4554-981C-47C1B86BA85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$9EE76A34-436F-4798-A6E0-76F6178DBD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5068238d8901ec524282e26db0a7c969fb7d23d","datavalue":{"value":"Stateflow/Simulink","type":"string"},"datatype":"string"},"type":"statement","id":"Q530560$0FA7563F-3F8C-4100-83D5-74A7B3AF4196","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$3668D212-762D-4EE1-BBA2-28F48E85DAB7","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":"Q530560$6D57E59D-67C0-42E1-B843-358AE359D9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cedcee830b25200a16a40bd156d3a454bebe0571","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.06.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q530560$5A29162D-FB50-4720-BC47-4D140B2624CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9daa4bcf1216d3cccd3bee46e2f5f889e6c26f58","datavalue":{"value":"W2462399399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$DE0E9C3F-5180-49BB-B22B-B5164F6BAA7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9998057915792c2aca7db2cf8322692024db4ad0","datavalue":{"value":{"entity-type":"item","numeric-id":714629,"id":"Q714629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$1AF30038-0F21-47CA-9D54-E423BAE4876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$3373CA62-C159-40F5-B93B-609310A544D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$8E28D9EC-9D4C-4B6F-822B-A12E882C2F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7464923d81853deaa10ebf504925145345ff75","datavalue":{"value":{"entity-type":"item","numeric-id":4870980,"id":"Q4870980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$356E4ADF-5714-4723-A36D-8DEB20A22DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5007ab9c32bf580f8fd9174eb22767a4264f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3988797,"id":"Q3988797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$B1A1A756-6F18-4E8E-B013-C1A2964DB67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$2EEC7282-9E50-46A6-9130-53A1839953C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$0CCE306A-0184-4468-B804-C57954C9CB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$3E3C1D54-AF6C-4F20-AE79-BB69C6CE28CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$DE01A7EA-ECCB-499E-9BE9-348B79A3E674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81423737e3fc8b7dbe65ae0ade5f5943aeda2a4","datavalue":{"value":{"entity-type":"item","numeric-id":5756605,"id":"Q5756605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$73EB1D47-5374-4111-BAD6-9F065AC6AECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7313deaf51389fcc73bf1c36fa9f692dad11ad35","datavalue":{"value":{"entity-type":"item","numeric-id":2447179,"id":"Q2447179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$F46EA691-FD4A-4FEC-B397-27ED6D89303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9223c827ccf6216d621ad1a6209237a8541abe1","datavalue":{"value":{"entity-type":"item","numeric-id":2842576,"id":"Q2842576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$D56A2FF0-5EF7-4D08-877B-7508FC963A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823800dc6b68f86d53e7e9cc3be67495662aba4b","datavalue":{"value":{"entity-type":"item","numeric-id":1854267,"id":"Q1854267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$45F94897-D9BF-45B4-BE50-BEA3DCAFC73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d930f05b27f285bff84c73bafabea50e4714edd","datavalue":{"value":{"entity-type":"item","numeric-id":439952,"id":"Q439952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$79D569E1-FB45-41A5-B229-176C86EF8731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d7b910b1d9efcd4fb2a0f84b2939cd940b2643","datavalue":{"value":{"entity-type":"item","numeric-id":3634000,"id":"Q3634000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$E0C8FC34-2195-428D-BC99-1090F091877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$F6C678EC-C925-4A7A-8947-876882FB3EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a5206f958000410f739d750f374189244e5424","datavalue":{"value":{"entity-type":"item","numeric-id":2946625,"id":"Q2946625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$467FCDFC-56B4-4E00-8538-93AACE918F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9697eb0d739868c9adf2c97a80e77aa74ec47ff5","datavalue":{"value":{"entity-type":"item","numeric-id":987537,"id":"Q987537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$47477228-8533-426C-B5EB-C7A23C2CB679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa9113df8fd1b5e94f8d7a6041804619956e293","datavalue":{"value":{"entity-type":"item","numeric-id":4817545,"id":"Q4817545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$C1D60AF1-BE84-430B-98E4-4C7543988E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$164E4205-64C0-461B-BC98-B5F16D5CF6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7bb0060266411297ebde1a95c8f88f834c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4218534,"id":"Q4218534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$D202E6C8-2A0C-4F8B-B65F-6861CC120135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$7D3D197E-5E66-48D1-9F0A-33DBF5130424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$A00F2568-D681-41F4-A9F4-4119C146AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$EF6BF1E3-5070-40E7-BE58-3F1C8367ED9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$8A25D019-6494-44AE-8EAD-A52C6CFAF029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88c99d4148fc490541ba62f7dae7f4ecfd0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":4529488,"id":"Q4529488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$12598452-84AA-45AF-8FBC-96464B7259BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$F24F3237-B7C9-4F78-A7FF-79298DCEAC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11dc3a37af742fbb3df95927426a62e888900db","datavalue":{"value":{"entity-type":"item","numeric-id":5168510,"id":"Q5168510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$0618C854-ACCD-4583-B5C2-D4A8BC3D8AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d96e25abbc56fd8d1d4e4f540bd672ff8d3585","datavalue":{"value":{"entity-type":"item","numeric-id":4899146,"id":"Q4899146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530560$3931E316-5D70-438D-BE7B-3817E2A39088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0e90d3858f92880be4e4b4146835ca021d1a286","datavalue":{"value":"10.1016/J.TCS.2016.06.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530560$5A485B2C-F984-486E-A49D-1C29F90A2C90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72414496b7b13f150a27b0a5379701365e4adf1c","datavalue":{"value":{"entity-type":"item","numeric-id":1854267,"id":"Q1854267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a35225c9d28463d6ac26281cb5d1601ce53ae73","datavalue":{"value":{"amount":"+0.7725075483322144","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":"Q530560$3D63CB44-13C5-4B88-8D35-F1B343AE989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3926ac6a5eeea9808a972afe7ad9bd3a840d3b9","datavalue":{"value":{"entity-type":"item","numeric-id":266865,"id":"Q266865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f2d2016471d4853f8f3777b64ad24530f8e472","datavalue":{"value":{"amount":"+0.754111111164093","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":"Q530560$DC4866C9-43FE-47AE-A8E8-2B93D93C2A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9446a44a0328acfcd617e9b5d63e7ac9736c55","datavalue":{"value":{"amount":"+0.7520447969436646","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":"Q530560$9E061210-0113-4CE2-8027-BB2E5704F701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf07dd023af159f0950df4214ad4dc9446672fb","datavalue":{"value":{"amount":"+0.7480060458183289","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":"Q530560$272F42A9-F620-4FCF-8047-BD3F87C7A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18c799948ea44f5afa5552832eeae25a53587dc","datavalue":{"value":{"entity-type":"item","numeric-id":4518434,"id":"Q4518434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b175d707316af5b23240444179db2445b89aff","datavalue":{"value":{"amount":"+0.7476724982261658","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":"Q530560$4B01248E-FD5D-485B-BC59-B0F10F972490","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A temporal logic for micro- and macro-step-based real-time systems: foundations and applications","badges":[]}}}}}