{"entities":{"Q1077171":{"pageid":1087923,"ns":120,"title":"Item:Q1077171","lastrevid":70062309,"modified":"2026-04-13T12:10:46Z","type":"item","id":"Q1077171","labels":{"en":{"language":"en","value":"Symbolic normalized acquisition and representation of knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956469"}},"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":"Q1077171$4E6E78E9-F978-4C76-95EC-074FBAB20F12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64bc3f719d5c956d7c632d552692419bb0eba064","datavalue":{"value":{"text":"Symbolic normalized acquisition and representation of knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077171$05657B63-FE0C-4DEA-AE39-DFFACF1D06A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea274f731019f3b41d564d3b350bee6ca412e1c","datavalue":{"value":"0594.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077171$CFA1C067-87F6-4DA7-9833-BF3CAB7E35C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc124aad6464e245773573c164846e64e29c579e","datavalue":{"value":"10.1016/0020-0255(85)90006-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077171$D0FBB48A-AB7E-4C40-B218-922B150970C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26ae5b20a88f7b36c7f65e2927f5cc2671a4b075","datavalue":{"value":{"entity-type":"item","numeric-id":1077169,"id":"Q1077169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077171$39560C34-AD39-49FF-8988-A79C69F3DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"977d519c373dc0bd602b23b544b597a80b42f306","datavalue":{"value":{"entity-type":"item","numeric-id":1077170,"id":"Q1077170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077171$D94FDE2F-5499-40CA-A004-E44F33430485","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077171$9970397C-998F-46F6-9DCB-E9714DBB0043","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077171$43DA0F97-2A11-4F60-8619-438DC08EF913","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d222f1b35234e592ac9dcd5c7ec84175466fd6ba","datavalue":{"value":"The authors present a declarative language - SNARK - and the associated inference process. SNARK is based on first-order logic and uses natural deduction (not the resolution principle).    The base of facts consists of triples of objects. A Naur-Backus form of the syntactic description of the base of rules is presented (exact definitions are given by the second author in: ''Un moteur d'inferences pour syst\u00e8mes-experts en logique du premier ordre: SNARK'', Bull. Liaison Rech. Informatique Automatique 97, 24-28 (1984)).    Since different ways of using relations in the rules are possible, SNARK can work in either the logic of propositions or the second-order predicate logic. SNARK allows the management of uncertainty by means of weighted facts and inferences. Some applications in which SNARK has been used are listed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$5D4A2580-70AD-4B11-8F63-B283DDF6FCD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077171$EA66E27C-9661-44E4-BEFF-3E49CD098AB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95877415243447267a8f25fdbce24d060d15d049","datavalue":{"value":"3956469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077171$5B76A8C3-F7EE-4C86-937B-255965ABB641","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035ab4f7bd2cc0ce30ba1ef510b929a747bde4a7","datavalue":{"value":"expert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$BC9F7788-9C5A-4541-A4FB-63E0EE235078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b69a8b9a57f57a4e24ed688a4a4c1ad8de0529","datavalue":{"value":"declarative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$A3A0DF76-42D9-41EA-8761-D4771A7432B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cebdb194ed9960ad5e8731ef3111aab2873c48","datavalue":{"value":"SNARK","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$5B5B5858-B476-4D00-90D3-08AF457F7F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1483f29aa7a3519d107826bcd39832e3c5b58cda","datavalue":{"value":"associated inference process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$B6A39CF2-A487-4F4A-8191-A4DBA0EBAFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$874040D3-D431-419D-8357-FDAA3D792FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$DE058E26-89CD-41FE-8405-D5709C085CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54065589c8d9e42ad0a741f213cc00af21d9e7ee","datavalue":{"value":"management of uncertainty","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077171$1D657620-85D6-4EBC-99F9-6D878D29E3D1","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":"Q1077171$CEF8DE44-27C7-4D71-AA3A-0C592C3CA4DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb29d55482d76b6f3636df5f99b21aa44e0db04c","datavalue":{"value":"https://doi.org/10.1016/0020-0255(85)90006-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077171$B13616CF-35BD-433B-8B17-CB11296339C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdd10b4dbf2166d8fa80f9f374ae2b45aa506fdf","datavalue":{"value":"W2072379849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077171$ACBA14DF-6532-47C7-9DA6-22A2914125C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e0828282953593470d057152b8999a186d9c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4145600,"id":"Q4145600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077171$A197D61F-758E-465C-8D07-FB1357DF47F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b68636171ca23da9824bbdaa0ae5e2affc0c68","datavalue":{"value":{"entity-type":"item","numeric-id":759490,"id":"Q759490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077171$DBD34A93-E088-4BDC-AF72-AFAC3213EAA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebf371142ad56cf7e2acdc01c7ca40705e55bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3821625,"id":"Q3821625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f48aa335834e146a747ed1d8d24ccb02afb818","datavalue":{"value":{"amount":"+0.7117798328399658","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":"Q1077171$FA81B650-4FB5-4010-8E9F-02C1AF7FD439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc276ba46e3e249b6c274f25e5944b157c1f289","datavalue":{"value":{"entity-type":"item","numeric-id":3997974,"id":"Q3997974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0861d085a3c314dd1db52a61a559f599ee596e59","datavalue":{"value":{"amount":"+0.7031709551811218","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":"Q1077171$67379E68-8570-4F3E-9E05-6FF3D06CDE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686e1c92273db135f91b7ad2c9ffae7344a25c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1188696,"id":"Q1188696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9864108fda0a4fa3ecf9ee83a483040bb47b0e4e","datavalue":{"value":{"amount":"+0.7020784020423889","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":"Q1077171$17AE6F89-62F3-4888-8BBE-CBECAC4E3B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04d9b641c7c98a3bbc78fca870e97892e0061f0","datavalue":{"value":{"entity-type":"item","numeric-id":3680312,"id":"Q3680312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f9aa32d24cbcfdbdaa6dc03a07283760a4ce53","datavalue":{"value":{"amount":"+0.7015722990036011","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":"Q1077171$612903CE-8287-4FA8-9565-DF68A025B30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00499b6368f2852cd009d0ac5a4960f7fb921ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f3e77335e3da515bc0f8090e819375c871b9a8","datavalue":{"value":{"amount":"+0.6999291777610779","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":"Q1077171$0EF41678-E1DC-4138-8A97-B8940E3241CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic normalized acquisition and representation of knowledge","badges":[]}}}}}