{"entities":{"Q2745124":{"pageid":2755863,"ns":120,"title":"Item:Q2745124","lastrevid":83068988,"modified":"2026-05-07T05:51:50Z","type":"item","id":"Q2745124","labels":{"en":{"language":"en","value":"On some strategies of logical inference search that are driven by goals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1653897"}},"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":"Q2745124$502E0651-7802-4675-915E-ACB407869873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a71c56fa89ed09cb781907bac8bc404db6b45a","datavalue":{"value":"0974.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745124$CC029E38-A7B1-42E2-852F-67125B2664A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"122afc96968ac382ab23bcbc8508dba9efbcb494","datavalue":{"value":{"entity-type":"item","numeric-id":2737322,"id":"Q2737322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745124$E22C92EC-5B6D-45FD-A719-8E197C3A2DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f148ba9222fbb9fa38768ae9181a4110428929b","datavalue":{"value":{"entity-type":"item","numeric-id":2744999,"id":"Q2744999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745124$3DF62B53-2894-453C-8F0E-87F5689B0A4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a8fc5d857639e72f49c8b91a290053b2ba97c58","datavalue":{"value":{"time":"+2001-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2745124$D17D8A3A-3E26-4B84-AA2B-81A78512B5A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745124$F50DE4BD-6B11-4ED4-A03C-AC2093096E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745124$38C18F5C-E3DC-41BE-B180-8BF9BDC3E39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745124$29B32B69-6792-4450-9342-D8107029DEE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"402c916e16a99ff8848038be1c017646a0f116a9","datavalue":{"value":"1653897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745124$58FF2CFA-ADFD-48EA-B0D4-0FE735650F7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35dbaa951ca67c1877c3ac860b9f917299606c2c","datavalue":{"value":"logical inference search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2745124$353CEDDA-C1A6-40AE-9F9C-045AAD704C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2745124$CF37A3B8-5AFA-463A-9F79-634A9F39231D","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":"Q2745124$3373F2E6-FD1A-40C4-A669-6D96344F77E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23bff170862c3cf8138e74e3c693f811e1978c39","datavalue":{"value":{"text":"On some strategies of logical inference search that are driven by goals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2745124$80F98A13-396F-4801-9E79-4B107B78C5BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad2dee7d47d7dcc1a11d7db2f11f00ec159c5374","datavalue":{"value":{"entity-type":"item","numeric-id":6648625,"id":"Q6648625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745124$18A4DDAD-943A-4B3F-8669-C5D54E31C7FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c0588e44c93936430caed071d94b5e4a4fd57","datavalue":{"value":{"entity-type":"item","numeric-id":2848048,"id":"Q2848048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c33054b4f1d18f0f182e4306336b93f234483d6","datavalue":{"value":{"amount":"+0.7516501545906067","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":"Q2745124$E0EE5FFC-308F-4448-8E68-AE53075C4AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4e9583ebc162d69faba3543acdc9a631f01160","datavalue":{"value":{"entity-type":"item","numeric-id":4471941,"id":"Q4471941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2c79451d173f5369ebdaf8dfc185fbfbcf414c","datavalue":{"value":{"amount":"+0.7475059032440186","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":"Q2745124$321BA8A8-08A7-4F96-8976-2A6E3A11CB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2439d4f162250de37e0e06ab34e7fe33be00c96","datavalue":{"value":{"entity-type":"item","numeric-id":2932871,"id":"Q2932871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487cb9805e3ee02365624865db5bdc96236c28ac","datavalue":{"value":{"amount":"+0.74603670835495","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":"Q2745124$2B5B3040-1E8A-4159-A1FA-0EB492938931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e16d87ff526c2be71d578850b9265799691ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2452767,"id":"Q2452767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e330717b7517e7ac11323acc13497fc636b38bd","datavalue":{"value":{"amount":"+0.738433837890625","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":"Q2745124$755D2024-33D0-4CE6-9D2B-5B89ED2AA997","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":"b8b6ffac62fb2285d3a571050fefa33cda6cc378","datavalue":{"value":{"amount":"+0.7357430458068848","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":"Q2745124$821D391F-FA57-4675-98B3-5AA30673303F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some strategies of logical inference search that are driven by goals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_strategies_of_logical_inference_search_that_are_driven_by_goals"}}}}}