{"entities":{"Q6577662":{"pageid":14188817,"ns":120,"title":"Item:Q6577662","lastrevid":55713706,"modified":"2026-02-17T21:31:03Z","type":"item","id":"Q6577662","labels":{"en":{"language":"en","value":"\\(\\mathrm{CCN}^+\\): a neuro-symbolic framework for deep learning with requirements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7885915"}},"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":"Q6577662$DBAB5B56-E741-46AE-8634-2E9C1C1A2B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6ccb408ffc719740bf0548651a2a20cacaf9fa1","datavalue":{"value":{"text":"\\(\\mathrm{CCN}^+\\): a neuro-symbolic framework for deep learning with requirements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6577662$2E3F2971-B199-4904-906B-94A8A9B64082","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ee0373dfe1cd900461e2ead964389fb2324357","datavalue":{"value":{"entity-type":"item","numeric-id":5026212,"id":"Q5026212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$04B6419C-8385-4E4F-9C67-A6CBC0BB3A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83da45cb77cc1830e25c564189f691d71e3b104","datavalue":{"value":{"entity-type":"item","numeric-id":6577660,"id":"Q6577660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$A7E48ADC-FBED-408B-B302-B1CA5BB48A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1925aa47fe00f235e54ceb681fffd324d58387e1","datavalue":{"value":{"entity-type":"item","numeric-id":6577661,"id":"Q6577661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$DD19E172-E0F0-4230-9C60-BFC44154AA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b195348d07226c8e7f0f64d2f40d54b32951e970","datavalue":{"value":{"entity-type":"item","numeric-id":429434,"id":"Q429434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$C22F717E-4B80-41CD-AABB-8D539974E9A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$7AAF35FD-0E99-4E77-9440-BAE12516DE6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2876a39e0fd1c6f670bcebbafb72baacbae36696","datavalue":{"value":{"time":"+2024-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6577662$8AAA8961-047B-4DB0-B38F-55B6C4E41696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577662$C597F96C-845C-442B-82DF-2CE426296FB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ade65d1f111ca2632c1fd79c9a255b7a733cc98a","datavalue":{"value":"7885915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577662$CBB9D891-6DAA-4F8F-9043-7880FFB926FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38448b5e027ce219c8f4889d762d5620d41d39de","datavalue":{"value":"machine learning with requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577662$9B6BCEE9-9880-4BF0-909A-8C5581A572E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2485e4b343a642bf8157d53dc20588703458b4f","datavalue":{"value":"neuro-symbolic AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577662$249E4585-F4FB-4D3F-B9B7-5A333269F720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577662$E375DF55-3C21-429B-9A0F-2769FF7B724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977ed9a5dd338bf424fd0ab29d89678ee0103ad0","datavalue":{"value":"deep learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577662$138CBCDB-5305-47D6-932B-3650E52B1EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24fc201b1c8a138fd8c0b3aa0a7b0db1320d8036","datavalue":{"value":"safe AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577662$CB95AEA4-8141-499A-A6CC-E386EA524B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6577662$D148847A-8DDD-4CA8-B3C7-05FD2E5EA2C1","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":"Q6577662$14E482C9-6A5E-4A3F-9EB4-70DA2018E594","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ad8a1f5ec541ff464e7d7c3c9ec56c67342764","datavalue":{"value":{"entity-type":"item","numeric-id":5026213,"id":"Q5026213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$314216AA-37AF-41E4-86A0-5955B066C1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08194ac68ce00e18e1aec50fbb8c4a39fa88bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":439018,"id":"Q439018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$266EAF79-C71A-4CF3-A000-6CACD0BD9967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$642F0EC3-E850-488B-A2AD-420BF37B00F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$1AF23F23-5E00-427A-9D1D-8C899777CE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb89d2fd65255cf5f994d275a94129e8a513d90","datavalue":{"value":{"entity-type":"item","numeric-id":3093335,"id":"Q3093335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$FF34D9C0-F5B8-4C23-8F9F-BCCA8B8673C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eca50d88fb782e65bd830eb827ae29cd2ce6f89","datavalue":{"value":{"entity-type":"item","numeric-id":882226,"id":"Q882226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$1F1CEC21-5A9E-4195-AC9B-0CE50996E6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109feb08dbb2376b10d44748cd8609468479cc89","datavalue":{"value":{"entity-type":"item","numeric-id":2667828,"id":"Q2667828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$017A6CB1-42D8-4524-A6F1-C34C4E1D2516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c8316fd764d8131be720d144546c6934f01eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2060729,"id":"Q2060729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$1116E868-9AD4-4E04-B4E7-83877F8A58DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf046d05cdbd3d0179106352a8feacd09f06f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1009293,"id":"Q1009293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$935CFBA7-BB37-4F93-93A7-B3C68896B2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c45043e2b06b02dabde63ae39c05c70ed3b5319","datavalue":{"value":{"entity-type":"item","numeric-id":408590,"id":"Q408590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6577662$B1F91F7B-4F77-432F-BAC4-2CC49ECEF360","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5135724b3b098f7bcf349c25f9e900cd8583585","datavalue":{"value":"10.1016/J.IJAR.2024.109124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6577662$3E2F9E0E-A584-4E52-B9F2-7FFA43EEDBE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbc9f462b940679790bc05a8561c15899e37c65","datavalue":{"value":{"entity-type":"item","numeric-id":2238688,"id":"Q2238688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568e84e45abd502d97de9aa5a91fa7d4e3e56744","datavalue":{"value":{"amount":"+0.6541411280632019","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":"Q6577662$C48DDF95-3AEE-4A39-94BB-DE68608DCDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7f40d91d5132f50eedcc1e154a52504c716b1d","datavalue":{"value":{"entity-type":"item","numeric-id":6097158,"id":"Q6097158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963ce3b001fda82820f780c3dcc2a74e97de7275","datavalue":{"value":{"amount":"+0.6511872410774231","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":"Q6577662$FCB0BB37-ADB3-48E2-BD35-A4E7D52677DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dabf83fd27c49b9b60857ba300f7c6129b39c07","datavalue":{"value":{"entity-type":"item","numeric-id":6199740,"id":"Q6199740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d871ffdc2a9d738d70c81d249780e87fc6c80e82","datavalue":{"value":{"amount":"+0.6471570730209351","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":"Q6577662$A4E93E23-57D7-4BF2-8F8F-642D1940844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54e8c8430948b166c25221b492e01d3454b190e","datavalue":{"value":{"entity-type":"item","numeric-id":5869618,"id":"Q5869618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d16ee99aed33fb425ee96b9987576713ba33c33","datavalue":{"value":{"amount":"+0.6403406858444214","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":"Q6577662$FF2E6ED3-1A95-4E41-A6EA-E4F092ACABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc360236140feafaeb507c5fac37c402547a44d","datavalue":{"value":{"entity-type":"item","numeric-id":2667187,"id":"Q2667187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406edc66e7150526c3e60aa03c5a916b27b26eb1","datavalue":{"value":{"amount":"+0.6375610828399658","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":"Q6577662$3153CF9E-EED7-4C3A-984F-2AC2B3628208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6577662","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6577662"}}}}}