{"entities":{"Q421446":{"pageid":423213,"ns":120,"title":"Item:Q421446","lastrevid":51474548,"modified":"2026-01-18T10:28:06Z","type":"item","id":"Q421446","labels":{"en":{"language":"en","value":"\\textsc{NeVer}: a tool for artificial neural networks verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038196"}},"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":"Q421446$FD4F1059-8B49-4536-AEE8-3BD1CC0612FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fd85ca30713f204b13ce22a1672cfd68fc31d6f","datavalue":{"value":{"text":"\\textsc{NeVer}: a tool for artificial neural networks verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q421446$48B14B3F-B647-48CF-BF00-92B89DEBB959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49a4fe5531dcea6058511c3fe4e81a260100b0e1","datavalue":{"value":"1251.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421446$3EC250BC-51DC-4B1A-A679-58BE61FC3D7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef25a536e77eb935a4fc311a784de2ad12200bb6","datavalue":{"value":{"entity-type":"item","numeric-id":421444,"id":"Q421444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$D08CD4E0-0669-4B08-8A3C-46B92B8EA61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$7A32E9FD-6185-42BF-AC97-19245EAE06CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$F5458259-8EC1-4882-9A5B-2A4111112FDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q421446$DA2DB0DC-BBF8-4A5E-8439-1C7400CF724F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421446$A77AA527-C301-455F-A182-916C62039CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421446$5A794722-F6F2-4AAD-BB9D-CCC823030238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d38029e7e45ea747dc07f6a274f279643bceb87c","datavalue":{"value":"6038196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421446$DF0498A6-3057-4B0D-B528-013F52D54533","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950d9b9dd8ff3985fd395dcedc81b846f5ff1b63","datavalue":{"value":"formal methods for adaptive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q421446$403561F0-4BCE-4FA0-AF65-44DC00588CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8e2efc7df3903c0107abe78dd6554d1162f962","datavalue":{"value":"abstraction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q421446$DB71B9FD-F259-4208-B800-75245350A1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q421446$148BB5F8-A539-4548-91E8-70B3564DD9D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdb91046b4ed35c7ee1970263357b9522c144a1d","datavalue":{"value":{"entity-type":"item","numeric-id":25456,"id":"Q25456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$78DCF92D-04E5-4AD5-A3B6-4E64642B68C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa9915aebc0029e7fe8b9fd041eb450bc5378c09","datavalue":{"value":{"entity-type":"item","numeric-id":20024,"id":"Q20024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$DE0BB716-0744-4648-89DA-6376C3410F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$CDF74DE2-B853-4126-BB69-C634A7D30695","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":"Q421446$FADAF035-15CB-44D0-8F42-1A4DB73FA5D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aabb0c0f5f701c47f4b161bb0bf40a3fd2b175d1","datavalue":{"value":"https://doi.org/10.1007/s10472-011-9243-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q421446$4F2C46EF-69D6-4F65-B6DC-D31209405D28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5bd9781ad6feceee731ad3923316df389d45fb7","datavalue":{"value":"W2004252880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421446$F4577598-4515-4C9E-8712-C40AE2737C19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$59A839D2-181E-4306-8591-3AC7611F2600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$130A1256-5E98-47B0-ABAA-AF1D9CDE2FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb5c4b219d3464f67abe03bacbab2bc7d5d21ca","datavalue":{"value":{"entity-type":"item","numeric-id":5188173,"id":"Q5188173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$37D94C2F-F8AE-41B9-8F4D-9F0FB85A0B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa6fbcaf7b6acdc779bbf7625bf3ec9050c926f","datavalue":{"value":{"entity-type":"item","numeric-id":1708845,"id":"Q1708845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$8FB26C2C-8B02-4F4F-89ED-0399CBB3CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78b4c1979734563721a3c8a0cacaee721529532","datavalue":{"value":{"entity-type":"item","numeric-id":3005896,"id":"Q3005896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$6696476D-73AF-43E8-BCC9-130D2773D92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d4be5d058c1095b093c44e95949ad0588503f0","datavalue":{"value":{"entity-type":"item","numeric-id":5255086,"id":"Q5255086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$0BBA6FBA-64D7-4BBA-AAC7-D0ED49215760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e011b1355c02f1363fb2cc6e6f400b73716448","datavalue":{"value":{"entity-type":"item","numeric-id":3096142,"id":"Q3096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$983CA06E-30D4-4FE7-9032-178F7A4A6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$FEA15FB7-7675-4CC7-8CDD-E613F341A806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"382fa900703e55c873691ad5ed7f8007f7041e41","datavalue":{"value":{"entity-type":"item","numeric-id":4001920,"id":"Q4001920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$276D9FA6-151B-4D66-B752-DFA4B1AE3929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$3BEABFAA-89DC-47B0-BC4F-DF4F3B7ABABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$D88B6C80-36AF-4B04-AF21-86A94EEC95DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b5396f1858481cae696f986f355d4a4dad8e16","datavalue":{"value":{"entity-type":"item","numeric-id":4424285,"id":"Q4424285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$719B7E71-2892-45FD-AAEC-E28CB364475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$91B3B6E5-15C3-46FF-9355-67B0A4C03C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd8c87981a8e80dfe9b476665cc7218feba42be","datavalue":{"value":{"entity-type":"item","numeric-id":5312442,"id":"Q5312442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$081A4026-86C7-4FA3-9B03-4E8855DDFFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa700107388b75faa5b25138d5d04dc214bdb1e","datavalue":{"value":{"entity-type":"item","numeric-id":4527275,"id":"Q4527275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q421446$2617B265-E1F7-433C-BB1A-5BDE9680BA43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8506ac824a5fb71eb151e78c758707eaef875214","datavalue":{"value":"10.1007/S10472-011-9243-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q421446$A9A98C9E-E65B-4F6E-A364-53FCF6C91A7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca5d37a7870049cecfe718c1400ac47316e9738","datavalue":{"value":{"entity-type":"item","numeric-id":2233525,"id":"Q2233525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef23db67cff93fced16d95a9646e11603b22786","datavalue":{"value":{"amount":"+0.8093994855880737","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":"Q421446$1AEA297E-76E8-4EB7-9492-847D85B64B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db2590a686e2cd107be2bfb07bc1026cc813b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5096089,"id":"Q5096089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1091d06cfdec8d5f171e2cae1ce0f883bc38752a","datavalue":{"value":{"amount":"+0.758637011051178","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":"Q421446$02A664AF-494C-4A6C-A6ED-D2D030A9416B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7594e0bd8e19d030028ffeb913e279a8573504","datavalue":{"value":{"entity-type":"item","numeric-id":2046329,"id":"Q2046329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27363cfdec4f788bc0e00770ec3ef9fd2a75349","datavalue":{"value":{"amount":"+0.7548937201499939","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":"Q421446$CEAAFF16-3A87-40A1-944A-4F72640FD0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5e9575d3f99653ee212b6198623fb0a9530c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f3dbd6cac77ab111c4d6a04d01297f9e54f460","datavalue":{"value":{"amount":"+0.7469500303268433","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":"Q421446$83FB9ADE-A8C6-4B0B-AE86-21E5EF550AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c35f16574fc06d6eccd38fbf10b4591d2b7727","datavalue":{"value":{"entity-type":"item","numeric-id":6108442,"id":"Q6108442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f61ff9b56d8f9eb145d20aa3d67709bba4d0e0","datavalue":{"value":{"amount":"+0.735233724117279","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":"Q421446$2FA8DEE2-2D71-4C69-A5C0-1FB16B48AB50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:421446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:421446"}}}}}