{"entities":{"Q5072024":{"pageid":7101600,"ns":120,"title":"Item:Q5072024","lastrevid":54303878,"modified":"2026-01-26T14:46:21Z","type":"item","id":"Q5072024","labels":{"en":{"language":"en","value":"Major 2 satisfiability logic in discrete Hopfield neural network"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7513118"}},"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":"Q5072024$1A03BA5E-3461-4EBA-B23F-BD246A075077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f59648ab9aabc04032a9303687987b9769bcd8db","datavalue":{"value":{"text":"Major 2 Satisfiability Logic in Discrete Hopfield Neural Network","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5072024$3E24CCC4-2F4D-4447-8618-FA79F1C847F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b073db0cfa6daf0d39e4d516a89414033df614d","datavalue":{"value":"1499.68297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$30C9EF6C-838F-43BC-AAE3-18FC641304B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54cbf8767140168394e340f5b164fe0e19732f6f","datavalue":{"value":"10.1080/00207160.2021.1939870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$7A706FE2-F41C-43FB-83FF-A4074764B756","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f905c3331bd6b7827c2486d91a74bfee134b358a","datavalue":{"value":{"entity-type":"item","numeric-id":5072020,"id":"Q5072020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$C8DFB763-D576-4B4D-BA94-25D6A73E0072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9c62f03983d7332ff590f591a4fa26bc20230d","datavalue":{"value":{"entity-type":"item","numeric-id":5072021,"id":"Q5072021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$0752277F-E688-4599-9BDF-44517A2FC4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ff6df25a1ac04cdc72a75b8aa69ffca237ce5b9","datavalue":{"value":{"entity-type":"item","numeric-id":5072022,"id":"Q5072022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$996DDD88-7AF6-47B6-B0B7-C6FC551E9A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20be2828b9ca47bdee9f33a31fdedff9912db89","datavalue":{"value":{"entity-type":"item","numeric-id":4959515,"id":"Q4959515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$785933D5-3830-46B2-A42C-E754D19D6609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b369c095de38d142094e55c4236ef1b0c449976d","datavalue":{"value":{"entity-type":"item","numeric-id":2164904,"id":"Q2164904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$43083DA0-A320-45BE-ABAC-90A2A93A1AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d625540c01deb7a279b663522e25779f04daa809","datavalue":{"value":{"entity-type":"item","numeric-id":5072023,"id":"Q5072023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$3CA2E83D-F4C6-4601-8EFD-9E79B0C5F66D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$A6198AAD-C506-4B1F-A9FB-E4F3BE8C9281","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90c0720e1a62b0a0cc9fb728fce3a94226dbe7a2","datavalue":{"value":{"time":"+2022-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5072024$0C4A572F-2FAE-4274-A4E2-0065A7637EC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$B8442CAF-D25A-4D85-A1B2-F45FB4FC28E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$09045CE7-0A5A-4C7E-9EB7-A86301998F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$6CED5FF1-97AB-430E-B962-10E311C90089","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caaa39db0b7c214e5c1fb64f7ff6a31a4488e512","datavalue":{"value":"7513118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$1627A5DF-CEA7-4036-97FC-89436B762816","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa396b5f20f9a2eac7389c1aa9c439a316a7aa4","datavalue":{"value":"discrete Hopfield neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072024$5BC0DA63-BCD3-4795-A3AB-DB19E6685DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072024$ECDF2365-1218-4A8E-9B19-9283669551AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a62e65e4591bbd666b90a797557810248aac29","datavalue":{"value":"artificial neural network","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072024$08D02666-F7CB-4BF7-9092-03DFD21EE2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1262f47763b62867d019a433dfbcdbb2e8f9f81","datavalue":{"value":"satisfiability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072024$CD845AE6-F0A2-48D8-9D7B-5B10FA8EABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030285d39adaeacb1d013bbe7d231f68fa944653","datavalue":{"value":"symbolic integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072024$15E77B5A-C57B-4CDF-9059-B20DAC49BDBF","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":"Q5072024$CA171FA7-0DE5-4CAA-A975-163FB1112DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"413adffe817427fea63cfabbb633d401a7fa30d5","datavalue":{"value":"https://doi.org/10.1080/00207160.2021.1939870","type":"string"},"datatype":"url"},"type":"statement","id":"Q5072024$95FF5881-F3FA-4839-BD73-C04ADCAB688C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59b583c6fa07a67af0c509151455b700e1e6d771","datavalue":{"value":"W3170941844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072024$A5F4691D-0C40-46D0-B4F9-DBBC94DF07ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17f08bec22c59c7a43875f34e411c52a31e5e87","datavalue":{"value":{"entity-type":"item","numeric-id":2055054,"id":"Q2055054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$6B09F9B0-265D-4580-AFAF-3707E6E9C1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc8028af8bd591c65a53d1e50513a92c5f7b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2185623,"id":"Q2185623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$74989D32-2657-440F-959F-556C79B6F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af549535555f8d967ab3984a6aa9e45a5be2ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2416772,"id":"Q2416772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$8CA1B730-013B-450F-90ED-82168E495121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b73f61cc742521978b067d3097bb10178f24e2","datavalue":{"value":{"entity-type":"item","numeric-id":1075719,"id":"Q1075719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$63185B45-768A-4BC1-A975-57F8675A2BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a179487929eded500f2e81c57c5ca0790b5b7e","datavalue":{"value":{"entity-type":"item","numeric-id":1062454,"id":"Q1062454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$313E9D30-DADB-4B26-B125-D8BEE3954A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4824b6d74d38d3d78ec8fe89631f058bde11fc34","datavalue":{"value":{"entity-type":"item","numeric-id":2430594,"id":"Q2430594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$00E48A44-A73E-4F04-BF6F-6A338F655083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9938416adb43c57947d22e1396dd20c2455cc778","datavalue":{"value":{"entity-type":"item","numeric-id":490455,"id":"Q490455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$152B0B28-9B07-4322-B9F8-12FA11A15E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a892df6b5874f627cbbdcf50193703df3b68bf3c","datavalue":{"value":{"entity-type":"item","numeric-id":3561695,"id":"Q3561695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$1F69C9B3-8C80-4D77-823D-91793E65BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c781337e93f50cfcff52b43f4e06243fa301e132","datavalue":{"value":{"entity-type":"item","numeric-id":2848219,"id":"Q2848219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072024$597BDB53-37D5-4FC1-9504-279BC92DBA02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2f324b1f7a834455a76108238993796c254e36","datavalue":{"value":{"entity-type":"item","numeric-id":4959516,"id":"Q4959516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bdd6c611c47a68048ce86bc1e5f87e44cd9752","datavalue":{"value":{"amount":"+0.7406270503997803","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":"Q5072024$34ACD56F-CC4A-4D6D-9700-621AB1CD9760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238e321435914a1dbebb978c1f17380abd851c06","datavalue":{"value":{"entity-type":"item","numeric-id":3079809,"id":"Q3079809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad15ac10254fec77c6cf2548772bf3d8b415a179","datavalue":{"value":{"amount":"+0.7040364146232605","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":"Q5072024$68D4CD00-F30E-4D14-A294-2848E532E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ff91329e9942b715d6e7ed9127ddc20c823d9d","datavalue":{"value":{"amount":"+0.7033330202102661","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":"Q5072024$B71B4920-D2C9-4C08-B1E9-A7FAF87A46F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e86275cb310befcc18de5991c3b223f3099a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046a5dfa6b13eb079df32a6d84561f7506aefac2","datavalue":{"value":{"amount":"+0.6980761289596558","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":"Q5072024$B06043AA-C1D4-4EA9-ACC0-8464C74912D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5c76fabe88d9c70eba38b514452624b68ca549","datavalue":{"value":{"entity-type":"item","numeric-id":2729721,"id":"Q2729721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e195ddb2152634cf74cfff901569b1f8cea458f6","datavalue":{"value":{"amount":"+0.6845064163208008","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":"Q5072024$3E32B273-7B94-4B6A-915F-FB610EFE4E31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5072024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5072024"}}}}}