{"entities":{"Q6411355":{"pageid":13544468,"ns":120,"title":"Item:Q6411355","lastrevid":99526178,"modified":"2026-06-05T20:10:03Z","type":"item","id":"Q6411355","labels":{"en":{"language":"en","value":"Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6411355$635505CE-E5E0-4F58-99AF-31185200DB55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5e3de4d6e4f9f7cd5940a2118dcdc9fc20d11a","datavalue":{"value":{"time":"+2022-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6411355$B42C3D6B-C180-42CC-8126-16D3DAECA1AE","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"d8c81d7d1981e7bb1938f59b23473861bd9d111d","datavalue":{"value":"2209.09703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6411355$F221CA2D-324F-4905-BA0F-9B6D0D639AB7","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6411355$69A7A6FA-1369-4964-8DF6-1611F16290CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"d2c11f9cb81920dffc73275c975cbe2cb1c2aa8b","datavalue":{"value":"math.DS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6411355$555521D9-033F-42EE-A76A-E0E4A96F66DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c2f420dadf11f0ce1a92c96e2c4254650f297d","datavalue":{"value":{"entity-type":"item","numeric-id":832191,"id":"Q832191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6411355$9C45A0D7-EAE9-4D1D-A6FC-D688D0EF1B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cef1e06d83a491a0b29b5580590e2cd4ce05dbe","datavalue":{"value":{"entity-type":"item","numeric-id":832192,"id":"Q832192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6411355$03BF6706-C5AB-40D4-9E55-948E29C2C16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a157e506fc5c10d64914a77b9c6ded9494fdd3f","datavalue":{"value":{"entity-type":"item","numeric-id":832193,"id":"Q832193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6411355$4A951353-517B-4A48-8AF8-CDA4C940AD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6411355$B4199A95-5649-40A2-A721-E25E18378DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6411355$9F36FFF3-D088-4130-82B2-6FFE7CA2E035","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6411355$0CBAD55F-31C2-47FD-9EB5-81DF67A9D2C2","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":"Q6411355$54EFCACE-F532-4526-A3D1-AE4E676B442E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9cdeb10b35da835dd287a2bac48b9c060db040b","datavalue":{"value":"10.1016/J.IC.2022.104965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6411355$EDEEF9FC-D602-4508-A205-E464AA5A714A","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"511b8cb3c48efff756c2d784e1b10eb289de98c5","datavalue":{"value":{"entity-type":"item","numeric-id":2105455,"id":"Q2105455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6411355$013F2E78-8C4E-42A8-89F8-71F7C2D05407","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming","badges":[]}}}}}