{"entities":{"Q6614877":{"pageid":14226034,"ns":120,"title":"Item:Q6614877","lastrevid":42381970,"modified":"2025-06-14T01:09:36Z","type":"item","id":"Q6614877","labels":{"en":{"language":"en","value":"A computable and compositional semantics for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7922679"}},"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":"Q6614877$C430A27A-D368-40E9-9A87-AC66FB43AD16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54957a2a643371c2b50cc362c55245c902df6aae","datavalue":{"value":{"text":"A computable and compositional semantics for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6614877$EF2578B2-D7F7-45D0-9B0C-E63FBF193BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$4A2F236D-F167-4D97-8E08-7A04F2B1C785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7885c8cbd04ebb00767ebb2b7724535a595ff8","datavalue":{"value":{"entity-type":"item","numeric-id":857033,"id":"Q857033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$6802CFAE-16B8-4D09-93A8-CC5B9E74350A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d002fb06ccf000e382baf5700f594e70e0c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2677087,"id":"Q2677087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$B7F01CDC-8396-4D5F-A818-E4D60F03F40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$82C6C79B-5B51-44FD-8FEA-A960C451498D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f89ef066096ca3e248c3cbc97dc37d82e003c08","datavalue":{"value":{"entity-type":"item","numeric-id":1020550,"id":"Q1020550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$1E54A5D7-E12C-4962-9C1C-41B76DF5733F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7a977a5654c29cabd1f81a06e2ca37271d1c65","datavalue":{"value":{"entity-type":"item","numeric-id":481269,"id":"Q481269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$5D05E460-056F-4C82-A49F-0B77FCE2D61B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$A88D7B73-CF2A-4C49-9FE8-4C58CABFD3EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03a16e60c4311202f855d06c07cecd615a7be8ea","datavalue":{"value":{"time":"+2024-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6614877$510B9CEE-6D89-4BDE-B970-0A0A6A331936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614877$2AEE9094-D0B5-4B0F-BEBA-A4BBF2C19BDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96858d4195634b633c0daaaded6c5d685e315ae1","datavalue":{"value":"7922679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614877$91FC70FE-8B63-46D1-B1A3-EFBE27BE9255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614877$9360A290-8902-443F-B0BC-AC2F20B3CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614877$4D7C7514-EDC5-442C-BE7C-1152F1CD5FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614877$B189BC1D-F15C-4A39-BCCD-D5C10E60F4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614877$E2AAA2F7-5FFC-4271-93DA-A08D8FC52B00","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":"Q6614877$4E3689A2-7CCC-4578-9EAC-79BB490DB2B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8af3609590dd785f66ab4cc5586dc3cacadf8334","datavalue":{"value":{"entity-type":"item","numeric-id":6044109,"id":"Q6044109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$252346EB-01CE-49E4-89A0-BC031580EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ee198e579ba9861b2bcaa47b1ed5eefff2e76d","datavalue":{"value":{"entity-type":"item","numeric-id":1427865,"id":"Q1427865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$0CCB5DFF-4141-41BD-AD9E-C8E32E7D3B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0223e40f4a6ca98c8ae6e2fdfae32e3be966632","datavalue":{"value":{"entity-type":"item","numeric-id":2368695,"id":"Q2368695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$C9C62A4B-308E-4927-B687-9A51F5EBAAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e33292f2295df86065c6f2ce025f544fc0c9af","datavalue":{"value":{"entity-type":"item","numeric-id":4552473,"id":"Q4552473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$6AF2397F-F476-4068-98E5-D4644EA17560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a670a194b3df2c0f5b41838157e526f52de18fe","datavalue":{"value":{"entity-type":"item","numeric-id":897648,"id":"Q897648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$9AB481E2-C5AC-4BBF-BE0C-73B5D5C47980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653caf7c30c5407e110b98d0054fa4a2147232a4","datavalue":{"value":{"entity-type":"item","numeric-id":5898999,"id":"Q5898999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$A96A9A15-1778-41FF-A4F5-7BCC552A57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b251502aeb0a44a871df329e889db46fb70b331d","datavalue":{"value":{"entity-type":"item","numeric-id":1932345,"id":"Q1932345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$712E577C-CE85-4097-8C3F-C3B081A048BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945c01f088e84df5fa3b833ad718c7914db665ab","datavalue":{"value":{"entity-type":"item","numeric-id":2843863,"id":"Q2843863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$20C41D3F-233D-4855-A3A2-12A4AEA3798A","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":"Q6614877$1063CEC7-B8BF-47B8-87D2-88CCBB7E5894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$9A4E6F00-6593-4E9D-866A-03988277F137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88500ed5c1eb6949f9f1d10bd3a7c042bc8f0c85","datavalue":{"value":{"entity-type":"item","numeric-id":4953384,"id":"Q4953384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$42387CF3-01AE-4C80-B194-30DAE99AAF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ce21c0af5b0744b4a11c7df8ddcc9112e73fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4953393,"id":"Q4953393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$1972872C-A415-483F-838A-70D2F87E1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca9b29ae4579420e2eab175344d321019cd09c9","datavalue":{"value":{"entity-type":"item","numeric-id":2566008,"id":"Q2566008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$15D13B07-F126-4F5D-8DA0-CDC7BFE5C5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$5D059E23-F30F-4699-A8A9-2840D9F6FAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8826dd264d7892fe04af0eccb81516a5a0d8ee65","datavalue":{"value":{"entity-type":"item","numeric-id":3021278,"id":"Q3021278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$6AEE17A0-FBD7-4C59-A9B1-D286E0F45221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024e480a25e10c1118099ff44c7af60c4700b5a5","datavalue":{"value":{"entity-type":"item","numeric-id":5146382,"id":"Q5146382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$C9F57E24-0777-4644-B79B-1EC11D5C6E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7dd1fd20704a5d11302e1d4bcf8fe3429246b7","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$2C3B1A0E-4808-4A70-9985-3899A0949C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$6F965785-AA94-4C81-8373-97A2FFDF506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85065d4aec42fefe8de60c39fd7bfd79c413cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$07F5CBDB-F003-4075-A0CD-554554DCC884","rank":"normal"},{"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":"Q6614877$F98A0841-D0DE-4F3E-99E9-1B11B723A500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f75daf34201b11381352bf8464676d2b1a9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4422786,"id":"Q4422786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$83BA16D7-04C3-4E98-85D3-69D31AF7CDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf866cd00f71769f25fe61821c149b26956e045","datavalue":{"value":{"entity-type":"item","numeric-id":5220187,"id":"Q5220187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$8AEF8E27-F32C-480A-8B6E-0FD7AFBBAF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10aed98c06a31e7e0f04356090653d930c0cc9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5663096,"id":"Q5663096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$C52AAE92-9530-487A-824E-23A0E2F8D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8f4acaecc585026cabd219c7505beba3aa039a","datavalue":{"value":{"entity-type":"item","numeric-id":2743132,"id":"Q2743132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$4995E746-3005-4F3C-90A1-AE152644D3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975e81901f41e847e8f052532b48289e4e004087","datavalue":{"value":{"entity-type":"item","numeric-id":1958021,"id":"Q1958021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$ED413238-C703-4151-B6D8-EF4E98E339D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0eb2d92e10c24dc1e8b70a007cfdb556d6a574","datavalue":{"value":{"entity-type":"item","numeric-id":5408048,"id":"Q5408048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$46821F26-6736-42A3-8DD3-A84642EB48BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d492ffa46fb89428e69a27716e8007e19241a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":2677088,"id":"Q2677088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$809CC09E-30F6-463B-BD3D-48318CE2D716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4210c8aea09880546d29e9e230c6a0170c66e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$264B3407-7746-43F8-A2AB-1D7C767E308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$BC4CFF79-197B-4BB8-9E60-50A591BFEFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df747f6b5fc323243f0e3b007533c0252a19915","datavalue":{"value":{"entity-type":"item","numeric-id":2105429,"id":"Q2105429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614877$8E7DF03B-981C-4A38-8FAF-F6ECCA6B4A85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba68f62d1cf60ed259823677e3b7af5260f33283","datavalue":{"value":"10.1016/J.IC.2024.105189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614877$4BD02815-DC31-45A2-BC40-17B25777F085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6614877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6614877"}}}}}