{"entities":{"Q1786567":{"pageid":1797309,"ns":120,"title":"Item:Q1786567","lastrevid":72954897,"modified":"2026-04-14T09:00:09Z","type":"item","id":"Q1786567","labels":{"en":{"language":"en","value":"Languages and models for hybrid automata: a coalgebraic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6942953"}},"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":"Q1786567$EC631D32-4CB9-4710-87CE-F423E47F73C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc53e358d949a6f1d71ad1c2736c5f2b9d3b4b2","datavalue":{"value":{"text":"Languages and models for hybrid automata: a coalgebraic perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1786567$52AD2F7A-DE47-46A6-9AB7-BE78CC3BEFCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e180fcfae97989fd285911acd9badbb6cdd2c49b","datavalue":{"value":"1400.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$E4AC8D1C-1154-4789-BBFF-8EC46963080F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4dc930638fdc7f7582e64e1732a369265c010e","datavalue":{"value":{"entity-type":"item","numeric-id":1786566,"id":"Q1786566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$B7D69DB2-3271-4F16-B251-D9BD8204F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$4DF624DB-33D7-40BB-9962-1E2AC2D6AD5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$E7874068-6E7D-45C3-BAF6-A691904E483D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ed40e224e7b432b4f548a0bdc7aa3f47cf4ebf6","datavalue":{"value":{"time":"+2018-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1786567$0EEEEB9A-A8FE-4CAD-8DD6-098E38FC44E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"079d5e7342f54fd80c0b16e17b945aadeb246920","datavalue":{"value":"http://hdl.handle.net/1822/69183","type":"string"},"datatype":"url"},"type":"statement","id":"Q1786567$7EC6BD30-A47F-4CB5-8A4E-2993F5EE71E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$13BC25BC-6A8F-4982-B158-AE13220D8DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$46A74054-12F4-433F-B43D-9B3467B66284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$00507F83-BD66-4D49-A8F9-DB0CCC12DA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$6EAB15CC-2B45-4621-8F8A-D5A15B1AB2F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a87773bde997f19223f160f87bbab995e6ec262","datavalue":{"value":"6942953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$C6859FDA-CEA8-4663-8A4E-5549669A6A9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786567$6BD6C47E-F34C-421F-B044-EB1C7290CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786567$BD36AEFC-66B0-479E-A102-CEFEE06F6872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786567$D0724333-17BB-46B3-8AE8-F04A444D959B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786567$C7884669-1AA1-4371-9976-9CAAA8AAE697","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":"Q1786567$9D319EE4-FFF2-4F79-9257-FAE6A667EDD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"941cc4fafd3a44cbda340f8a24d1c72aaf464101","datavalue":{"value":"W2766153027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$976CD1D6-57D1-494A-B3AB-61396FA67B5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$BECB87FD-5813-468E-8502-AD539CB87F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$0F9B14D5-AA0B-47CB-AFA3-BEEE226622CE","rank":"normal"},{"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":"Q1786567$F232068E-E8D9-4CEA-BBE4-D73717981A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da165e9bc55b8309279d958bf254c1ae8024e640","datavalue":{"value":{"entity-type":"item","numeric-id":2985894,"id":"Q2985894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$08FCC545-3858-41CF-ADD1-F2979834B1E4","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":"Q1786567$FD6466E9-C5C9-46B2-977D-E3314A7D4E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17531a6b41a17aca8d8b5027f649218f1bf1c382","datavalue":{"value":{"entity-type":"item","numeric-id":3179412,"id":"Q3179412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$E8405FB3-C691-4430-92B3-0B2A2F01730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$10A9C19C-9850-437F-8797-F393CFAB8BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc220a08fe1b95a0861d3dd78526fdc04c779c7","datavalue":{"value":{"entity-type":"item","numeric-id":2374315,"id":"Q2374315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$B36B6865-7C27-4D79-96B6-C3A31F79CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$418AFF05-137B-4709-89A0-93D2A4834A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$FB6C413A-526C-43FF-8CA8-77B585114632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996ae69e337f70b313880ebaac77aa9c37c3af22","datavalue":{"value":{"entity-type":"item","numeric-id":1575271,"id":"Q1575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$707FCF8E-F8C4-42DF-834D-9D6F6A663AE6","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":"Q1786567$9BB5D7A8-E6B8-4CEE-A3FC-79F38BD0823A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4162ee064823e5e037da7a358a4038fb40c1f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4246811,"id":"Q4246811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$0558345D-6DC3-48CC-9EF7-26A6B5BA1AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e562156ef74d908519f8a83d5af5698413befd5a","datavalue":{"value":{"entity-type":"item","numeric-id":4246822,"id":"Q4246822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$2919AC00-43CD-4EF6-9FE3-7AD9797E1EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$FB5A6F58-4C27-41CE-A971-DF3751FF4D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9339bd9c22e263b8bd77437db1b3be5eff15f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4792971,"id":"Q4792971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$F6B5B204-84F7-4FBD-83CF-46F4253EDD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c3c79c38d0017404804da3eb9d7043e664a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5410330,"id":"Q5410330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$614A6F4B-4D25-435B-B689-267CD00EDA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577fdc381c10f44bd3170bb3911b589ed82340c1","datavalue":{"value":{"entity-type":"item","numeric-id":2915026,"id":"Q2915026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$BFF7FD05-9FE1-45F6-818B-5D75520182A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532219dd4d3cb9099cc3b0175993615877764e53","datavalue":{"value":{"entity-type":"item","numeric-id":2892759,"id":"Q2892759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$9D6EC8D8-43A3-4E10-8794-B2EE30DFFA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180c1b351f9da5c5a2f546f21a2fc2fef81c16ea","datavalue":{"value":{"entity-type":"item","numeric-id":596026,"id":"Q596026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$8D72ACED-6606-4F71-B851-E9A811CDD58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c4c709161a40b5f688b793e293fc06444cf1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2851314,"id":"Q2851314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$B5302FF0-DEEE-4673-A2E4-6BBD3725B312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe5fdd326346025099b18198d61ee8283fe662e","datavalue":{"value":{"entity-type":"item","numeric-id":4608678,"id":"Q4608678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$EB37B414-D16F-4F3F-B9BC-04FEDB62A27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4aaa559bfa96d93ba9a1c2a71cbd2e16f77644","datavalue":{"value":{"entity-type":"item","numeric-id":3119464,"id":"Q3119464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$50BE38DE-50F3-48CC-8970-D3D1698EC528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba466e8a1bdaef98518de15c9a43402d1858c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$C73E6A8C-AFDE-43D6-BA35-2BDADFBBB7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186ca5f169ce251769800dd796db3edde0ff3490","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786567$907DB933-A7D4-4569-BB98-E28B9F505056","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbbff25055ad12f8ef49c9cc4c404a12de052e36","datavalue":{"value":"10.1016/J.TCS.2017.09.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786567$3596164C-5EB1-4DA9-A356-61578310A7AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16f5fc636f2d5b18e8108fe834f8fc49259859","datavalue":{"value":{"entity-type":"item","numeric-id":3179412,"id":"Q3179412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ebacac0a509b587ee676ed4e5394fb5b7dcd7c","datavalue":{"value":{"amount":"+0.8838388919830322","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":"Q1786567$D6C4B97B-5052-47B7-94B0-BF92E3C3D675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6791c788377fe8bcee549dc63fe9fdf00e0888","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a53bf4bb62ca74623c2af58175d6b57b07cead7","datavalue":{"value":{"amount":"+0.7806271910667419","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":"Q1786567$C326F921-D545-4E9F-995E-819031F82E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9045e0b97e7d9d650e83cb53683d5b971f7d0005","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1789acd2c2b89712a264b56027e1f5f5c35eb388","datavalue":{"value":{"amount":"+0.7746988534927368","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":"Q1786567$3F255334-1618-46A0-A64B-FAEA4250C3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eae44cfb833ec39971a01d1729d67f631f4584","datavalue":{"value":{"entity-type":"item","numeric-id":3002398,"id":"Q3002398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43343d7c76ab93bae5c32593b07c6eb24c6ffbfc","datavalue":{"value":{"amount":"+0.7684200406074524","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":"Q1786567$8035E748-406C-441B-95BA-EB0D6347FBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718c83b9f24d5958d5bfbd8b261d4d8fb8ef1f82","datavalue":{"value":{"entity-type":"item","numeric-id":2914678,"id":"Q2914678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb44b3f0ecdd8e9c2832fcf247e252dafa81878","datavalue":{"value":{"amount":"+0.763802707195282","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":"Q1786567$BAA98AC5-754A-4942-A523-6FB9B4B64EE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Languages and models for hybrid automata: a coalgebraic perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Languages_and_models_for_hybrid_automata:_a_coalgebraic_perspective"}}}}}