{"entities":{"Q2988916":{"pageid":2999640,"ns":120,"title":"Item:Q2988916","lastrevid":52812044,"modified":"2026-01-23T13:37:55Z","type":"item","id":"Q2988916","labels":{"en":{"language":"en","value":"Efficient finite abstraction of mixed monotone systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721612"}},"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":"Q2988916$6395D27B-E95B-4360-B72D-F37D632A8792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f965dee80bdb57aa1dfe76b69258aa8568bcb968","datavalue":{"value":{"text":"Efficient finite abstraction of mixed monotone systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988916$55A10584-7E15-4308-9250-ACF7BB36076E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44a80bad365fc37455dfa58624d7e6b8c5b1db16","datavalue":{"value":"1364.93238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$4B9206C1-549D-4FD7-AE79-84FBD422D347","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59b9d94ff15eddaa6f66cd6435ca31ddc9be8194","datavalue":{"value":"10.1145/2728606.2728607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$A13E1592-402C-4B62-BC8F-A61B4755C96C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46acb9fec80e04f994c4516d13eea5ee4a666b3d","datavalue":{"value":{"entity-type":"item","numeric-id":254597,"id":"Q254597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$F6E9CB39-2B2C-4B29-A185-B5DAE683A7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804871355f0ded4f0be5a0fad239a4e43a0bad76","datavalue":{"value":{"entity-type":"item","numeric-id":162589,"id":"Q162589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$2EEEED2F-21EA-4F4B-9835-C38460B7ABC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$103FADF2-BF09-4E45-A98A-188478102B3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988916$399AE462-EE15-4D7D-A652-9FC510A250D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$A8D0F019-8857-4462-87D5-B40440EB118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$BEBC43A6-4619-4DA2-9FF9-1365650A7293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$52AFBC80-759E-4812-9854-633B079756BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8dce91b45aae56da74aca9c1ed1bc5361b215565","datavalue":{"value":"92D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$3E52572E-F1EC-4DE9-B9ED-47A771472988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$33608398-5E23-4059-B9E7-C4803BAECD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$D0E216CF-CC3D-4667-AB9E-8447B0BC02C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35db2919d03a922c41f0ddb66ae40aac08e9f7a5","datavalue":{"value":"6721612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$79D56D4A-79CA-4381-8C8E-3A8B855EA5A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3a67589210f12b15a882101938506ed592da7e","datavalue":{"value":"finite state abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988916$10B046DB-D7D4-4AB0-9C95-36814B845D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ebe5f74882019ba7ea11ece3af434e2e3c16b6","datavalue":{"value":"mixed monotone systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988916$7167F6CE-7994-47D3-9343-1B43F8EEF52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5efa9a4f464e69f1f79ba18e7577cc1f37aac36f","datavalue":{"value":"monotone systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988916$630223B7-120D-47A0-8008-5B5BD7AA9F66","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":"Q2988916$C768DC6F-4DE0-4477-91FF-2B718FB539C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f8dc1dd2f2642d8cff4d92bc4787488acd3c96e","datavalue":{"value":"https://doi.org/10.1145/2728606.2728607","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988916$94CD9831-7C47-468B-8B10-70E88FF001B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00fb7eacc11104cd5fb03371465927af4d44a0f8","datavalue":{"value":"W2065798383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988916$31726268-41BC-425A-BE32-12DE57942672","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$81587874-D3FD-41A5-BBF7-FC551F7F5A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$CFB897B1-2D27-49ED-A253-42F33A142C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$F69FBC3C-C3D4-425E-BA44-3E89A2F15A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$144CB824-867D-4234-AF05-F060937EB318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$2591020D-1513-4B26-9E8D-E775EE3FD717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988916$F5E6F8C9-F805-4907-BC67-B9953F7CB1B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0f2721f8b57664e8c14791e2663949f2630cff","datavalue":{"value":{"entity-type":"item","numeric-id":2374568,"id":"Q2374568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ee28bb6317daaafbf201d133ab6324e9b271c3","datavalue":{"value":{"amount":"+0.9665244817733764","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":"Q2988916$B5FDD884-B0D4-40E0-88EC-F29FFB095F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf526ce1d9380790dd1bf506f9c4d85c60e90d5","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3856be9fc9e2d3d5382930502d31e93fe24abd59","datavalue":{"value":{"amount":"+0.7377235889434814","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":"Q2988916$168F3B67-99FD-4FF0-8F49-20A69EEB5B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3782bcc3f42ea1b7656de2420eaaf15658dcdf","datavalue":{"value":{"entity-type":"item","numeric-id":2496812,"id":"Q2496812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6111e7514fc961ba177bf5b6c7e9fdc13762d27a","datavalue":{"value":{"amount":"+0.7374867796897888","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":"Q2988916$B4A96D35-D9A4-4DB1-9D9F-7D89FD86D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbed1c2bf6394f3d8bc2a10effe820336c89719","datavalue":{"value":{"entity-type":"item","numeric-id":988783,"id":"Q988783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c058a0be1acc328cb86e1103e47f27a644945710","datavalue":{"value":{"amount":"+0.7221039533615112","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":"Q2988916$FCC15229-4A79-4E3F-B636-A9A83E9C9905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372a54dd258c16c9e767ec82e3ab5af9fe186b4f","datavalue":{"value":{"entity-type":"item","numeric-id":5204378,"id":"Q5204378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ae39d04d7d1f6437d6ab204eed14383f8e1f3d","datavalue":{"value":{"amount":"+0.7171970009803772","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":"Q2988916$90611B8F-FEB3-4524-817C-3D7B00A9CC10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988916"}}}}}