{"entities":{"Q4648372":{"pageid":6677953,"ns":120,"title":"Item:Q4648372","lastrevid":90564215,"modified":"2026-06-04T20:42:25Z","type":"item","id":"Q4648372","labels":{"en":{"language":"en","value":"First order logic in neuro-symbolic integration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103889"}},"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":"Q4648372$396A5C03-2EC5-47AC-817C-1553B9A19074","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdbf7ebd57b915f9127017474576ce1b0683cfd5","datavalue":{"value":"1250.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648372$FC485697-4D8E-4AF0-90AC-ED651D11FBD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf1635040aa337648e418ba866074aa73ba6003e","datavalue":{"value":{"entity-type":"item","numeric-id":644835,"id":"Q644835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4648372$54242537-A3B8-44B7-8BE4-D1EBDAB716C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dae4bbc50418e5189b1ef10240a9b3aab1a675d1","datavalue":{"value":{"time":"+2012-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4648372$A14B623C-0C52-493B-9A98-0BEF523733B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64657b63480a5c1ffacb77769fe59070cc921d65","datavalue":{"value":"http://www.pphmj.com/abstract/6465.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4648372$F3523C2C-6777-457D-BF36-C6800586224A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648372$2D842D71-4BFD-48FC-AE48-4031A1CBC4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648372$24448FD4-6F7F-48EF-9008-15093B144721","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94373cafac96c3b76665ea7e04068506da8d57ea","datavalue":{"value":"6103889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648372$6CB8B593-1245-4332-BA0B-5C5D4EC6A3DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ec95c6bf421e7361164f1ed8253eabb4b610f5","datavalue":{"value":"Hopfield network","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648372$3FDB916E-437C-47B7-A7FE-AA3843774389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b05c31216740d78e5b4531e941750d474e025653","datavalue":{"value":"Wan Abdullah","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648372$5644AD72-45F3-4E6A-BF35-9662B44BE367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"936263b344c751f1d51e285a622c6e320f9bf573","datavalue":{"value":"Pinkas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648372$6709A7C5-7663-454F-A7F9-256CD0426E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648372$8CF0FF01-8F43-4FB6-AA58-A364A378DC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648372$2FAF6726-341B-48AF-9650-9D2BFD7D664B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648372$59E6C095-0355-421C-88D2-D62E669E3C85","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":"Q4648372$D1652CA8-5A7C-49D8-8C24-B742E45881C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e0bb93d22f8d7d250d6ecb61fc13e1ca5da1d6","datavalue":{"value":{"entity-type":"item","numeric-id":3561695,"id":"Q3561695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b6653974b8fe02aac2d1b4a2736798cec8b1ed","datavalue":{"value":{"amount":"+0.7557915449142456","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":"Q4648372$53064A8F-DAB1-492C-9164-3BA734B973F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b47a5ea5ac20884154596ee698e71165d1a2ca","datavalue":{"value":{"entity-type":"item","numeric-id":2907778,"id":"Q2907778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c728012b6fbc19b3b96e456058d4bfc214137d3d","datavalue":{"value":{"amount":"+0.7199368476867676","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":"Q4648372$ADCA0849-7525-4695-8903-1D69A500070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298c5f4a3d8d692d3208d8b47c743f6021f5d8ac","datavalue":{"value":{"entity-type":"item","numeric-id":4796144,"id":"Q4796144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a87c73d503f617404a31973f5f670f7c4cd3fe","datavalue":{"value":{"amount":"+0.7180601358413696","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":"Q4648372$EE6FCE05-4E9D-4B3A-8E41-47A939330A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bab23eda0d7a7470a79d2323a1477fbfda11cc","datavalue":{"value":{"entity-type":"item","numeric-id":5468795,"id":"Q5468795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea9faff729299bba709d8976b70de43470649de","datavalue":{"value":{"amount":"+0.7177724838256836","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":"Q4648372$859E5957-28A6-4F2E-B7E3-F4E09BB17711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4706902424974f8ad0bd36ffbfd520676ae055","datavalue":{"value":{"entity-type":"item","numeric-id":5303079,"id":"Q5303079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90519c423371b9243f596a034d484c8ce21a086","datavalue":{"value":{"amount":"+0.7167633175849915","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":"Q4648372$0259970F-FD3C-4E05-A381-F1A4397CEDDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order logic in neuro-symbolic integration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_logic_in_neuro-symbolic_integration"}}}}}