{"entities":{"Q3582728":{"pageid":5612632,"ns":120,"title":"Item:Q3582728","lastrevid":88644389,"modified":"2026-06-04T15:04:18Z","type":"item","id":"Q3582728","labels":{"en":{"language":"en","value":"Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774526"}},"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":"Q3582728$F9517DDA-D0C0-4F15-B6CE-CA8B9CD50A94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97e4289fb3e389011f510d28b07eebc6c6e4824f","datavalue":{"value":{"text":"Evidence Algorithm and System for Automated Deduction: A Retrospective View","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582728$FF25FCCB-8CC6-40B3-AB96-DF36A687A1D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82e83d23f6578c8cc897d4e31fdbc78673b2a6a2","datavalue":{"value":"1286.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582728$5BC17982-1D9A-49B3-A393-9DA9DB5B02E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7494c08279ec62923cce02ca99ec801a22763ba","datavalue":{"value":"10.1007/978-3-642-14128-7_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582728$32A61483-EB7A-41FE-ABF4-BAC484E5A8FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ddcc94cda6405b4202e77d17badedaec16490ea","datavalue":{"value":{"entity-type":"item","numeric-id":865653,"id":"Q865653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582728$B7BA3EA8-F714-4EEF-8489-95E9304336A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3baa85547fd531de7a5ad0a47f954b54157ef91e","datavalue":{"value":{"entity-type":"item","numeric-id":865651,"id":"Q865651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582728$43071676-B752-42CB-9080-F5493AC7499D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582728$BBEB5E4F-2A61-4747-9828-BEC5A7FC072A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582728$C92EDD5D-E570-4B22-ADB3-5C2097FCA25A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582728$1E128464-639A-4F4C-9DD4-6185B442B144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582728$03C840C2-34EC-465E-9683-253593DA654E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89863f67abc0d53f51abce45797dea5d27b5e0c6","datavalue":{"value":"5774526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582728$CEF807F2-74A3-4F74-A839-222CBB982C45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678844433114219afbf111be2d47ddf4979d89e6","datavalue":{"value":"evidence algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582728$64C3D409-C67D-4262-AF44-3CF604797A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44441a2ce8a7b2f1e4d2e1bb889c6254b34ba52a","datavalue":{"value":"system for automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3582728$58A5C59D-3537-401F-8F10-38A46D42573D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e24b1e555719d904bc5723d040851bdd6284eb","datavalue":{"value":{"entity-type":"item","numeric-id":21775,"id":"Q21775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582728$CBBC1C9C-7ACF-4C3C-9BC4-21EC4FD2EB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582728$69ACD967-A780-46C5-830D-7F7D09ED16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582728$AAEFB98B-3658-4B9E-BC91-681743721D79","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":"Q3582728$C71EF015-8A29-47E3-BE95-8975281B74F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ef64c6de4d933e8a006129d0c599287520319b9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14128-7_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582728$87C24670-D1B7-48E5-B2EC-472DD6D6A074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b89b63f68b2d9ed40edcedd44b67f4908127439f","datavalue":{"value":"W2952962425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582728$71001A47-FB5D-49E7-BBFC-34457C945CFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363e43961a6fd052625496b0a4452d17a6721dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2043962,"id":"Q2043962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89430c14a720a06fd17a2aabda328c38555062b","datavalue":{"value":{"amount":"+0.8607497215270996","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":"Q3582728$BF905C18-E0D8-44B2-A008-95045BE1E04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07cfef5e0ac1f843a0cf5e1bfe49ccfe9f301ac","datavalue":{"value":{"entity-type":"item","numeric-id":286802,"id":"Q286802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a15a21c637daaa5a45776c1f34e393f48e92c84","datavalue":{"value":{"amount":"+0.8057466149330139","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":"Q3582728$C73C049F-35E2-4367-A5C1-2613D9751D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613946a2c96579dfa5c29e13693a001e7089eaab","datavalue":{"value":{"entity-type":"item","numeric-id":5313060,"id":"Q5313060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e8bca36b51858099302dd146e19a345aa61edb","datavalue":{"value":{"amount":"+0.8047159314155579","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":"Q3582728$DDDD9CD3-292C-4569-A661-A339AEA84BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8501943cc6440665a98d3497e53b5f62d1801f4c","datavalue":{"value":{"entity-type":"item","numeric-id":1582906,"id":"Q1582906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d0fa64c72ba787dbbb450ae5f809b0efe56d74","datavalue":{"value":{"amount":"+0.7821542620658875","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":"Q3582728$44A4D064-1E33-4CD6-98D7-CC2935018B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03883927d6d0e525f659609548447e11342cdb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef581a787a1b9a22943c1b7cba490f7034bde624","datavalue":{"value":{"amount":"+0.7643897533416748","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":"Q3582728$EDC5187C-DA4C-456D-823E-4A1B53822807","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evidence_algorithm_and_system_for_automated_deduction:_a_retrospective_view._(In_honor_of_40_years_of_the_EA_announcement)"}}}}}