{"entities":{"Q4682313":{"pageid":6711894,"ns":120,"title":"Item:Q4682313","lastrevid":82346708,"modified":"2026-05-06T20:41:07Z","type":"item","id":"Q4682313","labels":{"en":{"language":"en","value":"Converse Theorems for Safety and Barrier Certificates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6938475"}},"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":"Q4682313$EE44106D-148F-422D-9CBC-F7FCAFC49F7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2512d493ff491696e75839fd9ee748a404acd4b3","datavalue":{"value":{"text":"Converse Theorems for Safety and Barrier Certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4682313$04A9BB95-58F1-4488-B9E6-17DEF099BBEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51742cd743902a9eb1f20f4d06b67927b3ff662e","datavalue":{"value":"1423.93107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$C5485AAE-95B7-4723-B80E-68F395AA639E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f89f042d62148852c7417fc2d2d62e613a8ca02","datavalue":{"value":"10.1109/TAC.2018.2792325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$4B8014CB-DE26-4FF9-ABB6-7C1BAF8A233E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4682313$1F6B6C43-2EFC-4638-A1B4-25E2125E8348","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":"Q4682313$359924F7-78E5-4960-8929-498F145186CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0999c2299c6e7b0f926a30f34cc3f95d56fb8fa","datavalue":{"value":{"time":"+2018-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4682313$63D975D5-21F7-4653-816C-031094C99311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"badfd2eb131994882937782e02a1e414041d2388","datavalue":{"value":"https://arxiv.org/abs/1701.03948","type":"string"},"datatype":"url"},"type":"statement","id":"Q4682313$CB2639A1-50D3-4135-81F2-09A2BC937283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$BBBC3D1C-A222-4AE7-B615-473D1FCE09B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$E7E3A198-8E77-4C92-8209-BAC8ED102B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$FC59C5DB-AC39-4B33-8C8E-271C53894A13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f27c30b79c8c9d773022c1a53ce4d40b6f8bc8c","datavalue":{"value":"6938475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$6127988A-56F7-4208-9E0F-98F3F0882A66","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":"Q4682313$162BEF6A-3680-4E5C-8DB8-026A50759128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"429aa15444990771e75acc4b839b1d2f580479b2","datavalue":{"value":"W2963249498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682313$70D86B66-15D0-49F9-8869-36CDC02C6E5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf7d49ce7f8d17ee2ed04098189c483c624ce57","datavalue":{"value":{"entity-type":"item","numeric-id":2980573,"id":"Q2980573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d08af4631270d28bb496eb0f5fba9e29232022","datavalue":{"value":{"amount":"+0.9158327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$532255A1-25CA-4D59-A4D6-F5751E65142D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4551b6b5ec698a29be044db47d15b5059ac553","datavalue":{"value":{"entity-type":"item","numeric-id":2986748,"id":"Q2986748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda35b367b2f9fe5219f5dce2650d017668d5cbb","datavalue":{"value":{"amount":"+0.8400594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$12315043-E5DA-4636-8BE9-E29FD0C5C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2ef2ee92e4b028f640e4a4b5dc1223902d3589","datavalue":{"value":{"entity-type":"item","numeric-id":6137493,"id":"Q6137493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d01887c2a3d237f1251020d5e420faba0f6d54e","datavalue":{"value":{"amount":"+0.8352944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$09C327D8-34EB-4A4B-8AC3-133BA345FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61098f2ef2a9221072009b0a177757ed5b810d29","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e467d9900aa91f82ea4a9350aeb03e7930edeaf7","datavalue":{"value":{"amount":"+0.8346648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$0BD2E402-CB0A-45D8-A300-74F89C8C1941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7e735b23b37436b468d2ffedaad362349443d1","datavalue":{"value":{"entity-type":"item","numeric-id":2165975,"id":"Q2165975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ad2f96e2670a84b29c1ca4174c82001158950b","datavalue":{"value":{"amount":"+0.8211001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$154D1D1C-F422-4EDC-92CD-ACA45799B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e7addf41003c69292db785417c3fce02ecdfb6","datavalue":{"value":{"amount":"+0.8204291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$A773DCF4-BCA0-4BEF-B4FC-A8142419E157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ec556f9df3ef9ca8851c23f6b0ba3be72d1661","datavalue":{"value":{"entity-type":"item","numeric-id":1678571,"id":"Q1678571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf290f3ae73d1e5221b8c9525d7247ba58ac4e2","datavalue":{"value":{"amount":"+0.81920815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$9BA64AAD-0160-4DFC-BE1B-DB325F7A24CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b54a5f6f61e68d43b7f7fa5afc06af15913115","datavalue":{"value":{"entity-type":"item","numeric-id":5239226,"id":"Q5239226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0487e5b395df1a0d0a8f0e54bb61325def3bbfb","datavalue":{"value":{"amount":"+0.8116294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$DA6E5FAA-2717-44EA-83A7-E57D8DEF55F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e511f963338a800aa7481bbd1c5ce3b4fa1b24","datavalue":{"value":{"entity-type":"item","numeric-id":1793125,"id":"Q1793125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2d02e06c065e6b0fdd42da3159fb204155a537","datavalue":{"value":{"amount":"+0.81159127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$95591A3C-D224-42CA-B6D9-0049457233BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c147debb88b0ec2165cc220c4e079147e0268075","datavalue":{"value":{"entity-type":"item","numeric-id":5034044,"id":"Q5034044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abe47f680e8d6e7a2d840daa1d350538c139589","datavalue":{"value":{"amount":"+0.8090973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4682313$02D37F37-C3B0-4806-ADB8-690F71C060C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Converse Theorems for Safety and Barrier Certificates","badges":[]}}}}}