{"entities":{"Q4930176":{"pageid":6959758,"ns":120,"title":"Item:Q4930176","lastrevid":51092444,"modified":"2026-01-16T15:21:55Z","type":"item","id":"Q4930176","labels":{"en":{"language":"en","value":"Logical analysis of hybrid systems. Proving theorems for complex dynamics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5792947"}},"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":"Q4930176$558B8ED5-EE72-410F-89A8-D9DB3B705DEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eb496a1a1cd77c332486faed5f6031a700a95b3","datavalue":{"value":{"text":"Logical Analysis of Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930176$BB391E75-F075-49F7-BC94-04F80664B35E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc7ec61c8b6edfdb471bffdd26f4d415da20b79c","datavalue":{"value":"1211.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$0AF1A9C3-AC4D-417B-861B-7B295D9587B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a99ceb8337b4abcb0e5ce9437f526badc37373d9","datavalue":{"value":"10.1007/978-3-642-14509-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$AC69C80C-0370-46FF-B0B4-2D838F61D26F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e766f10d7af7d054931cd4af6a3cf182abfc9dec","datavalue":{"value":{"entity-type":"item","numeric-id":4930175,"id":"Q4930175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930176$84F35A56-CA10-4F8B-9273-0BD87535CE40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daff666a7c16c147050cdecb8791dad2810ef77e","datavalue":{"value":{"time":"+2010-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930176$F9C814F0-8AAA-4032-87B7-A6DCB565A67C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$34BD05FC-C598-428F-83AC-B24EF6C0F423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$6C4954C2-5E74-4B55-A3C2-573EACC1F6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$D779C1EB-F7B6-4CCB-9095-BC99646AA06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$CC5AE88F-C757-4E72-AE23-DCBE37973D96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e159ab6f0781d65d75b66f4ce0286886d48e4dfd","datavalue":{"value":"5792947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$0B5B1396-B22D-4568-BC37-61B2C1292F88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930176$B9741D05-DF9B-4655-8807-72F43520A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930176$26207D4C-9B4D-4CDF-B1DD-52EA534937B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930176$131A1DA5-9F28-4ABF-88D8-396898EEA95D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930176$938EE6E0-35D3-417F-ADEB-2DE27A5FD2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930176$F56D17C2-C0CE-4040-8FFD-98C580F76FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930176$02245E06-A25D-484A-B75A-929A521DB79A","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":"Q4930176$4923CFBC-1F4D-4153-B7D2-2FF44B41B0CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c3e17482fae3aba72e028291e269f319a155e62","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14509-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930176$8B766539-26A9-4BFF-A3DE-AC3A16BBBABB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a25466353fe02c7476d9e56942cce162e5dbf4ab","datavalue":{"value":"W3168224710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930176$7C4EA496-3F89-4513-BB3C-4E51DB89C155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794f2d1560af73aed56f5569f6efa53bde83026c","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c435c3cb6b74f08314672369aead9944305af32f","datavalue":{"value":{"amount":"+0.7618805170059204","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":"Q4930176$6468BAC2-F374-4361-BC00-F47A98B54EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bc024f595050430cab28b318c8ed6ed69a13","datavalue":{"value":{"entity-type":"item","numeric-id":5178458,"id":"Q5178458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fb911453991478dc3fc19b8e68cd66ee5a6a98","datavalue":{"value":{"amount":"+0.7579355835914612","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":"Q4930176$6053E615-0E40-4AE2-B90E-7A30676A3C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0bdc01d7dcdf1359d1feed92069dceee75f860","datavalue":{"value":{"entity-type":"item","numeric-id":3224358,"id":"Q3224358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4887f8f8f1da90b021ad6427c9add11e06fbb9","datavalue":{"value":{"amount":"+0.7538427710533142","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":"Q4930176$4DC8873E-091F-46B5-BDB1-A2149F6DE0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42fd71568f06088aa5ef41357d22ee9fb1260202","datavalue":{"value":{"entity-type":"item","numeric-id":1622663,"id":"Q1622663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04b4620c67f798ccc7c9625977d371f90b90355","datavalue":{"value":{"amount":"+0.7435070276260376","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":"Q4930176$61474426-AD17-460C-B927-EF8B83361BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea79f5437899df0be7c5dcad75edd5616454add","datavalue":{"value":{"entity-type":"item","numeric-id":3416764,"id":"Q3416764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6454323ebc0799168cb10fd4ee45b4af957c9ed5","datavalue":{"value":{"amount":"+0.7405567765235901","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":"Q4930176$C2ACC5EB-5C44-43C2-91A8-233F0B8E7923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930176"}}}}}