{"entities":{"Q6200749":{"pageid":13335636,"ns":120,"title":"Item:Q6200749","lastrevid":55585747,"modified":"2026-02-17T19:16:46Z","type":"item","id":"Q6200749","labels":{"en":{"language":"en","value":"Proving properties of binary classification neural networks via \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7806938"}},"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":"Q6200749$9B472D06-2604-4BD8-96DD-0DD89C0EAF3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5b0443a06c8aa92fd310da28c452c31a87e696","datavalue":{"value":{"text":"Proving properties of binary classification neural networks via \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200749$F65869E1-3A52-48B6-85B8-7AA64C1AA82D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0816d216dbc9a91e1da3c5a12751693bb6da7b22","datavalue":{"value":{"entity-type":"item","numeric-id":1799079,"id":"Q1799079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200749$4F2A2F78-0A66-4AB1-A797-A59A3E1E3647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200749$A7EE508C-4C51-4903-BB21-95A026B62332","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200749$C1602BDA-A4AB-4B2A-AE75-437FE18C035E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"784010021c88b1a18d10951655f679e8f8b60223","datavalue":{"value":{"time":"+2024-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200749$9C43B557-85AE-4EF6-A70F-024A58939187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200749$50803C07-F371-466A-B8A9-586E0A9BFDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200749$6212DE4D-E27F-4BC2-B068-240FE067C9EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a34614794307fdf61f0b3d2402579164eebc4a2","datavalue":{"value":"7806938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200749$605AC9D7-CA78-4D7F-A977-9C95761ABFA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9ad16ed41cc8ad9e316ca4a99c73cd9efd2d39","datavalue":{"value":"\u0141ukasiewicz infinitely-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200749$FEFB8B07-010E-4892-9D13-571E10041ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2ca7472eeca82fdb75d94ee294080ab222b692","datavalue":{"value":"rational McNaughton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200749$47EFC812-1FFB-4BED-987C-8BA87897DCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0efe91da4df536f9ec53a9f276b6c2c113d29db","datavalue":{"value":"neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200749$48D87FC6-8C19-4C17-9E66-758073970CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200749$4B014AFA-4692-4440-980A-C6D6FF54058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200749$8AB0D966-F4CC-4D63-846E-9FC87DEF9D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200749$48C4AC00-7E8D-48D3-9ACB-A8CEC6651923","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":"Q6200749$D4CC543A-0B0F-49C6-9879-CF27FB830504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2f776c28e81d12c2025cb20e51ad32f04e4dfe5","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzac050","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200749$EFFE83B0-128E-47B6-AB2D-1A81B6519FB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efc2b69a91049425d2078542949cda8126963a53","datavalue":{"value":"W4226188386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200749$7AA64E56-BB6F-4ED1-BA8B-CD8C3BC46AD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c704c88a6be0e357c7646217538ef2f12caceb95","datavalue":{"value":"10.1093/JIGPAL/JZAC050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200749$29A18694-8A4A-4BB0-9823-B05975AED25E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa16d588a75584c431e970a1c893749e51978a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2215899,"id":"Q2215899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325cfd3e5859299c58cffdcf67126d9df2028cb5","datavalue":{"value":{"amount":"+0.7161335945129395","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":"Q6200749$BA250A89-2459-43F4-AD3E-197A5BFF9201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e138ce59a3fdc9688d9ba0bda7a44bdcf28c449","datavalue":{"value":{"entity-type":"item","numeric-id":2780084,"id":"Q2780084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81b23f1a2b6a5f38af182f3793fe11bdb46e26b","datavalue":{"value":{"amount":"+0.7024446725845337","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":"Q6200749$B8BC8AE3-ED45-49C1-8615-E3E146983AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df7173f30b7bbdc012de60c5c510c1488419d73","datavalue":{"value":{"entity-type":"item","numeric-id":4261127,"id":"Q4261127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34212f8789c0ebbc0d37dd0d50b5eb31a106ded5","datavalue":{"value":{"amount":"+0.6932737231254578","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":"Q6200749$42F45DC5-C830-4A3F-9098-5E316C18F129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc8a4ca3838e051653d055962a5922f2403c80a","datavalue":{"value":{"entity-type":"item","numeric-id":6174545,"id":"Q6174545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b04f37f7b8557ed2c881a48b206e43b9f9d346","datavalue":{"value":{"amount":"+0.6930459141731262","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":"Q6200749$2AA52CEB-D8E9-4C0F-B35E-3F74866CF817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c15da190dd019c82061923cc085b5c141444077","datavalue":{"value":{"entity-type":"item","numeric-id":5692884,"id":"Q5692884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc52f1016090472f488caad39fc170edff6a55a4","datavalue":{"value":{"amount":"+0.6878424882888794","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":"Q6200749$523B0FF1-FB6A-4322-BBA1-015A9FBA08DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6200749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6200749"}}}}}