{"entities":{"Q6545522":{"pageid":14156676,"ns":120,"title":"Item:Q6545522","lastrevid":57344895,"modified":"2026-03-30T14:10:58Z","type":"item","id":"Q6545522","labels":{"en":{"language":"en","value":"Short Boolean formulas as explanations in practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855114"}},"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":"Q6545522$D9E21714-1B75-49DD-9686-D911FF60E4F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1fb7c0d643a04ff168f144ceb3645797efad442","datavalue":{"value":{"text":"Short Boolean formulas as explanations in practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545522$82499B52-7135-4BD9-873F-7DBDC963D84B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"540df669cf1760088a4bdeb03b776862516ddf3c","datavalue":{"value":"10.1007/978-3-031-43619-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545522$1E555DEA-7979-4C21-AA8D-F42478F4A502","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bc473bae905fbffaff82b966672e708d05e7e5","datavalue":{"value":{"entity-type":"item","numeric-id":6168479,"id":"Q6168479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$2373500A-0F4E-4205-9B77-7431AB1AA8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$A2578A7A-2BFB-4253-AF93-C9F0F8578787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$41E28E85-C011-46AF-9208-642BC77BCCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11185b8bebb3ad5cd7a34deb8a919a95d60c41e1","datavalue":{"value":{"entity-type":"item","numeric-id":2694568,"id":"Q2694568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$72110142-E8FA-4B1D-A6DF-BAE72D9D7C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b78f7a9b27928d26da1b94bc1c42acf3a3bc79","datavalue":{"value":{"entity-type":"item","numeric-id":2104259,"id":"Q2104259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$4C40DF45-A31E-4D9F-8B51-20CF794C1996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545522$D621E7C6-0BD8-411C-B754-118E98BEA97A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545522$17D5C300-1A10-4CDB-B288-69D0697E2B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8abc076864432f2771fe795e543edc2c2e527465","datavalue":{"value":"7855114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545522$04908314-4922-4924-AF0A-5EB5A5D48288","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"320b46020378e3355c6c6d3e772940acfd9edca8","datavalue":{"value":"Boolean formula size","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545522$4AB688C4-AC4A-4986-8155-CCE0B4C7684D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925a8d89d661377587d86412ea89cad5cf30a0cf","datavalue":{"value":"explainability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545522$749B8914-486B-4011-89EC-F922E872D4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1420fc87f6b42af33c485f800efa4a88b1be3cdc","datavalue":{"value":"interpretable AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545522$A3155645-A1DF-4580-8105-ABA90B2D1723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5bdbe82b405a04122a0b8fb8edf26f1f9592072","datavalue":{"value":"overfitting error","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545522$AA9BD574-8931-4FCF-9B64-74DAB79AD463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545522$1CB86C60-69AC-4FBD-BF4A-C5DD4BFBB070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adec997d4cc3ccc52ac94baf4acdf869d81bd7a6","datavalue":{"value":"Boolean optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545522$37C40B63-60C8-4767-BF5A-E15638D32820","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":"Q6545522$7E486DD2-5EE9-4E1D-84FB-601317E5F2CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c8d5197dd8fd9d2228af5f121dc5ebad4f6142","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$D3AA3179-9597-437C-B0C5-F8472528C091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f4496e9c5097df00995c9eacd5b0b3cb6d9ba4","datavalue":{"value":{"entity-type":"item","numeric-id":1108056,"id":"Q1108056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$254E9944-6919-46E5-87F9-7131396791BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$37FC0069-DADD-452E-8249-5AD0E2254DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c00d0ca9bf904a270fb7845c88dca9297a4aa2b","datavalue":{"value":{"entity-type":"item","numeric-id":1193631,"id":"Q1193631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$CD306CA5-CBE7-4534-8B69-C64D22CC153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95b826e2da2298db17497778f5d0398edec5b26","datavalue":{"value":{"entity-type":"item","numeric-id":3449220,"id":"Q3449220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$CDBE7B32-5649-4AAA-B49F-0840561993C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$03E70F05-592F-41F0-9EE9-E03EEC0B7917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f8518eb90e49b79a824255366a25f849f01282","datavalue":{"value":{"entity-type":"item","numeric-id":4493303,"id":"Q4493303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$24D229CB-E31D-4388-BDEC-0D1F66EE0C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78e71077ef5bb313c79262d13e63465caf42d2e","datavalue":{"value":{"entity-type":"item","numeric-id":334068,"id":"Q334068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$F308BC08-FEB4-4449-B7B8-E9CD101FF9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$96983AC9-98C6-4E3D-8379-E3F1DFB4B293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa967484a59f0bef317bc749f5e4aec85ac6b698","datavalue":{"value":{"entity-type":"item","numeric-id":4797089,"id":"Q4797089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$3F5B670E-113D-4A32-AB2C-58BBE8BA7083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87937c8ee300f011c004b5c16588b94e56f60168","datavalue":{"value":{"entity-type":"item","numeric-id":2331079,"id":"Q2331079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e710cc8da68b88b2b0dbcaff616bc8fc651eb7c","datavalue":{"value":{"amount":"+0.7115668058395386","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":"Q6545522$8E63819F-3FE4-4A06-9E57-C17719557B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71d8b566c7ba1f422220807f9b798fd571547cd","datavalue":{"value":{"entity-type":"item","numeric-id":4999271,"id":"Q4999271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b250865a182e0eca51ed708317602d3a3e81d39","datavalue":{"value":{"amount":"+0.6883870959281921","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":"Q6545522$720C1270-A940-476A-8794-F954E857849A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c53c66b9bc689ed601fa2cc19d2254e970c67c","datavalue":{"value":{"entity-type":"item","numeric-id":2695522,"id":"Q2695522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573ca42ce87752cbd5a8780f1f8aa4c41aee0f9b","datavalue":{"value":{"amount":"+0.6876910924911499","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":"Q6545522$C29C0E91-48A3-4AA0-8F55-C2C61CBEDDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9411d129c1eadf217fd7645ba5ded9f23792781d","datavalue":{"value":{"entity-type":"item","numeric-id":832283,"id":"Q832283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d15432e45fdab41ef7acbb0aef4a0278bbf134","datavalue":{"value":{"amount":"+0.6867284178733826","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":"Q6545522$7158CCB0-7968-4DAB-9928-BAFA4B2DC3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dabfb51e381599099d43cdff52a94e0508a3bdf2","datavalue":{"value":{"entity-type":"item","numeric-id":1799125,"id":"Q1799125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f3896a59c69be94a1a4dabff8bc161ad72b097","datavalue":{"value":{"amount":"+0.6769706010818481","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":"Q6545522$08A2969C-58B7-473F-B2B7-583A0A7E81F9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545522$2DDDC55F-9E6E-4F0C-ABB9-681A0D425DB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545522"}}}}}