{"entities":{"Q5282200":{"pageid":7311774,"ns":120,"title":"Item:Q5282200","lastrevid":37909162,"modified":"2024-11-13T15:31:43Z","type":"item","id":"Q5282200","labels":{"en":{"language":"en","value":"A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6752790"}},"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":"Q5282200$D9609A5C-8497-43AF-A22A-2E897A5C0EFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f725a7196888b387f53f9094e945cef526b790ae","datavalue":{"value":{"text":"A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5282200$BC8B197E-0806-4B34-ABDA-81B360B52F86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cd6413e94df0535166442b8693bf42869e12c77","datavalue":{"value":"1366.93711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$355E0F81-377D-492F-829E-D790822B637A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fa3ad4869b4c36269fc0400e807a5907afe8b30","datavalue":{"value":"10.1109/TAC.2007.902736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$42B06279-BA98-47A3-8717-B7CBE1821C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb72b6809a81bfe9d34eb88b2a22f70fff9097b","datavalue":{"value":{"entity-type":"item","numeric-id":1605404,"id":"Q1605404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282200$4BAB442B-812B-4AE0-BF70-4EBDAE16ECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bf5081019ea835007266bdd7f4b90c1ca9c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":215201,"id":"Q215201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282200$20378302-0F1C-4B9F-A91E-77E62BA84C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282200$DB033431-3AF6-470C-A8E7-540FA2DEA58A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282200$BEEE2CD7-C544-4881-8DBA-7A0854BC4D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5282200$07D57138-5C6C-4872-8212-D26100D6F1CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8507c5cb252c5fa8df88e8def65b15a4ca8f94f3","datavalue":{"value":"93E24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$10DEF7AA-0F33-4ABC-A0FE-D89B35C647FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c05236ba6c6eb01728e5ef50a3d845c0afa0da1","datavalue":{"value":"93C41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$6E609D39-7F6B-4CC9-B424-EFE3E71D9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$8ED32BED-85DD-48A8-908D-498485197149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c721f764d9e4fd0c526ca4e165703e440619d206","datavalue":{"value":"6752790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$10227A5A-F73A-4029-83D4-888741C05901","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":"Q5282200$54660C5F-2237-4E1A-AFC7-05BE281FFCB1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fc82fc420a2ca1ed16c04e10a348e1b6b36d622e","datavalue":{"value":"Q57581920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$3C7FCAD6-DC3B-4003-8B8A-46A3A2FEF876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0de19fc21921ffb5326266d703a0b18ee399790d","datavalue":{"value":"https://doi.org/10.1109/tac.2007.902736","type":"string"},"datatype":"url"},"type":"statement","id":"Q5282200$0547492A-0240-4D13-A503-40B8CE92F0FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21012e6d3206feef31a1089138728d1227fa66f8","datavalue":{"value":"W2033118636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$81E4BD43-7AD0-4728-80E5-3787E87566FF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"95e459d2620d9467420a37c90a2f084b68a81aff","datavalue":{"value":"journals/tac/PrajnaJP07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282200$6F979E38-327C-4299-AB82-B3BEC428A1D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5282200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5282200"}}}}}