{"entities":{"Q817840":{"pageid":819688,"ns":120,"title":"Item:Q817840","lastrevid":64603764,"modified":"2026-04-11T21:00:20Z","type":"item","id":"Q817840","labels":{"en":{"language":"en","value":"Hypothesis finding with proof theoretical appropriateness criteria"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013334"}},"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":"Q817840$476E8D5B-4BA2-4826-A677-B745710F9D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b97c963e8c66df8497cd1639820ff184bcd3a4ab","datavalue":{"value":{"text":"Hypothesis finding with proof theoretical appropriateness criteria","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817840$7E3AC8DF-35F0-4627-AACB-5CBF208900A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59e88c8f540ffe78bb42d22b889611a8357a80c5","datavalue":{"value":"1086.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$5A2B0A33-0452-4DE0-9D8A-04D5A8CBCD4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26fe81644492c9098702ec112b02e1e3a73bd68f","datavalue":{"value":{"entity-type":"item","numeric-id":817839,"id":"Q817839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$1D70A357-8DB5-488D-B448-817E9FD827C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b165d0e6ce0099d8eae0f4ed16b24a3534e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":513347,"id":"Q513347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$21397D03-18CF-4C93-8180-484D479BA349","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$8D7A5F53-4A3B-4017-9650-ECE4BF532B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817840$9947CD58-F616-48A5-A2B4-41B55BA403CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$68659174-23C2-41D7-8DAE-F6C27F23C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$CA177BA7-EBAD-40FB-8E23-05CB64B89E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$E32B250C-0403-4F38-A517-A418FB099EAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf27a00418e7eb2d4bc086c9934b73fea06d6ab4","datavalue":{"value":"5013334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$F21E7DBE-D1E2-4DF7-8B1A-0D0114440847","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85377d7becd6dac212f6fa271064c18ce2928a1d","datavalue":{"value":"hypothesis finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q817840$31CFB720-3515-4A63-A6A4-9D566D0429B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q817840$C438980B-0732-430C-96D8-B5399E4E5C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817840$54885267-A9D5-4A90-BC45-7E86179AA033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421cd8521d98055b95c51da5a6c7ceb8fceb0a67","datavalue":{"value":"residue hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q817840$23EC6248-085E-400B-A7BE-174C6AE8427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942d01c41f83f0287b2b37d733bf57097d64092b","datavalue":{"value":"inductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817840$F6988F60-92D1-46EF-9146-886CF06A106D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b584653710698381088be59ebfbf778069007c37","datavalue":{"value":"abduction and knowledge discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q817840$1ABE1C2A-0F07-41EC-B9D5-A79FE6EB5588","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":"Q817840$6A01D20D-A5DB-476B-AADF-BCF997F92813","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c30d2ef1f003a4afeb4766599b7666f264e14228","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q817840$5BDB3B94-2FB5-4B90-9CD3-2A05C8F77318","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0eef087dfcbf0639de315325f80c6fd140e94b8","datavalue":{"value":"W1990145222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$0C64A051-16E2-4B42-ABB8-EFA823C55E3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$027864EE-1498-4EB7-96FC-994BA328ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a7dac8a0a3d5ce0ef24c7d74b9068115d4cd87","datavalue":{"value":{"entity-type":"item","numeric-id":4370231,"id":"Q4370231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$8C2633EF-6A24-492C-87A4-97A7112A8D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$BB098BCD-9EE1-4710-B83F-872B9C3DC857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$36D79443-6C14-4EB2-B1BD-90CB4E409A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d74d9347bddb971c56514ede1d49968826bf64","datavalue":{"value":{"entity-type":"item","numeric-id":4420756,"id":"Q4420756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$3F090E16-EFB4-4DDC-A003-CAB16B96F6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac78d6346f739f6266b5a8445a0ccb15bfa61032","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$BA309140-E2DA-4EEB-9345-9A91D55A0D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$8B6BFB50-BED9-4A33-B884-E9CFA9DEF355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffc16544718d83a4fdaaf484258616599c048b4","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$8B600E33-FE5D-4B19-8D1A-B69092CB0F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b289986960d0c2e491b8285e669497666f448ba","datavalue":{"value":{"entity-type":"item","numeric-id":4262829,"id":"Q4262829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$00E2A9D9-5161-47A6-B4C3-64234A47CD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd05c80acb9a2cb9e6c339ec2dc0ee9378399bb","datavalue":{"value":{"entity-type":"item","numeric-id":4537975,"id":"Q4537975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$1A10E044-C04F-459E-879A-60E9B4662E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd070f67eb457d07dfbc72ded4b3c2924fb84a30","datavalue":{"value":{"entity-type":"item","numeric-id":749217,"id":"Q749217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$47DD432E-BA2C-4276-A9A4-6DA74C7358A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$F3C8D274-287E-400F-A4FF-5883DC2683D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823da8149796bf662de6646b0758fc065565a96d","datavalue":{"value":{"entity-type":"item","numeric-id":4473238,"id":"Q4473238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817840$5F1D2030-C779-4A5D-940B-C49208571DC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf702051553ee717a25cdecefaf3270556c469f6","datavalue":{"value":"10.1016/J.TCS.2005.10.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817840$F7BBAC76-587C-4884-8AB4-D77E2712370C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b93be70c6e1b6c85870558cae91e6b8bcc8e58d","datavalue":{"value":{"entity-type":"item","numeric-id":1874226,"id":"Q1874226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c99fc325839d79465d80858e47ec9ef36c3349","datavalue":{"value":{"amount":"+0.8758565783500671","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":"Q817840$3B3625CE-62FB-4B1D-B3FB-EE6ED4F4BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e67c96933cf959517904be9e71ca2afd09f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4473238,"id":"Q4473238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d47f0220818e0371763722e732becd4cf98e3ae","datavalue":{"value":{"amount":"+0.8669719696044922","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":"Q817840$13E680D0-4EB7-4720-A7AD-F3B93BE341ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9898bfd9fe31bc7bb7474b5fec58e9df8c5a33","datavalue":{"value":{"entity-type":"item","numeric-id":4420756,"id":"Q4420756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1261551848a92a7d520b99b71b020cb03914812f","datavalue":{"value":{"amount":"+0.82053542137146","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":"Q817840$04994837-0335-485D-8CCE-785E4A002CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4b16686d7b36e263ee416bbc9e63e6f48beff5","datavalue":{"value":{"entity-type":"item","numeric-id":3044504,"id":"Q3044504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb90195f2ef33665759b4e1272f600b9a00694a2","datavalue":{"value":{"amount":"+0.8041378259658813","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":"Q817840$0EDF424A-6AB3-443C-86D9-4D17B7B5D412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b113702951b2f59ac8979ddf5b7b0280ecab9f95","datavalue":{"value":{"entity-type":"item","numeric-id":5742195,"id":"Q5742195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dc54c001f99426d782c0b6f098015935f56837","datavalue":{"value":{"amount":"+0.7075610756874084","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":"Q817840$1E3483BE-2077-402A-ADEA-810488B930DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypothesis finding with proof theoretical appropriateness criteria","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypothesis_finding_with_proof_theoretical_appropriateness_criteria"}}}}}