{"entities":{"Q1694445":{"pageid":1705186,"ns":120,"title":"Item:Q1694445","lastrevid":68151321,"modified":"2026-04-12T21:46:44Z","type":"item","id":"Q1694445","labels":{"en":{"language":"en","value":"A vision for automated deduction rooted in the connection method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833546"}},"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":"Q1694445$F21EB3A6-7643-4390-8D15-2F7AEE6A4A17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3197f3063f8b067d8779cedbc2d7f2b3356856d5","datavalue":{"value":{"text":"A vision for automated deduction rooted in the connection method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694445$2A030D8F-7FD1-42F4-9A83-7582F4F9682C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917d53b0073e182aed3f2df3fd070cc7c85914e8","datavalue":{"value":"1496.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694445$06F3BD21-9339-435D-951D-010B3BC5AFC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61b798cbdc468fcd680e1ad7bf325bcf96569113","datavalue":{"value":"10.1007/978-3-319-66902-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694445$7E27A757-93DE-4AFE-A1E9-DF5E2117FAC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694445$9C98724D-EC63-42F0-BDC7-DAF764607A97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694445$2C2ABA63-C298-4514-9B6B-58BF38CA578E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694445$08C97179-B9C2-4AD8-83DA-737DE37199BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"118dd0ea08552b65b3f27433b751ef74c9b9d7aa","datavalue":{"value":"6833546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694445$04112C86-053D-4AE2-BD14-0A341A1BFCE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694445$9AC01B18-8537-4270-A88E-3864015E55A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694445$5B065DE6-FF95-4327-9818-274AEC030DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694445$8E2A5EC2-7676-4518-BAC2-7B8122DED430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd703eff5510932f18a7781218ac4e438edc1c1","datavalue":{"value":"leanCoP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694445$29610F59-56DA-45C1-9059-51EE1A6D7A93","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":"Q1694445$92DD5F77-7EDE-426E-98C3-82C47C061D0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa1d27857acdd5ddc1255a120e789d20733b70a4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694445$291CC184-5FF3-4205-8AD0-35965E6EDBC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd258dcbbe0e45f8b9144d217fbfade8ec53a2e0","datavalue":{"value":"W2750714633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694445$15F7A8E0-5AB6-46E6-AC29-81186960CFC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d36195f20e4b3bc1cf1052444755b098531c4","datavalue":{"value":{"entity-type":"item","numeric-id":3821627,"id":"Q3821627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05405bdd02e2c8a861299b16f8b619dff5b371c1","datavalue":{"value":{"amount":"+0.7578707933425903","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":"Q1694445$ADD54CAF-9379-4D3C-8521-D68EABC1F30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb59aec8f18c9d318a87bb70a1cc8bd36c95817","datavalue":{"value":{"entity-type":"item","numeric-id":4720799,"id":"Q4720799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a2cd07f166f19de1458aafdce8b6d50185da76","datavalue":{"value":{"amount":"+0.7414877414703369","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":"Q1694445$F38A86CB-8AF3-4BF5-982E-0CF73D228E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f935b9a416b2fb999aa9fd8cbef35e9ddfdc9d","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d14c41ab4495dcfe5c9d90c00ccc215637dbd8","datavalue":{"value":{"amount":"+0.7312048077583313","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":"Q1694445$1BE612ED-3298-47CD-876B-E1BB91C24AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d80adb814d2ae23706c09350c02e75fbeccc5f7","datavalue":{"value":{"entity-type":"item","numeric-id":3357560,"id":"Q3357560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99984621575182c550f82031a92050ffcc1e120d","datavalue":{"value":{"amount":"+0.730770468711853","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":"Q1694445$DACFC83A-7AD5-47AB-87B8-0E4FA88FEB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b531bc4ae3dd17503f84b03137871c2ebf042d07","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4a3a97465535e5f655c857bceca98b617aa623","datavalue":{"value":{"amount":"+0.7172698378562927","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":"Q1694445$D828942B-4263-450A-A321-A50627FACB6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A vision for automated deduction rooted in the connection method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_vision_for_automated_deduction_rooted_in_the_connection_method"}}}}}