{"entities":{"Q2985884":{"pageid":2996609,"ns":120,"title":"Item:Q2985884","lastrevid":52799678,"modified":"2026-01-23T13:04:18Z","type":"item","id":"Q2985884","labels":{"en":{"language":"en","value":"Automatic invariant generation for hybrid systems using ideal fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6714005"}},"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":"Q2985884$F8164E47-EAE8-4CD8-9888-65F26B4DCEE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aefa26ae53b4a6a43019efe7baa03f58e5817982","datavalue":{"value":{"text":"Automatic invariant generation for hybrid systems using ideal fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985884$B0DCF44D-73BA-41B5-B76A-7059D7D579D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a3be1175d738dc19c00fb1c59f6d819a9c97541","datavalue":{"value":"1360.34082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$C95A102A-BB5E-441F-A13F-C31E0C08AEAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20493f7336394a87161d0d4e00ff0b58446c5028","datavalue":{"value":"10.1145/1755952.1755984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$F79ACB8D-0BB7-4E76-89FC-D29D382A2BB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$1F1E5B76-119B-43B9-AE33-C17BC4C5ADFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0830b461b2628d60d78b1ee4b6f9ab7534bcf7ef","datavalue":{"value":{"entity-type":"item","numeric-id":2985856,"id":"Q2985856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$4A1389D4-263E-439A-A4E8-10FCE1B35E6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985884$35520A21-F895-4959-831E-8C827C92ECD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a85a8a2350cc004fd11df39d564b6343a12d0546","datavalue":{"value":"34C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$6BEDFFCE-98B2-4C1D-BC86-8B0DDFD8BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$55CBB14F-03B7-42A6-8416-56ACD90580E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$0F8BDAEC-A525-4E6F-BEDA-FB54AD7CEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$772F3D61-70A5-40FF-B5F6-C17E35A45AB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83e23cb9ea2d536c850bb0c53c58bbc0a64bfeb","datavalue":{"value":"6714005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$DC913830-FAB7-491B-9DC1-4BD01DD4823F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985884$5F59C17B-D3C2-4A42-BD4D-7776AD21831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554aee6849e12577384803274501015a81e9c2f9","datavalue":{"value":"conservation laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985884$9A0E7783-4E0B-461C-9B6C-BE9CFE290928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985884$43246E29-F647-48ED-95B6-93EEBE32E936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985884$E97562BF-858A-4D0B-ACC4-7D87A3F07C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985884$4E0FF537-E60E-4594-96D0-A4F84AD403C1","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":"Q2985884$EA91B4C2-4B38-4E39-92DB-5A240ECD2586","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50db5cc9abdc83204e770e5d8ff48024638a2bbf","datavalue":{"value":"https://doi.org/10.1145/1755952.1755984","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985884$2216B099-0622-4571-8324-40918B77FDA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abce0222716a075dabeb56509461e60311802304","datavalue":{"value":"W2137258051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985884$BCC94C79-3446-4F75-BF58-C9B7CA6BB971","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287044077b582e9a462122d8a37c632519d945ea","datavalue":{"value":{"entity-type":"item","numeric-id":5307451,"id":"Q5307451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$F5D7628E-AFEE-4FD9-99B0-BA3897982B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$0EDEE65B-F0F6-433C-A6A3-43CC3D54B5CF","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":"Q2985884$BC4DF454-D913-48B1-8246-22A17E227119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$8C2DB40B-70DA-4557-99E2-3B9B1B2030D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a376a655e2451a7e6e0d1c6f7ac4717841b2bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624569,"id":"Q3624569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$2ED5157C-FFEC-4A78-A296-669F861153AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$EB3F809D-CA08-42E2-8120-E7601DFC4D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$308B58E7-978A-4AD3-98F0-E4C232874ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$DA9730E4-F156-41DE-99D2-D250E36EDBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f8c18f194bf33652be2dc20af60bb528fda07","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$E89C9CA7-8896-495B-B73A-1F0708A79D45","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":"Q2985884$471728E1-CE6A-42DB-9AEA-FD39C3D8B32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6484148434bb6bf09207722b95c9d690bb339110","datavalue":{"value":{"entity-type":"item","numeric-id":5273868,"id":"Q5273868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985884$4CBE7BFD-1CF0-4F34-9EB8-AB054330DB4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7d3b8606e3170fd0ffbb8dcd3abfdcd922fd44","datavalue":{"value":{"entity-type":"item","numeric-id":2355695,"id":"Q2355695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4ddbf4516050b0b39cdc1feb6663ccdc491aff","datavalue":{"value":{"amount":"+0.878920316696167","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":"Q2985884$15F2DB9E-E8F1-446C-B455-5D11945A843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c01e2015aef0b45b58ca63c3890ca206d7fb0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bd57d22979b3dbae9fd10cb255a21186706292","datavalue":{"value":{"amount":"+0.8774809837341309","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":"Q2985884$6195C8A8-C89C-4226-B528-38B440C72FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bc94ce1d255a60ed5c9faa551cdd83938cf3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19379116f708641beb158c623ecb3c09c674c37e","datavalue":{"value":{"amount":"+0.8713783025741577","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":"Q2985884$DD0DFED4-7466-4927-A669-C8ADCD0FBB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0241b468b78cc0004ce7aadf41bb9a2f7c42d5","datavalue":{"value":{"entity-type":"item","numeric-id":4930740,"id":"Q4930740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8eba1e709050733b89f8a085f8ae49bba79af5","datavalue":{"value":{"amount":"+0.8598069548606873","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":"Q2985884$B6E87AA0-4BAD-4A17-B146-1085B3AAE8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99942df270589afefc0e5d054fa6c93e5bcd5a06","datavalue":{"value":{"entity-type":"item","numeric-id":5307949,"id":"Q5307949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57f089df4c4ae7c0ce8c4865efd632a49c4bb8c","datavalue":{"value":{"amount":"+0.8310036659240723","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":"Q2985884$3D13E4A3-1E14-4579-B6DA-4837FC12BCEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985884"}}}}}