{"entities":{"Q3525148":{"pageid":5555052,"ns":120,"title":"Item:Q3525148","lastrevid":80896265,"modified":"2026-05-06T17:14:55Z","type":"item","id":"Q3525148","labels":{"en":{"language":"en","value":"A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342676"}},"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":"Q3525148$C747C333-018D-433B-859F-49B4014AB371","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2b5310736093675b911e847a7c126f42c7afd19","datavalue":{"value":{"text":"A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525148$2D8A9A6A-BEBC-4A74-85D5-61756E13555E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab463b35eb843a04b26ff0d9ceb7329a98f06b5","datavalue":{"value":"1168.68426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525148$0B3834F5-E105-482F-8981-969505728D42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07d9ac19f4f9cbc304b99f8618a56171ba59857a","datavalue":{"value":"10.1007/11921240_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525148$14364CA0-BAD9-433F-82A6-944D3460EBE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94229b96c71d77298697de05e94c9bf7fba20fdb","datavalue":{"value":{"entity-type":"item","numeric-id":2008290,"id":"Q2008290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525148$DED70916-19C2-477E-ABAD-0B41E43FF2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb82b840f2cb52b344ebb7a6a6575033a768c","datavalue":{"value":{"entity-type":"item","numeric-id":418140,"id":"Q418140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525148$B5BFAC99-92FD-434B-ADCA-2E3AD4975CC3","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":"Q3525148$7D5AC445-BAD4-4AAE-98D2-C6C0E4051D44","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":"Q3525148$DF52141D-FF08-460A-AABB-DFB7F345A5B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"692d93740acecef871bfafdecdf7eb71deac9091","datavalue":{"value":"https://www.um.edu.mt/library/oar//handle/123456789/22556","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525148$F663924D-F08E-4F6C-9F6E-9E97DA24699C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525148$5FA3004E-C04A-40B2-B4F6-2670D384C9D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e26338f79a8c3d27e45eb0f54fd0b82dffd3937e","datavalue":{"value":"5342676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525148$CE510597-5F21-4623-84B2-7BB36FBBCED4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62a1ea0d3519b65526ba538a2cb1a3a6659f2f68","datavalue":{"value":{"entity-type":"item","numeric-id":13640,"id":"Q13640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525148$1E2534F9-678E-426A-9606-188C19AF85BC","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":"Q3525148$1CEEDA9F-C452-48CA-A3B5-4D823ABC7BD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27564495eb1f20ce7800273e0c0b8fe7e29873ad","datavalue":{"value":"W2132205224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525148$71578DAD-DD69-4CFC-B479-2CF099117EC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7749cec349f174d54d1cda6d5fc0976ebfe3686b","datavalue":{"value":{"entity-type":"item","numeric-id":2474069,"id":"Q2474069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7458130f1d8b09ca716ba59e32d415106a9e20","datavalue":{"value":{"amount":"+0.8503563404083252","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":"Q3525148$7E3DA8ED-BDE9-42DF-AE0A-68CA91C677D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808e4d20ab63b5e4bcc2114858f879093f206744","datavalue":{"value":{"entity-type":"item","numeric-id":2373713,"id":"Q2373713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5e7b7e56a33645f731c4b87a952c3c6e0eca01","datavalue":{"value":{"amount":"+0.8264026045799255","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":"Q3525148$678EE28E-3EBB-439F-8876-581AF2F7A0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c40aa9c4dd6c9c731bea835eb452a6b380e0464","datavalue":{"value":{"entity-type":"item","numeric-id":4806207,"id":"Q4806207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd077bc6ffbe5fc0af3682d460e6462c5be201c3","datavalue":{"value":{"amount":"+0.8066465854644775","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":"Q3525148$252E696F-3F43-4E26-9CBC-D46306950F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d967a818325842bae2259cfe2b9e716943f900ad","datavalue":{"value":{"entity-type":"item","numeric-id":3384178,"id":"Q3384178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dce704c82e35a7bb69c4894549721a71e5dcf0","datavalue":{"value":{"amount":"+0.8044261336326599","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":"Q3525148$76DE245E-9961-4400-9AB9-93AD9637D779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e317aa14ecfbd2565e1438963c2fc2ded3a333","datavalue":{"value":{"entity-type":"item","numeric-id":3511244,"id":"Q3511244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a289fdd9811fcedb3dbae3f425f6fd7245d4c2","datavalue":{"value":{"amount":"+0.8021823763847351","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":"Q3525148$0E9B6393-DD0A-48A9-8F89-8E15A0597849","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Compositional_Algorithm_for_Parallel_Model_Checking_of_Polygonal_Hybrid_Systems"}}}}}