{"entities":{"Q2787347":{"pageid":2798085,"ns":120,"title":"Item:Q2787347","lastrevid":83248832,"modified":"2026-05-07T06:52:25Z","type":"item","id":"Q2787347","labels":{"en":{"language":"en","value":"A SOC-based formal specification and verification of hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545653"}},"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":"Q2787347$BD6DD0BE-526C-4275-80A5-1441086798FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b2deda7238b818ebbbc6c18d1dfe5571a0a1822","datavalue":{"value":{"text":"A SOC-Based Formal Specification and Verification of Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787347$545494E5-B06C-4D35-85EA-4D9FB236DBA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db7527306667ac12d39d77815db07b67cc44bc18","datavalue":{"value":"1469.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$F148CE83-14CD-480A-BE3B-C3DD2B1806F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2bc1dfe33574357650eb20ef3fbb2604dc9d4a9","datavalue":{"value":"10.1007/978-3-319-28114-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$0DC56082-4DF8-4889-B9C4-E0A50F638437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b2599749ab6030591d0eb4cfff214b177fc19","datavalue":{"value":{"entity-type":"item","numeric-id":415914,"id":"Q415914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787347$39AFC3D7-9955-4B3E-9213-9E1692880426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787347$52C97168-809D-4D2D-BC51-64C856A0A4BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787347$3DCBB3CD-7FB3-4389-A761-27999B0B34F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787347$44BB51EF-8ACD-435E-A219-8979AE70CCB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$A271D3E7-1951-4BD7-9B10-31AC305DFE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$E9B2D206-8DA3-4BE6-A71E-6DFE621DD2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$1E386686-8A74-4768-920B-11F352752C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$EA2FCEBA-FC3B-40CF-AA2C-BC8E02872B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac8a0d26e6b38d9bc27b9afa50321892d6cd6f5c","datavalue":{"value":"6545653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$8A9DC8AF-6B38-4580-8936-D242BF5EECFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6fe87005f3a87768c096a5ad32ce3c14053b1c2","datavalue":{"value":"hybrid transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787347$F1A3CFD4-8223-411D-8DA5-4E7B1A79AB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf634f53c309aaf4d81bdcb60c527449b1bcc55","datavalue":{"value":"SRML","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787347$B241B6C3-B4E3-45B2-A8FC-B29CE6BDA22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787347$7414C2D1-99F8-4723-998D-B4D2CABEAAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32bac24e392736fdd46a603201d1fcceb75c8a86","datavalue":{"value":"dTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787347$47922AB4-65CA-49CE-A8ED-E21283686603","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":"Q2787347$0583F31F-9231-4561-ADD0-EDAEC0EE9226","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c54f59931e3eabeedf85f334a6aa8baa6c073e18","datavalue":{"value":"https://doi.org/10.1007/978-3-319-28114-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787347$98CF343D-0206-4295-B935-0341264ED63F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d158fa01ad7df995c1e31578432238116d1989b8","datavalue":{"value":"W2482293685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787347$F328FC51-5A49-4F9E-9EF7-78B8663FCC8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9da2b9d16f6d4da2394fb5fd1e868ec40668e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2948232,"id":"Q2948232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f79f6ae1cfc7841add34e2dad18b9adc151532f","datavalue":{"value":{"amount":"+0.8032218217849731","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":"Q2787347$2BFBDAD4-A161-4EAA-9374-7F0612E3F998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9540d01c94d6496f77cc2ed5a824f585a544af3","datavalue":{"value":{"entity-type":"item","numeric-id":5434526,"id":"Q5434526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e72a07e9149aba397148798389d34b4dcf6a67","datavalue":{"value":{"amount":"+0.7723516821861267","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":"Q2787347$AB6EE00C-689E-47CA-8888-73DB0FC8DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a43582b4d75eaee8007835d6904c62081b7225","datavalue":{"value":{"amount":"+0.7669009566307068","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":"Q2787347$F950E2E3-D7A2-48A8-B2E6-CA72E36B92FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cf78114efcde97ad6f0ae2df230948c409c52f","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136105bf395097f49e47c3d494ce07c6204ab42e","datavalue":{"value":{"amount":"+0.7628950476646423","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":"Q2787347$45CD6E04-B337-4653-988E-2BDC49183BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f574c657ff784fd861f445f05b6ad0778f48d99","datavalue":{"value":{"entity-type":"item","numeric-id":1853604,"id":"Q1853604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5575b6366b62c39243a936f7613e7409b9ca94df","datavalue":{"value":{"amount":"+0.762119472026825","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":"Q2787347$7069E1A4-35DB-4DC1-8CB2-0497DECACC7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A SOC-based formal specification and verification of hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_SOC-based_formal_specification_and_verification_of_hybrid_systems"}}}}}