{"entities":{"Q2908509":{"pageid":2919234,"ns":120,"title":"Item:Q2908509","lastrevid":51543728,"modified":"2026-01-18T17:33:45Z","type":"item","id":"Q2908509","labels":{"en":{"language":"en","value":"Overview and evaluation of premise selection techniques for large theory mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076921"}},"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":"Q2908509$27B9F57F-0A42-4F81-9053-0AAEC49792C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb05f7645aa27d6667c7dcdee11b90a60d71b2f6","datavalue":{"value":{"text":"Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908509$DFB869FD-7DF5-49BF-B935-3A6E14547A1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7cbea7a1b4d1a64a0da9e8f67865bcea9748e86","datavalue":{"value":"1358.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$36B40823-EAE8-4B62-9AE2-115B079A1E70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3dcd3671de7967bc37e5efaa49605fadfc2692b","datavalue":{"value":"10.1007/978-3-642-31365-3_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$7713CD13-4093-4A9D-9B72-09772D3146D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ac899857b53db65920b63129111456d82cf0ed","datavalue":{"value":{"entity-type":"item","numeric-id":286785,"id":"Q286785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$28CC95BC-6B85-4431-930A-3DC157566932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfee262776ec274d7d5ba12a74cfc87d26712e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2071358,"id":"Q2071358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$3E1B5EF8-5C4D-4BF8-B54B-73EC48E2C6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60e241a6b4af462951fffcb8ba4b3a228863211","datavalue":{"value":{"entity-type":"item","numeric-id":976507,"id":"Q976507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$6F9515C6-593B-4B43-B3EB-4D16DEDC936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$542591AD-81EF-432A-B704-2AA451B98339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"773d25d043c40243644d131d63393ada39d41e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1009255,"id":"Q1009255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$51F68E61-6670-482E-863F-F3D80E7F1C3C","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":"Q2908509$4E469538-6A28-4BC9-985E-83589F704426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-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":"Q2908509$A7852664-916E-4DAF-9A39-1E79404CA4C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$277C47F6-4708-4611-AA1C-0EDB33096ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$2AC384AF-7A03-48FE-9999-B6EF456C8F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$8A7DE004-2F54-42BE-931B-FE1EE31001A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74978c486f2c30ce11e0d4c321b6997973fc5087","datavalue":{"value":"6076921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$AF796EBB-2B16-408C-9A80-0C3340D3609D","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":"Q2908509$92823A25-0B63-48E8-91E5-0A348601481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ea0f807e9dc1229f0a5e44480e85f8c5ae2877","datavalue":{"value":{"entity-type":"item","numeric-id":14521,"id":"Q14521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$0F8C895B-8DEF-4C5A-B78D-00739B8BBD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$67686F3F-7EED-4A20-8EB7-F63B66A686D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$2DB8DCE8-E826-4513-AAE4-BE9C6E055523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$FF89E8DE-61D5-40EF-BB36-EBC76E79D8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908509$2CE2BCC5-1BDD-4057-913F-BA15C3960996","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":"Q2908509$4263AA98-5568-4527-88F8-4E7BAB1D181A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ae87e46315c7b11bf9ef9ad714466a8ca256c16","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908509$D3F1A6BD-C453-4994-8ADD-C92CC80A32DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3bab31165b55345b91e511ffed53e5408f97ea7","datavalue":{"value":"W2097437276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908509$BCCC12F2-AECB-4BDE-902A-66D5C3637B2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6520c52faa5b7358ebddb8faa9eea4cdb8c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929dff58f923dd2a3bc1943c89a0c59a21096dfa","datavalue":{"value":{"amount":"+0.8667216300964355","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":"Q2908509$E1E51805-8E06-40B1-B35F-987651E5CF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b46633ff74af5fab70e9ff04fad78fe0aa79d6","datavalue":{"value":{"entity-type":"item","numeric-id":2128800,"id":"Q2128800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40419097299550b3ec0b3a5ec0355c25ba7f865a","datavalue":{"value":{"amount":"+0.7737918496131897","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":"Q2908509$6D4BE221-DD78-49DF-B748-9358132A0817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2a97e00a9bcbbc8de69b7b61640d4aa8a219bb","datavalue":{"value":{"entity-type":"item","numeric-id":2964471,"id":"Q2964471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f8f1df735e7af368d96c2a7ba098cb5b457de7","datavalue":{"value":{"amount":"+0.7727335095405579","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":"Q2908509$9EB1E6F9-1194-4F0F-8D1A-AA31B9341198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e41d5f5c3025f1a4cd3f2b92f4e83fa7a32452e","datavalue":{"value":{"entity-type":"item","numeric-id":5747782,"id":"Q5747782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9658ccb55aba3aa67bbc96b7c614994964c1583","datavalue":{"value":{"amount":"+0.764685869216919","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":"Q2908509$7A1D4528-4582-474E-8F6F-C885A6D51B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4440e24c330497025549da4d4dc8ba9f23acd","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bedb6181cb97d4ebdbe6da6b211d89f1cf7b5ca","datavalue":{"value":{"amount":"+0.7327491044998169","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":"Q2908509$B299EF98-672A-4880-909E-420546782852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908509"}}}}}