{"entities":{"Q4633549":{"pageid":6663130,"ns":120,"title":"Item:Q4633549","lastrevid":90104576,"modified":"2026-06-04T19:14:54Z","type":"item","id":"Q4633549","labels":{"en":{"language":"en","value":"Counterexample guided abstraction refinement for stability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050655"}},"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":"Q4633549$329D3E6E-A436-4FEF-99C1-F8DFF5E2FD8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4d006d7aa1126bd466cb819ab61fddfe2db4a94","datavalue":{"value":{"text":"Counterexample Guided Abstraction Refinement for Stability Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633549$97515A8A-DE46-4860-AC3C-90155F666F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b94a2beece7376bb409c181ed6971b099d236b","datavalue":{"value":"1411.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$B68723C5-2BC5-4822-9539-0EB5FCE789B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f82fe88040f25a8d51dbc012c13db8d80cdc4eaf","datavalue":{"value":"10.1007/978-3-319-41528-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$ABBC9675-6086-4C2C-91ED-39AA3C48176E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa0e9c6c676e3a811618e1a876ea1a2b12e00090","datavalue":{"value":{"entity-type":"item","numeric-id":636271,"id":"Q636271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633549$237935EF-F53C-4B7B-A2D9-9FBD6E57C70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df8b99050bb6b8c9b18865dda670925bd19b2b8","datavalue":{"value":{"entity-type":"item","numeric-id":2178202,"id":"Q2178202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633549$6722DF1C-5789-43B3-971D-182745147E17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633549$6704983B-E0C0-4759-80C0-5147172C1C30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633549$CB3F6140-DEB0-46BA-B6D6-01A79296203E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$AFD3D841-2B30-43F8-9952-3FB4021430FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$FA64BC47-DD07-471B-962E-25888F995E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2650696ed3935a49b70cc972e8bc0c67a8cd2c3","datavalue":{"value":"93D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$CB6CB875-7BBE-405E-97E9-661C8583025C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"065de6902b0ddc503433dac6172d9406f8221b2c","datavalue":{"value":"7050655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$317C2906-1BCD-4132-8B57-B83CCB63ED0A","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":"Q4633549$559FD989-E441-45B9-AE9E-B456ED223AC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf3b1a884a6e691158297e31823700e4049f4e7f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41528-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633549$A3A11A78-02AD-4AF8-85AE-3963DEA1B7D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcf4e99b1e3df6001303e262c3bf82f80d8b98c8","datavalue":{"value":"W2489612911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633549$F6A6309F-761D-4E1C-906E-4F0839ECAE34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b55fc5186a3f136425e73e065e715e89bcfa428","datavalue":{"value":{"amount":"+0.7645438313484192","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":"Q4633549$55662DFD-31FF-46A1-96C3-2D0367F71071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02e29ccb83fdcce6b1ea272efabe39a1ae3d6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2926638,"id":"Q2926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bce2f6a4e820f9fd53d290ad4538652f0df6943","datavalue":{"value":{"amount":"+0.7600588202476501","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":"Q4633549$7303E04C-E6CF-4626-979C-0F20A7DE4A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658c5e72a4c0ea75cbbf4d0f19e95055ca4e499","datavalue":{"value":{"entity-type":"item","numeric-id":3646262,"id":"Q3646262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5198b08e6f88659a9e82ed6ff2ea609b7303ee0f","datavalue":{"value":{"amount":"+0.7589195370674133","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":"Q4633549$42751BA3-B973-4739-9942-09DEC6E45F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bfbb0ca5dcc56a898f92deb53608a439ba22f3","datavalue":{"value":{"entity-type":"item","numeric-id":4449227,"id":"Q4449227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f20f27ef853356eaaa842a03572ab9534a9dcc","datavalue":{"value":{"amount":"+0.758489191532135","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":"Q4633549$A049F8FE-E324-4C7C-9566-4BB67B217380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f2ef821b6e8c5ff40d336dd7afec9b97f3b15d","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e82eec125dfc0b37f600089c0a474c293447ee","datavalue":{"value":{"amount":"+0.756956934928894","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":"Q4633549$C8FD8440-8CA2-4D61-B01A-6A3FC14BFE94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexample guided abstraction refinement for stability analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexample_guided_abstraction_refinement_for_stability_analysis"}}}}}