{"entities":{"Q4592716":{"pageid":6622301,"ns":120,"title":"Item:Q4592716","lastrevid":58297482,"modified":"2026-04-04T15:08:29Z","type":"item","id":"Q4592716","labels":{"en":{"language":"en","value":"Representing hybrid automata by action language modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803830"}},"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":"Q4592716$C416D68D-5749-41F0-B805-E6492B8E65A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15cc4c17ea8aa7b728493a98713b92a8825c207d","datavalue":{"value":{"text":"Representing hybrid automata by action language modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592716$10ABCEA2-B7F5-4DA2-A975-EFA38666F8FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4fb41429ad60f867b59cae3a3329c41a7c21f21","datavalue":{"value":"1422.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592716$005B3117-FA88-442D-9432-0D34E7408765","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b0fb6ff605f73391e527378851bf201af6f16ae","datavalue":{"value":"10.1017/S1471068417000412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592716$D8DEBF29-7D42-4D07-84C7-4DDDE587B128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c9c5d3a5c6970817c5db0cbfa66d180e46194","datavalue":{"value":{"entity-type":"item","numeric-id":543595,"id":"Q543595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$B242D583-04D4-454F-8581-86139E81A892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b3d96a5c7aaed77dd491677ec69312d8b3aabe","datavalue":{"value":{"entity-type":"item","numeric-id":4592715,"id":"Q4592715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$905844E1-317C-49D4-8BC2-2CD0A4D20711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1665d71c1888a323166e8bb45d2b4001786e1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3112628,"id":"Q3112628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$724F1D9A-DFA2-418C-A29E-ED9656ACE8EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$F13423FF-3403-4F7E-A131-1605CEC8C2B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-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":"Q4592716$0AC081E4-0B6C-4F12-BF9E-09D55051C1C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0ee99f205ee763996c7ccd035c98ea1f05915a8","datavalue":{"value":"https://arxiv.org/abs/1707.06387","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592716$5D145461-BCE5-4344-A8E9-8D5FB16B8035","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592716$5201F7E9-B6B2-464A-ABC8-C3126477594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592716$4B921E0C-A8D7-4E59-AD2E-5A56FDAABA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592716$55A8FEA8-D762-4A4F-98A4-0A782461EB9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a25592ddd6742474dcbdee6e74ec1c6b81bbc3d","datavalue":{"value":"6803830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592716$28CF2FB3-D60D-41C6-89AB-EBC7EB71F481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592716$B6820797-6089-473F-A290-EBA3FB053175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8872a18571c151afe129c8e6d9bbf314da1f5f1b","datavalue":{"value":"action languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592716$B1AAEBAE-6D2E-4B18-8C6E-9E75C03E72BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592716$E61107ED-FCDC-4F04-B585-7841EC7D6E8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a383facd4538e4a25325fc3fe906346eb267f5f","datavalue":{"value":{"entity-type":"item","numeric-id":21878,"id":"Q21878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$D8301D0C-FB35-4A3A-8807-2414421090A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"610b123f470adc1156a1401a3ca9fb5c324c73e9","datavalue":{"value":{"entity-type":"item","numeric-id":19415,"id":"Q19415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$3C39F708-31BC-4903-8A90-D6574BE578F1","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":"Q4592716$BFD78D2E-3858-476D-A6CF-FFB79567585C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2aba9da28aaae86716ac92819c38b130d652ac","datavalue":{"value":{"entity-type":"item","numeric-id":2851240,"id":"Q2851240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$C2F61A82-BF6C-4BFB-B1F6-8754C0A19639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cab127ced1638ab08ee90c61f35c1117d8b73b0","datavalue":{"value":{"entity-type":"item","numeric-id":428469,"id":"Q428469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$67D3F541-3DA3-4FEF-A9FE-0B5A8F0B278D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2404848ba804a2edf76db94568afb4fd6ad6f1","datavalue":{"value":{"entity-type":"item","numeric-id":532994,"id":"Q532994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$6BB2C23D-2BF1-40FF-A50E-E3F57F5BC5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$AA900EEC-B659-42CF-B233-12A9D4C86FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6640a7758381c344a0ee4d9534b5727b14a5ddff","datavalue":{"value":{"entity-type":"item","numeric-id":3624034,"id":"Q3624034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$17AFE8BA-C826-45DB-9B12-2BCDEF5FB1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$6AE2ECF6-17CC-47CD-A35F-CB03C38524CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2270285a3570d89bddf77fd2e56ee3414b42fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4930780,"id":"Q4930780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$0324313F-7A3A-434D-A6CB-669213C57C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65521026baad34fe2ee1280fedcc0313ba36fd36","datavalue":{"value":{"entity-type":"item","numeric-id":814551,"id":"Q814551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$45DEC32C-E8D7-47B8-8310-DFC300496349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f8417db223c51208a4d1f2448684521fec2717","datavalue":{"value":{"entity-type":"item","numeric-id":1028649,"id":"Q1028649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592716$1E749F73-3BF5-4EC5-B889-1201C6D214A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0124dd7e7417907662faed490be0ea03dd8f1a8","datavalue":{"value":{"entity-type":"item","numeric-id":2401950,"id":"Q2401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8a904842c1c038ddc45334d7ba6ee223880bee","datavalue":{"value":{"amount":"+0.7683871984481812","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":"Q4592716$2B86EAB8-18E9-406B-A8F8-CA6C4F3CE0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63fcb9d32e02039f394ff5cf6d73d76ff0018f","datavalue":{"value":{"entity-type":"item","numeric-id":2743714,"id":"Q2743714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9b40a6c05687d4fd7524b9299a79dddd04c22a","datavalue":{"value":{"amount":"+0.7484546899795532","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":"Q4592716$7FE00C50-DA5B-4831-914B-00184694185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b22b245697c88bab44c81afc4d338205b7fe63","datavalue":{"value":{"entity-type":"item","numeric-id":1853618,"id":"Q1853618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b11fb9c15062b86bdcd4782db6777bc2224cb44","datavalue":{"value":{"amount":"+0.7447816729545593","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":"Q4592716$6BE1EDCC-A1E6-476D-BCEB-E7B7B1ED9739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8909ebcad76575d7ea3730583c0e9b602b3d84","datavalue":{"value":{"entity-type":"item","numeric-id":2766651,"id":"Q2766651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4daf49a449e285299052ceea8e546d5c2261e2a7","datavalue":{"value":{"amount":"+0.7326034903526306","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":"Q4592716$9AC51F56-286B-4A2D-A92B-4B79178BA9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be51f80c0bce1a9db6ec1f89f7f7f5fecabf172f","datavalue":{"value":{"entity-type":"item","numeric-id":2985863,"id":"Q2985863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b192d0339aa059a1fbd5b4ff5ccee999d804a0","datavalue":{"value":{"amount":"+0.7320223450660706","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":"Q4592716$B9E62EB5-AD69-4D3F-A503-B7E89B015A7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592716"}}}}}