{"entities":{"Q3523148":{"pageid":5553052,"ns":120,"title":"Item:Q3523148","lastrevid":80636486,"modified":"2026-05-06T16:39:24Z","type":"item","id":"Q3523148","labels":{"en":{"language":"en","value":"Modular Development of Hybrid Systems for Verification in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318920"}},"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":"Q3523148$B6A52E5A-8D96-43B8-9C51-626058C7365C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16e4a493296411f3f30c3c6e3410138a77ce5b1f","datavalue":{"value":{"text":"Modular Development of Hybrid Systems for Verification in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523148$78A9F88D-B0EB-4EF3-9CCE-DFE3E2CB7024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c9a1963fa0c2281cee2e2312e5eeab70bf6b3b","datavalue":{"value":"1143.68580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$52F86342-0700-4368-81E7-7F6CA1F11965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfe4d2317025bb8ae469d08886534323c3f8b295","datavalue":{"value":"10.1007/978-3-540-78929-1_53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$45B3D68D-AEE6-4FC3-9CC9-B80B455F51D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523148$BF22C651-5940-4DEA-AB3F-4A54EC6EF1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c7302084d6061bb6f189473ae8492ed0c79a92","datavalue":{"value":{"entity-type":"item","numeric-id":823763,"id":"Q823763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523148$36C98210-A034-43A5-AF84-22E588D2F131","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523148$2E53D4D3-C871-4A97-9497-0B3C8C33AAB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523148$02C6DAFF-8FB1-4C1A-A24F-2953423EEA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$9EFA68D7-7852-402D-AAFF-038F9E7BFBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$2636563B-6C27-4EA3-8391-6A82A5BF98C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$FA6D72E8-BD0A-4D1F-AF18-F106147A8DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$4D3AF457-F093-4937-BA74-785335200060","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c2bfd3307aeb8fe933dc975fe08b40787d80b21","datavalue":{"value":"5318920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$C2E4FD2F-0D44-4913-84DA-00DE7FF6A70C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523148$5CFC9401-9B61-4DB0-BFE6-4EF050A1EAC9","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":"Q3523148$A8A26BD7-B2DC-46B9-B6D4-F259EF9F0755","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"939a7af0a5fd17582ce66699f30665fdecc0d076","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78929-1_53","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523148$9F072F4C-95CC-4910-AFCC-052502451E79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43bcdd93498ca4e7dc10d32bf015a087bbb5027a","datavalue":{"value":"W1599273267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523148$CAB1C5B1-DFA5-4D88-8AEA-944F6F46A936","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":"Q3523148$1170FA2E-10BD-4A97-949D-8184B97A2B94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular Development of Hybrid Systems for Verification in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_Development_of_Hybrid_Systems_for_Verification_in_Coq"}}}}}