{"entities":{"Q2817940":{"pageid":2828678,"ns":120,"title":"Item:Q2817940","lastrevid":52614413,"modified":"2026-01-23T02:50:58Z","type":"item","id":"Q2817940","labels":{"en":{"language":"en","value":"\\({\\mathrm{K}{_ \\mathrm{S}} \\mathrm{P}}\\): a resolution-based prover for multimodal K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623276"}},"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":"Q2817940$BA4A57AC-704D-49E4-80A2-FD3EEC199BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cc2adc85dffce231c2db7cb7af7db5219a10009","datavalue":{"value":{"text":": A Resolution-Based Prover for Multimodal K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817940$102EFE1B-F8F3-437E-AC4E-1EFC50B2D1FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef0d85b3ea80b3288655e319723d3ea80a992354","datavalue":{"value":"1475.68444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817940$B00C12B7-6627-489B-9708-292FF00E526F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c933810d3e87e6c903c5c8566eb66993d652d5b","datavalue":{"value":"10.1007/978-3-319-40229-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817940$91196CB2-2F24-4B8B-B0C5-86646022452D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$4CC8B064-F5AB-4F1E-93D3-0E24D5D61413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$5446BBCE-C4AC-4F4D-A98D-76706105C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$108D2C22-4CA2-4FE1-A2FF-1610150EB60E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$ECE65734-CE17-4C45-847D-DD39E259ADFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817940$788C9A0B-355A-4F76-8E95-3B7EEC68B2BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817940$740D0CF0-42FB-4632-97C0-A82322E1A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817940$43D5C5D5-DBCC-4A85-A66F-9C62466C0A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48d669e55a7521ac2fa9b2a23f9dc70b36d5e393","datavalue":{"value":"6623276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817940$3118D6F3-71F7-432E-B5B3-D053ACE0196A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$CF556B99-A7FA-4BD5-987D-4845AC311207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb92d35f2dc272884c7ca08d11b429f74a59468e","datavalue":{"value":{"entity-type":"item","numeric-id":44017,"id":"Q44017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$0540801F-E83C-4EA6-B0E9-BCAD86BCF3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$F81621A5-FBCF-4EE8-8A8F-4CF8FA642F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$6047AF3B-2B42-40F2-AE99-849A82B50F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b73e63da46ad72634f3f2787f78c121045ed2916","datavalue":{"value":{"entity-type":"item","numeric-id":35221,"id":"Q35221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$B1F6373C-3310-42E2-8A92-EEFB7C5EF55A","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":"Q2817940$434BBF92-91FF-4932-8ADC-552F41A6D5B2","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":"Q2817940$D59089F0-31EC-4C60-B2EB-CEDCB6D5E51D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ae2d380a58b41363ff0057c8305510339fd3832","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817940$8DB1B0D0-4232-4256-8868-59717B93D6F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"104bcd064f3506af8d5654f737e2eba3db530b1d","datavalue":{"value":"W2494487003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817940$976450B4-A58C-4206-9261-423B12AFD5BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$CF8902E6-2093-4B41-AE14-03C0C2B37368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$D807A0E5-28D2-4297-9E26-E4D7C36356B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d08596f8f0726fe564215fde6dd8caf61109ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3192204,"id":"Q3192204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$74B772DA-435B-472E-987F-10D1EADEA855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dced7fd9d1f2d0b0d6bc79efb06acf36aab2e44","datavalue":{"value":{"entity-type":"item","numeric-id":4928458,"id":"Q4928458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$40D16061-178D-4946-B0B9-D6E79ED06BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a0cdfbf49c2c2a42fab05844da554fa0d9630","datavalue":{"value":{"entity-type":"item","numeric-id":2721183,"id":"Q2721183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$DF075842-6082-44B6-AD86-11D5B73F955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70b4bd0a0285eb72e09c25a7fa8cfcf48cc0332","datavalue":{"value":{"entity-type":"item","numeric-id":3533143,"id":"Q3533143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$DD81E428-7CC2-4847-A3CB-5422391F02AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899e87059a25c13dd8994962a6e11071ed4064da","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$DBB57C2B-C07F-4F12-9F5D-16AB5E121AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d221eeea8da4b6eb220963d58ddf03b3c7a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3455770,"id":"Q3455770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$FBFBD4FD-A577-4FE8-A158-07631940A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab7350d19158809c2398852d4e1d099edc012c2","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$282F9998-0FE1-4337-BD24-A5A10001918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef08cd0a1d05ccffb5af081dd9e597665e1458a","datavalue":{"value":{"entity-type":"item","numeric-id":4411160,"id":"Q4411160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$BA6E9CB6-D505-4882-9E7C-D0D6E94D194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5dec0979ee80b250e5f4d24210da01a00ee71d","datavalue":{"value":{"entity-type":"item","numeric-id":4913860,"id":"Q4913860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$53C26262-0B5C-489D-831E-2CA89A9A6798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$F1459A2C-65DF-4EFE-AD85-E3B237095865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817940$F77772EF-EF15-414E-ABE1-0EDDCCF191F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54faef99d63028e810e99ec9c56f449005733c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8e1f3b6741c01b1f137d3a76e81df713b0d412","datavalue":{"value":{"amount":"+0.9527369737625122","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":"Q2817940$878701AE-9B2E-4721-BE64-43B41CA7F762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26638a2dc1847797d44ccec79ea0876ae21cf485","datavalue":{"value":{"entity-type":"item","numeric-id":4972162,"id":"Q4972162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d4714e2a08fc9babd161b8106014647a5d672f","datavalue":{"value":{"amount":"+0.8258969187736511","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":"Q2817940$2367D247-D563-401E-9099-D44BE9D2E324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa95b29332657f3434f87150235e83c1199fef6","datavalue":{"value":{"entity-type":"item","numeric-id":3455770,"id":"Q3455770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4084d758d86a658b9d427e14942269a8d8bd0629","datavalue":{"value":{"amount":"+0.8191745281219482","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":"Q2817940$EFDE20AA-A34B-493B-B74A-545C5E15FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc2c9b248b5e31c2d9c118582a2d19acded508e","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee275e95228d73f9972f2ef0e54c4b88213a830","datavalue":{"value":{"amount":"+0.7759116291999817","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":"Q2817940$FD77EFA8-ED60-4C44-9446-96635C30233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4f4ec85980c8c79a6bf25c0a2a61aeed189f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee275e95228d73f9972f2ef0e54c4b88213a830","datavalue":{"value":{"amount":"+0.7759116291999817","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":"Q2817940$E8502AD6-0F29-46B3-9DB5-E63F87AC11F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817940","badges":[]}}}}}