{"entities":{"Q2043962":{"pageid":2054704,"ns":120,"title":"Item:Q2043962","lastrevid":73989345,"modified":"2026-04-14T17:58:06Z","type":"item","id":"Q2043962","labels":{"en":{"language":"en","value":"Evidence algorithm and SAD systems: past and possible future"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378038"}},"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":"Q2043962$DEEA1970-5CDF-40EF-A38B-E48FDF1143C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b23410cc87f62dd0ca1e814e6d429163ea30753b","datavalue":{"value":{"text":"Evidence algorithm and sad systems: past and possible future","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2043962$6181AA60-715B-498B-9F54-B1334294C1CF","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":"Q2043962$349B732C-4857-4343-9E12-D880757DC5C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043962$14329CA4-DD7D-4D24-9280-C386172D37A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2043962$D323ADC7-3024-4CF0-A7C7-6E887F5F9E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043962$B41AC9A6-3827-4FFD-B24A-28FBD4253B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043962$F317503B-8168-4A9E-BE69-20FBFE02C83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043962$45228431-53AF-4EE2-A8E4-5825ACD850C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a85d70b577724493026de6495d0c4dc574f5e30c","datavalue":{"value":"7378038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043962$15D63490-EA24-4E88-A2FF-82D155D8201E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678844433114219afbf111be2d47ddf4979d89e6","datavalue":{"value":"evidence algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043962$2D5485D5-C8CF-4F8A-833B-8884DA84A27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed34d3ff273931dafbaad5b0a022fd4f87774cb","datavalue":{"value":"SAD system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043962$6A3E71DA-1DE3-4C82-80EA-117AC0CE2E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043962$4D4B6DB0-7C80-4463-8B6A-DCD25E977418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043962$BC52AD7A-EF74-4B70-B7A6-8F6F15ACE1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39411cc62ce78ebd41da7eb9d170a39ae6dbba3","datavalue":{"value":"prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2043962$DEFFA01A-CD20-4F7A-8567-38609DB9EF6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91b852acc0d0dcb394ea74c8e76a901ae0257702","datavalue":{"value":{"entity-type":"item","numeric-id":21776,"id":"Q21776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043962$830EEA24-D993-465E-86F9-EDFE0A1EBD09","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":"Q2043962$D6ECB96F-AC31-444B-9130-CB1552C5A5B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3074e9328de016b975122c7f92b9354a8a027b6e","datavalue":{"value":"https://doi.org/10.1007/s10559-021-00325-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2043962$57E4CB2C-1D62-4F70-83A7-5E5551A081FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fee2b59b5998d6930e634323805ff07165b33179","datavalue":{"value":"W3128664173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043962$16A49605-65D8-464F-988D-5DFDD05F420E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043962$6F33FAF0-6CE2-4B22-BE18-E767AB1B5D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3012ff42dd21f699c5020df1b8e6ba004c02c4bd","datavalue":{"value":{"entity-type":"item","numeric-id":286802,"id":"Q286802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043962$9B6ED390-57A5-429B-A50C-EE2C91883245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286dba0cbc80cdd0f1ae7c26f1fba8537147aeee","datavalue":{"value":{"entity-type":"item","numeric-id":5620583,"id":"Q5620583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043962$6CEB595A-6522-483A-A4DB-E76AF91CE2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbec2b5d1d5bd95ed04db32be242376d4e3fe6af","datavalue":{"value":{"entity-type":"item","numeric-id":5195276,"id":"Q5195276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2043962$D0B06DC4-8C68-437D-B774-AD74F9380195","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"484b6bcda5a45710fafbdfb77fb3bb628d870e82","datavalue":{"value":"10.1007/S10559-021-00325-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2043962$2C8458A3-3463-4A0D-96AC-97BBD2D12218","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f1d94d4141a6938a42967fbf9785db4ebe52f6","datavalue":{"value":{"entity-type":"item","numeric-id":3582728,"id":"Q3582728"},"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":"Q2043962$A356F039-E5EA-42B9-8803-E0D8982F10D3","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":"42cfb229ea8173166f4710c9a71489b8be8cf0f8","datavalue":{"value":{"amount":"+0.8568072319030762","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":"Q2043962$89873F5C-CF9B-4826-8409-5C4FE361058B","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":"ea1bc27ac5618d72af08306bfc56678cbf32985c","datavalue":{"value":{"amount":"+0.8408299088478088","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":"Q2043962$10C6F939-9088-4262-8997-89787B925CDD","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":"ae9f9f2fe1e2fd8aeeb6d08eb2c6d9282e68ee8a","datavalue":{"value":{"amount":"+0.817864179611206","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":"Q2043962$BFDEB9D0-9EC0-4947-92E5-94280868C96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c916db282b13d9b4d99a599a40b07e3560693e6c","datavalue":{"value":{"entity-type":"item","numeric-id":466397,"id":"Q466397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8fcf57488f30a670e546b58b6fff6891300bec","datavalue":{"value":{"amount":"+0.8166722655296326","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":"Q2043962$28DABD6E-E9B2-42FD-80E6-E6E5F50244F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evidence algorithm and SAD systems: past and possible future","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evidence_algorithm_and_SAD_systems:_past_and_possible_future"}}}}}