{"entities":{"Q814429":{"pageid":816277,"ns":120,"title":"Item:Q814429","lastrevid":64604547,"modified":"2026-04-11T21:00:34Z","type":"item","id":"Q814429","labels":{"en":{"language":"en","value":"A relevance restriction strategy for automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003861"}},"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":"Q814429$8592D437-F19B-4F51-828E-D42F128BC701","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d57883f2c117e365dc7960a33a4269a08aef909b","datavalue":{"value":{"text":"A relevance restriction strategy for automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814429$B8AEA1BE-8306-4654-9945-345FA8EDBF30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11cec00eeeeb1e39a6196cd313e13d6ac1e2a86f","datavalue":{"value":"1079.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814429$8D03C2FB-84F4-4C90-9685-ADDC11A1BEB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb18a39e2cc2147bab0963556f10af9e2147831","datavalue":{"value":"10.1016/S0004-3702(02)00368-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814429$AA7B41CC-A43A-4A73-85D5-83C348CC2E61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6350db9c05cc780a6f4d304d21aed8da2a7f61","datavalue":{"value":{"entity-type":"item","numeric-id":814428,"id":"Q814428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$5E3F54E7-A1DA-4C79-B58B-A5711A1ACC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$8C4F8BAF-C828-428A-A355-A08A2D2A56DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$39D1E05F-6CD2-40B4-9D71-B48BA5693DFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814429$EFE65CC4-0037-4A27-A913-B0409803378A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814429$4CF4C03D-3044-45D6-B04B-C73C5D4DFC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814429$93BB4056-C03F-4C60-BCEC-18C86CF23182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63a67ea4459247934062a2b3f6d774b1109e38eb","datavalue":{"value":"5003861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814429$804422B3-DCE4-46D3-857A-8134F1677F53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c992544355f347718d553816e0b4806acbb73a8","datavalue":{"value":"Relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q814429$629ED245-C9FA-4305-BFA6-7EC554F3A67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428f006db84bd91b916f8b564e34547a26bf0438","datavalue":{"value":"Relevance metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q814429$DDC2D82A-B543-4895-BC47-8108BD707541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742acadec2058a1daf33969cf122f1e00d23a668","datavalue":{"value":"Theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q814429$C4F0CF5F-11D1-475A-A1E8-B6C899731949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e121aed030912a98d33de64ab5564684e402419","datavalue":{"value":"Sorted inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q814429$A88FBB18-11A7-49FB-8C11-CFE13E2FBF7B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b91ac32942574114e615de5dd586d7306b3c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":18709,"id":"Q18709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$E7F851AF-2A4C-42FC-9693-AF2269BA45BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$FCD6E991-A698-4E2B-BE6A-82209EDB95BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64ae165f1f6493ca38a4a7a27b62e7f9cf2eb936","datavalue":{"value":{"entity-type":"item","numeric-id":18711,"id":"Q18711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$5A31C4E5-765D-4D1D-B00A-8F9E3EAB9222","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":"Q814429$931D9A79-42BB-4F2A-989C-CADFCAEC70E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$E01A95A2-5510-43F4-9E33-4FA09AAA0E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6721be9751bbd7d2f2ed196912b01f292059134d","datavalue":{"value":{"entity-type":"item","numeric-id":2723420,"id":"Q2723420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$EF728EED-0577-4131-BB10-A9098FE91901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$EE3075DB-1D64-45C1-9CB9-716A452627BD","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":"Q814429$56813E3B-7412-4D6D-A0FB-0F37A699DFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785f675ddcdbd72c60ed440a7dd0769c21bb409b","datavalue":{"value":{"entity-type":"item","numeric-id":4263169,"id":"Q4263169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$ABA0FD8B-9C7D-4C8B-8CA7-989BFC2E9879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fbc83071ad5f20d8b4483227b1c409325b374f","datavalue":{"value":{"entity-type":"item","numeric-id":4539623,"id":"Q4539623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$845093CC-3BCC-44B3-B05B-D3B90B49224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$35DFBA28-121D-4809-8F8E-B9DB33A60C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$26CA8C7F-A0D6-42F5-ACD0-C845886B91AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$F97F34EA-FC4E-4EFE-B6A2-976CD6DB7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86702a2c27a2e419f342f805a15c601a0c303b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1891262,"id":"Q1891262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$3DB8415B-B44F-4BA8-8A8F-7B62D0184CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edba40c3f2147fb45a56b90650bb8ccff516fd94","datavalue":{"value":{"entity-type":"item","numeric-id":1877374,"id":"Q1877374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$4CF2922E-EBE3-47FF-B677-948B21D17B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$7C7BC36B-9A26-4990-B1F4-89DD08BA508F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$23B4A09F-DFB0-49DE-81CA-02894DA4465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27fe6d242e44013a799380a6c3b4e77ac5900b1","datavalue":{"value":{"entity-type":"item","numeric-id":4249902,"id":"Q4249902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$9F8B9CC9-9A5E-4CF7-97C7-404C6D3EC78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$6536C3AD-D12E-4D95-851A-57B0FE5231E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00589542fdb6ec4fc401e47318165d5bad4f817","datavalue":{"value":{"entity-type":"item","numeric-id":1581853,"id":"Q1581853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$FC72432C-07C8-4698-B9D5-8A75AE564D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7497f568821b5e0695f641f138786f64fb7a28","datavalue":{"value":{"entity-type":"item","numeric-id":809621,"id":"Q809621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$66BF15A1-DD8C-48CA-ADD7-CEF53E3164AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac251759e4b8b56a8b5131e077a39711e974270","datavalue":{"value":{"entity-type":"item","numeric-id":2702602,"id":"Q2702602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$34E93FF4-8C2D-4BA2-BCD2-E9D815435513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb36a8a27e4cde071207eb241ceb2b2dc810779b","datavalue":{"value":{"entity-type":"item","numeric-id":1598444,"id":"Q1598444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814429$811B81C1-F47B-4E0C-8D6A-80E7BA2E01D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d92668713836706b20b0b89d29accb3e1f4e6c","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(02)00368-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q814429$196EC389-51C7-4619-9A82-7DC4001BEBA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa612c31d9fe54e09d22e64df913160e89a0430b","datavalue":{"value":"W2009437478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814429$6E97EC2F-6F7C-4A51-AA26-C3829CD1DB86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349024f45525c8fe7c210fa555e3f89353510a03","datavalue":{"value":{"entity-type":"item","numeric-id":4263169,"id":"Q4263169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5f9d5765a37c5c2b585409fe5f752509ff5383","datavalue":{"value":{"amount":"+0.8153886795043945","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":"Q814429$8B246A6F-21DC-4430-A681-FDED8B3D9FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f02381bb8b67866e9493a12440b01d5c436659e1","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039137c6c1ec4b2213bd96873623ab74616c1feb","datavalue":{"value":{"amount":"+0.796160876750946","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":"Q814429$AC1F25F6-EEE0-40D5-9F30-0660FB2A7A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b71a154c83514fa63471b44c984ea9e7a80d737","datavalue":{"value":{"amount":"+0.7856047749519348","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":"Q814429$50BA26BB-7D36-410A-AE3A-C1B9D4B0EE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8476da4648dc0228d7d9a6f4cd404123e4ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":2726303,"id":"Q2726303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd706b212af7b93153db0a158e04ab6c83c6bd34","datavalue":{"value":{"amount":"+0.7772429585456848","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":"Q814429$D40B7960-6EEC-45D4-8FE4-1D8B095541AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1977ce75e4c66a6e986ece8bd137815f9305537","datavalue":{"value":{"entity-type":"item","numeric-id":4345253,"id":"Q4345253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd706b212af7b93153db0a158e04ab6c83c6bd34","datavalue":{"value":{"amount":"+0.7772429585456848","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":"Q814429$E56D5415-06EA-479E-A919-C7BCB4F44815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relevance restriction strategy for automated deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relevance_restriction_strategy_for_automated_deduction"}}}}}