{"entities":{"Q286802":{"pageid":288569,"ns":120,"title":"Item:Q286802","lastrevid":60662577,"modified":"2026-04-10T18:22:00Z","type":"item","id":"Q286802","labels":{"en":{"language":"en","value":"Evidence algorithm and inference search in first-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585259"}},"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":"Q286802$1F60738A-E6E7-4A5D-A17C-4A65DE6BA96A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac29bd442e979cf45faa74a8976b37522d59361b","datavalue":{"value":{"text":"Evidence algorithm and inference search in first-order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286802$FFB4CA4D-0DF7-48A6-8AF2-6924342C3661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05ce3f721fe902fe2bfaa8c7950435ec9e0f1983","datavalue":{"value":"1356.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$0E526B7C-E876-449C-BFEA-01DB758D5728","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$F18A7BE2-EDB0-4FD6-B1BD-453A47DD9AEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286802$87701996-9169-4EDB-8356-1DAC844A7898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$0F3EB71A-2C92-44FF-A24D-959EECE176D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$CA6B97B1-DE02-4A0A-BA23-926B6483DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$D3A860A2-D052-428B-BEF0-559D8D84141C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82a70b4f8f7bc9f2f3ff5b578d7a21f5d7d7aa9e","datavalue":{"value":"6585259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$5A361D35-5720-49C2-87ED-04C24B402857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$B9F10D7C-6566-47DD-8FEF-489EE3E35125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678844433114219afbf111be2d47ddf4979d89e6","datavalue":{"value":"evidence algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$CA211DFC-8B62-45C2-B406-4B939C3BD082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$700DDD0E-8E99-44CE-97E3-52F312795522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$E22713ED-07B2-4E01-A98F-4C5D22CE5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$F8EA3520-19E9-4FDA-A29E-B289F2A94E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$1B73C8BF-806D-40AA-8745-494D510718B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fa4cd184cf34533614a94abcb76bed81015810","datavalue":{"value":"Maslov's inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$67EC5369-7132-4E5A-9C78-97120A2465C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f871a8457e898258f1c72ed74f00c62ca981f03e","datavalue":{"value":"clash-resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$BDF341D3-D954-438B-AAC9-0F7F14D7ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$37606F6C-B23B-41FD-BD95-C7032C52703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf3db3b9f8463ddd52fc0eeb93be0cad92b6b67","datavalue":{"value":"inference search","type":"string"},"datatype":"string"},"type":"statement","id":"Q286802$45ADB958-27D4-4CF6-9843-52CB7DAA6066","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$D2AD75FF-8D69-455F-87D3-72E79C30E3A5","rank":"normal"},{"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":"Q286802$63D0BE7E-EF85-4317-A2EB-EA01B7819A38","rank":"normal"},{"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":"Q286802$ADE98642-E30A-4E69-91C4-B50D0A891027","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":"Q286802$A24B989B-B609-4826-BB37-1ADA057263F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3772506bd455e945b5d615fb29de43bfee455f7d","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9346-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q286802$5BBF4032-A2EC-4AC3-B4FD-B7168AF7AE8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b595d97682abb7502bba820f30274b305616f4d","datavalue":{"value":"W2172979345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$D728174F-FD23-464E-B6C3-3DEADF0E8F47","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":"Q286802$44CC578A-4997-4D30-8C8D-54B89CF86F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$7997E44B-BA3D-4602-BBD9-663F7F5FF54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bc0be7eb9e511c1dbdce4dabbc9f9a5e297b85","datavalue":{"value":{"entity-type":"item","numeric-id":1364068,"id":"Q1364068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$661568E2-8BDD-41ED-9FDE-EC99899D25E2","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":"Q286802$EED18997-79AE-4774-8990-AB933FBA2EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80683fd61d2e2efc67148d2e119d318c8f88627c","datavalue":{"value":{"entity-type":"item","numeric-id":908895,"id":"Q908895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$9427FC70-A278-41B8-A065-1501A41FB62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5042b9bdcafe11643fe7f0bf370d46d257b2c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$B753D0FA-FA72-47F3-957A-D9C778A76F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7767de3c17f4340e1df5c15c5cdb8512e36d6f5","datavalue":{"value":{"entity-type":"item","numeric-id":4938416,"id":"Q4938416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$5B4AE0D0-3CC2-436B-9D83-7AE5BA3B3963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ed133719c25e4d6b7fc6aedef33bf09711aedf","datavalue":{"value":{"entity-type":"item","numeric-id":3853623,"id":"Q3853623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$3DE2ECBA-CA84-46B3-9AEF-B11DEBA99C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe7f5a49874ed4808de5a7de87917b768ae68a8","datavalue":{"value":{"entity-type":"item","numeric-id":3853622,"id":"Q3853622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$098EE9F5-C0FB-418E-862A-0F0E82501A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$F8F4A5DF-0CDF-4388-982A-C86BB759FF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e2984aad27cb3e25159a04dea706a44d204c70","datavalue":{"value":{"entity-type":"item","numeric-id":4766612,"id":"Q4766612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$11892E1A-EC41-4577-A4F3-1E17123DB7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60448e2f2a5e0920e96fb8f0a7ce731c76d3da9c","datavalue":{"value":{"entity-type":"item","numeric-id":5679732,"id":"Q5679732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$49BD7FC4-0919-4D79-B01E-6841CB194BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c320b1d74c5e3e459fe7aaae93b0916ed2bce55f","datavalue":{"value":{"entity-type":"item","numeric-id":557410,"id":"Q557410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$3302EC7A-831B-4CF2-BD9E-7460FE4D8BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa64e19e738b1be07da474f9589eb337bbcf39a9","datavalue":{"value":{"entity-type":"item","numeric-id":5313060,"id":"Q5313060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$B24F2D4B-F4B9-4F17-A27B-3A04DEFD271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$ABCD6D4B-8240-493C-B107-9334D8A732BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c84bdb5d32dc89ac11364907a2af8ec0349cb7c","datavalue":{"value":{"entity-type":"item","numeric-id":3912069,"id":"Q3912069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$1BA93DBE-5DDE-444B-8BEF-B8FE9C2686A1","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":"Q286802$3DCF38ED-1D1D-46A4-8E99-E532EE484D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$C035B4A9-6947-4238-B651-8FED2BB88F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$D9173FF8-9891-405B-9D67-1A8719723EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaff7d7f271a55822b5974c48e090c936eb5a42","datavalue":{"value":{"entity-type":"item","numeric-id":5187869,"id":"Q5187869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286802$0FFCF0DE-B2A1-46C6-9795-39A8144CFC26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0137ee7cf2c85a8c18b45d1beb4f4024b098a5a4","datavalue":{"value":"10.1007/S10817-015-9346-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286802$9EE80FE0-C2BE-48D4-B1A6-7FBF1BAB8EEA","rank":"normal"}],"P16":[{"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":"Q286802$70190ADB-CF12-498B-B5BF-B668B0ED58F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6af2c0e8cbd76ee54f03b159b90cdfcca24c45f","datavalue":{"value":{"entity-type":"item","numeric-id":4938416,"id":"Q4938416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7d8a26898ed516d3495d0503b76db6f771e127","datavalue":{"value":{"amount":"+0.861368715763092","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":"Q286802$94959E1B-EED3-4ABC-B9EA-FEDF188E3C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4bb3a588a3e737b2a23a6c6208baa4808be170f","datavalue":{"value":{"amount":"+0.860998809337616","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":"Q286802$7E0E0160-A27E-4D9A-860D-E1B58CEA707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ae34fdad1c3de6f52233396721d30e865c0d78","datavalue":{"value":{"entity-type":"item","numeric-id":5195276,"id":"Q5195276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d88f3d8714672e3679b168c797e12717ffb8921","datavalue":{"value":{"amount":"+0.8307342529296875","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":"Q286802$CA3CF584-A83C-4BEF-BC8D-E40A513E3DB3","rank":"normal"},{"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":"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":"Q286802$6F0A99D9-B990-4E5D-BC7D-2B0BB77A8FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9765cac59eddcea60234504b856d9327e06abad7","datavalue":{"value":{"entity-type":"item","numeric-id":3496309,"id":"Q3496309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e734c499b140d756a8345c2b0d6385ec5268fb94","datavalue":{"value":{"amount":"+0.7645715475082397","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":"Q286802$BC203C60-1EFA-4DCC-BD35-8DF87F937445","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evidence algorithm and inference search in first-order logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evidence_algorithm_and_inference_search_in_first-order_logics"}}}}}