{"entities":{"Q1819948":{"pageid":1830690,"ns":120,"title":"Item:Q1819948","lastrevid":69402468,"modified":"2026-04-13T06:45:52Z","type":"item","id":"Q1819948","labels":{"en":{"language":"en","value":"An overview of automated reasoning and related fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995086"}},"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":"Q1819948$94009218-343C-4E20-958E-24B2A58F502E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d0b6eb92582d214fbd94cacfda2803a994fac34","datavalue":{"value":{"text":"An overview of automated reasoning and related fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819948$B2C3E3A3-BCEE-49F5-88B2-177544642263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9be40792c85543a75a7c882420c46dca607c31d","datavalue":{"value":"0614.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$F858C2F8-4D20-4E7B-A455-A6E0A9A79959","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819948$1A7F61CF-51BC-4E7E-AE77-45B6F36EDB96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819948$44181007-6E95-4351-9856-6F0665D688FC","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":"Q1819948$0EB11506-E4F5-40E4-ADE5-41263F03505F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4bd0ae162657a459af20dede4b22cf0ada20d7c8","datavalue":{"value":"This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of article, each covering some field and each written by an expert in that field. A field is introduced, its elements reviewed, the current state of the art given, the basic problems discussed, and the various goals listed. Although individually the goals of each field present a wide spectrum, collectively the fields share the interest of automating the process known as reasoning.    Contents: \\textit{L. Wos}: What is automated reasoning (pp. 6-9); \\textit{F. Pereira}: Logic programming (pp. 9-13); \\textit{R. Hong}: Research in intelligent robots (pp. 13-17); \\textit{R. S. Boyer} and \\textit{J S. Moore}: Program verification (pp. 17-23); \\textit{W. W. Bledsoe} and \\textit{L. J. Henschen}: What is automated theorem proving (pp. 23-28); \\textit{B. G. Buchanan}: Expert systems (pp. 28-35); \\textit{G. Wrightson}: Nonclassical logic theorem proving (pp. 35-37); \\textit{C. Green}: What is program synthesis (pp. 37-41); References (pp. 41-48).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$5759F0C7-267C-4B38-BE82-6D7576AEB41A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$9088B749-2F91-4BAE-AD25-B51969CBDD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$C24465DC-E4B4-4B0E-8EDC-EE591808B2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$85E9E311-F1EC-45D5-BD60-7463A7628C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$80FBA4CB-F8C6-4A77-A28B-F11FF108CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$BBB3C9A7-DD85-4BEB-8639-47674599FFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$39C0983D-F0A2-4D32-B83D-6583CC1B9E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4913874d4a9416a4d82eef865dfb7d27dfcd4ef","datavalue":{"value":"3995086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819948$BD2BCBFA-7AFF-4E4B-A5DF-F3FEEE1AB1E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$2745D414-1DE7-4531-B311-6A65B348E28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$EDA104E9-D641-4C07-999F-ABD514849CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150fd066959fd1b5e5e758829772db8693b27f5","datavalue":{"value":"intelligent robots","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$A26636E6-DE11-4287-98DD-D253038896B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9928ae9fcfaf03e4706ca2a7e2f249f4a8e042bb","datavalue":{"value":"Program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$559BA019-591F-42F6-8437-68AEE795C45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$37058DA3-513D-48B9-9115-74BC5B329C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8600a91a135a9dd8edfa3558a60b56e4ba155375","datavalue":{"value":"Expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$A3CC9BBE-EBBD-41B3-9C38-A2D8C4B9C7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4a7964ada86d966fdc7f2bc7e03201ac0651ec","datavalue":{"value":"Nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$A81F0163-A874-4DE9-8DA8-E13C49B6F9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819948$A2DB08A3-223F-4DC5-978C-2B308130BF2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfe4917f47df85084aaacd4d417abed0d82eb6cf","datavalue":{"value":{"entity-type":"item","numeric-id":19078,"id":"Q19078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819948$25F86625-B702-4DA5-B534-5C13F6FC8073","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":"Q1819948$AD6AFF90-6616-45B8-871F-DE98E1AE6556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51be1c467643964aae71846ac6b9396d5427603","datavalue":{"value":{"amount":"+0.806205689907074","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":"Q1819948$7D1DDA33-E0D3-4301-96F3-C400B7684474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece0541a524b3a684ce4405099c8e14e9f4e04eb","datavalue":{"value":{"entity-type":"item","numeric-id":4229404,"id":"Q4229404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22edec939f892b47be407d22522658765c249e90","datavalue":{"value":{"amount":"+0.7945188283920288","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":"Q1819948$3CE8AD39-3184-4ECF-8253-8128FF8C2021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2e9bc12af77f729148531e73535cb6003772aa5","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22edec939f892b47be407d22522658765c249e90","datavalue":{"value":{"amount":"+0.7945188283920288","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":"Q1819948$C3C2F641-AC1E-4A41-9DD8-26E4F69FA1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8fd98a4719949536e71c1154f115b57716de4","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e8f67f9d5cef10b64bb5b9010b17ac5afdcf67","datavalue":{"value":{"amount":"+0.7767530083656311","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":"Q1819948$71A3D66B-4434-46FF-8C46-515F437FABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d17b1eecbcdc95803b8573d7e6232291d09bb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4733440,"id":"Q4733440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7160d972607b9a41b16f9a8d14cd5d1898895e","datavalue":{"value":{"amount":"+0.7750288248062134","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":"Q1819948$60FD6B5C-C8C4-429D-B316-602575890D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An overview of automated reasoning and related fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_overview_of_automated_reasoning_and_related_fields"}}}}}