{"entities":{"Q2945577":{"pageid":2956297,"ns":120,"title":"Item:Q2945577","lastrevid":52344152,"modified":"2026-01-22T09:46:49Z","type":"item","id":"Q2945577","labels":{"en":{"language":"en","value":"Verification and control of probabilistic rectangular hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481818"}},"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":"Q2945577$5321804A-5407-4F88-93C4-A31B3F68DD3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dba1e5f4b5b89134abc39e465f8bdc7c1b171710","datavalue":{"value":{"text":"Verification and Control of Probabilistic Rectangular Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945577$A6F1A823-9B28-4DD4-8D1E-53F40CA20BE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9de5fa158f335f85ed130811379ccb884a7dc8de","datavalue":{"value":"1465.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$30520D1B-9721-4EA6-87B0-0F7107F37166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41aca0cebd417961bad789e51c51b3582676ec28","datavalue":{"value":"10.1007/978-3-319-22975-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$E713DFC3-EAF9-483B-B385-B60103B07E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$06CDC0D4-00C1-48CA-8C7E-2B008FC5B655","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":"Q2945577$CD461819-BFB2-401C-9630-646E05600B80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945577$DE495E1B-E3E2-4830-9541-D6E89E8FB1E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d223e97f034dcdc380a0b09d3da71e52d7a77348","datavalue":{"value":"http://hdl.handle.net/2318/1568125","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945577$69848767-3185-4D30-BA93-4861EF1E93FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$86C43A00-0D62-4F86-9A8B-57B3AE156DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$350B7B57-AE38-4AF4-BA4C-AB6178A070A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$45AC56CD-17B4-49F1-A98F-C552BEE6FF1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22704178025e6691d601e73e9e9c05621a80680a","datavalue":{"value":"6481818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$428325ED-C537-4C1D-B941-C7D6A95D1A51","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":"Q2945577$440A0C02-DC3B-422C-A2AD-D68BF184D1EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14289f74e12f035ef54c0b71e890c3d9bded025d","datavalue":{"value":"W2213331729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945577$1E4F524B-CEBA-420A-B401-DB8FCE07AAE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$1EBAA874-3E23-439B-82E2-16661617017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1890a5a7fd4f85bbab217b0cfa3015cd14709bb3","datavalue":{"value":{"entity-type":"item","numeric-id":4965815,"id":"Q4965815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$E98B58F7-805B-43C0-974B-C5C90955F582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52479ce1aed3445cf12b4ee9e791997db4f08cf","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$D342D078-3182-40E6-B5C6-8344CB9B2201","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":"Q2945577$9E9193C8-404E-4DA2-9679-9617B3BB8962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$D77776BE-5845-415D-9C28-EEEB1A2A046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14511b3434fba07b77dec79eceea724900ded85d","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$B5C76274-8DE4-46BD-8B12-42A645EA4BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$9223BEFB-E0FB-4608-B746-C2D1473952E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$8040C0DC-43CB-4FD3-8613-4C92E94F771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb069f53702ebcb4130c6349536a4829440ca29","datavalue":{"value":{"entity-type":"item","numeric-id":3136505,"id":"Q3136505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$FD16F671-F647-41B1-A7A1-7152DC95903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f332f5cc68c7ac5e3e59e80b7e391fd4a426d","datavalue":{"value":{"entity-type":"item","numeric-id":5897960,"id":"Q5897960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$B3869F42-CB21-4B74-BBFB-0ABC73419B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae30b3db3d5eba51596098096e3c98096075cff","datavalue":{"value":{"entity-type":"item","numeric-id":3588088,"id":"Q3588088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$3F65ABA7-4BF4-4801-B600-8B0C36BC0925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db2e96150c8f7cad0f4ac7d4bf244364ac98c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2986712,"id":"Q2986712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$0806BFF3-B2E6-4C05-AD46-190279A784ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19505e9371c89a5b5b217f86e0ad1e5e2006136","datavalue":{"value":{"entity-type":"item","numeric-id":710668,"id":"Q710668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$6D2EEDD6-1CD9-432C-8D1D-0FD43E9DFD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$6FE62F97-9B02-4E61-9B91-C13EE6C00781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$AB4A67E1-FF12-430E-9273-A056285E5EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$6B94CC88-4E42-44BE-8013-615811B86579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d803dffb5e7d3ffdcbee356a627c1a19cd2800","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$125EEFD1-131F-46BA-9B7B-DB742A6C3691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$2738960E-7C24-4C1E-8218-DA328B34F75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f20df29facf53673cfcc4ee25abf625d9488e9","datavalue":{"value":{"entity-type":"item","numeric-id":1975237,"id":"Q1975237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$69B5A28C-7148-404B-99D7-73253B5C426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9c61e40405df27744ce2b9d0fd7c410afbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$7F049BAC-EA94-4542-829F-EFF420293041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$49338EAC-D830-4B67-8D2A-8CB243A09BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$244C0C13-8A09-4510-BEE0-3A5FFBA48FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f02169e0d82db34a57f3c9fe58dc5d85c93ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$C3496609-A905-46B1-BD19-A7BD307882D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3d96243025d2e93c7d18b9f2c830aee47d6b45","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$DA1E05A7-FEC4-4A75-9A0B-DB9BEF377265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f044759284fd8083b0664a825d09fe3fe5f9b375","datavalue":{"value":{"entity-type":"item","numeric-id":2986934,"id":"Q2986934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$5E58440D-45B5-4874-8772-2F04BB35B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64070a4114a4dd6fb075ca65b9b90b490a0bc085","datavalue":{"value":{"entity-type":"item","numeric-id":3519497,"id":"Q3519497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$9023FDF6-3168-4D37-B611-276D6B2AB106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd356947fc79595eca2ec4ff345d8569c4a4999c","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945577$4CA7259A-57F6-48C2-A867-4BA3924D57E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2821836e4a21e7ee690d699fb435a1909b3fddb6","datavalue":{"value":{"entity-type":"item","numeric-id":1734511,"id":"Q1734511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3942053ce6ff0b0c05aff0a725ff98cc47073e1f","datavalue":{"value":{"amount":"+0.880234956741333","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":"Q2945577$F4EAA3D8-6E58-469A-848F-A8367A816244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37db6450390189796b80831ffb81db8a2690f28d","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a702a52419fd04dda14bcc07dd08f496389b3a","datavalue":{"value":{"amount":"+0.7874614000320435","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":"Q2945577$BC8BCDFF-C333-4CCF-B189-3F77C8AF3F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb54c6371a1e6178d7b119dc9dd1c73e309ed08","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0154c37c85431ef433c95b213079084792a961f6","datavalue":{"value":{"amount":"+0.7792314887046814","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":"Q2945577$FF09CD3B-9AAF-40DE-B9AB-0DDF60ACD0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90b7c9f8beb787735afdc84e0fa0b5582170adf1","datavalue":{"value":{"entity-type":"item","numeric-id":5351874,"id":"Q5351874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a52327cc385133605e779c8c839f055e85c3f1","datavalue":{"value":{"amount":"+0.7752770185470581","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":"Q2945577$5D94D657-E3E3-4CED-A8B1-77FAD4ADABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a873c125fa8140c4d5e23041e3ee33ad70b1032","datavalue":{"value":{"entity-type":"item","numeric-id":389835,"id":"Q389835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae2c5f06a8b078d0db5e4bffa2e4c2cec315da2","datavalue":{"value":{"amount":"+0.7733238339424133","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":"Q2945577$12A34462-04BC-47FD-825A-404C42459991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945577"}}}}}