{"entities":{"Q5239231":{"pageid":7268799,"ns":120,"title":"Item:Q5239231","lastrevid":55373782,"modified":"2026-02-17T14:43:47Z","type":"item","id":"Q5239231","labels":{"en":{"language":"en","value":"Formal verification of neural network controlled autonomous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120150"}},"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":"Q5239231$CFA73AAF-B144-4693-857D-F9B9A0E60F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e839fc38141769c86f482c509e27824fa29bd928","datavalue":{"value":{"text":"Formal verification of neural network controlled autonomous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239231$67FE5CA8-9526-4AB4-9EB7-2CC0DB332093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf09219fcf74584943d8bd1ab025433186724bca","datavalue":{"value":"10.1145/3302504.3311802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$C277299F-C8FF-4BFE-9317-A0353DFFCADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f696cfab8a5ce076189c275008e0d6be298709ef","datavalue":{"value":{"entity-type":"item","numeric-id":2984528,"id":"Q2984528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239231$F18F2BF8-CB82-4FAE-9577-91FC53677719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a111b4033ef352c6145101331a46a98fc16d5ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5239230,"id":"Q5239230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239231$48192A1A-D766-40C2-97CB-08BDE77BE9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c21024dd91d241763e80a44e8417410f31e6a183","datavalue":{"value":{"entity-type":"item","numeric-id":1987259,"id":"Q1987259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239231$86A01B5A-3E72-48EE-AA70-50C8986E6022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239231$A5364E13-8540-4633-A8F9-6A7FB8FF21C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239231$C24C946C-6CB2-49E8-AF2A-A027F4A9BCF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01635012cb9b4193b71813723c2ff833f38a8c8d","datavalue":{"value":"https://arxiv.org/abs/1810.13072","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239231$12F833AE-7F56-444E-9E57-565BCF4F32EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$8B35494C-6CBB-4317-9C00-C7C7CA3326CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$1A9AB13E-7248-4576-89EC-A30FEA8CF8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$A47F83F4-BA41-434E-A985-762691F5FBF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb3e1c96368d24d487de6331a0e2b54507a2854","datavalue":{"value":"7120150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$5DC17EB6-7862-4347-8D5C-0FDF5381E0E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239231$61991E72-12B6-4848-85EA-E619D8B42CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239231$D2DF979E-5524-4709-BB3C-0B8A6EF66329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e8fb24190d53185fc187965e543396cedadbb8","datavalue":{"value":"satisfiability solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239231$C1EAB668-6E8A-4180-80F0-BD0C0AF7F0D3","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":"Q5239231$E71ADE8C-95E8-4C7F-A466-7F43CE899718","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc63832130e3959944d4a442fd95b121563beb87","datavalue":{"value":"W2899116309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$398EEC09-BDC4-4FB0-8F3E-4CF49FF9C8C4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a64a9b53f27399607f520d2e53a103b590004906","datavalue":{"value":"Q130989748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239231$1A2782EB-2BAE-40F1-B91B-3B18B5850906","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40792f462c0b5f87b2c1aa4c159684fd3e0d38d","datavalue":{"value":{"entity-type":"item","numeric-id":6120690,"id":"Q6120690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65042addc9d1daac06f6ac56c03949d30154827f","datavalue":{"value":{"amount":"+0.8348425626754761","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":"Q5239231$71855E95-8BBA-40D8-94C2-5F6694F32A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1c934549ad95b5673de0906da7b4777c47d84","datavalue":{"value":{"entity-type":"item","numeric-id":2330586,"id":"Q2330586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a6fe8040af7f42e4456ac8288fd3c7d043153b","datavalue":{"value":{"amount":"+0.7976840734481812","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":"Q5239231$94191AA9-CA2F-4AC7-8595-59B8ACD47003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b42f3d808f0e118d4d933bb9b69d5f7ebc20d00","datavalue":{"value":{"entity-type":"item","numeric-id":6134350,"id":"Q6134350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505d84d0507e46816a2f2b2f7401d4c9cfa4d1be","datavalue":{"value":{"amount":"+0.7836166620254517","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":"Q5239231$3850FA49-DAB1-4409-8C82-A2A504930416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247d2778ad12707d5eb18c4036c6bd4370b231a8","datavalue":{"value":{"entity-type":"item","numeric-id":5239233,"id":"Q5239233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6553a1f3ad805b0fe221f66b09b256177e703e58","datavalue":{"value":{"amount":"+0.78316730260849","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":"Q5239231$1A8950FE-CB3F-45DB-87B5-3D91438F5426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e30cac41cc7c955986b8a9b8e0a2f8a0780db8f","datavalue":{"value":{"entity-type":"item","numeric-id":832173,"id":"Q832173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ae82cc4486c9892a7069d42f803b0406d50310","datavalue":{"value":{"amount":"+0.7702881097793579","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":"Q5239231$10566700-3288-416A-8536-14A825276C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239231"}}}}}