{"entities":{"Q4913860":{"pageid":6943439,"ns":120,"title":"Item:Q4913860","lastrevid":41108916,"modified":"2025-04-18T07:58:50Z","type":"item","id":"Q4913860","labels":{"en":{"language":"en","value":"Simple and Efficient Clause Subsumption with Feature Vector Indexing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154719"}},"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":"Q4913860$59EA2A9F-5091-41A1-AE77-C2658A540FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"988a773cb7d49f022b80f912778a5eb9d1f9d8f3","datavalue":{"value":{"text":"Simple and Efficient Clause Subsumption with Feature Vector Indexing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913860$7CBA9E15-E872-4600-9B98-FAE1560ED1B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6cee9bd27c4cc6290cf9a90436c9ee0fdc0335d","datavalue":{"value":"1383.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913860$CE08810E-5286-488C-80BE-1B167AC41DC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90662c7ee631689d5a84367072943281480864ce","datavalue":{"value":"10.1007/978-3-642-36675-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913860$3309905C-1E15-44A7-A288-73B9F2C46CCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41390ccb2889a06af91bd7d467009a1fde2d1850","datavalue":{"value":{"entity-type":"item","numeric-id":862394,"id":"Q862394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$6F149317-C73E-4296-B450-ECFABE3775AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8aa0b3ee498e77ce1255c8f711acc0df364677a8","datavalue":{"value":{"entity-type":"item","numeric-id":4913857,"id":"Q4913857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$35A7ED38-5278-4957-80B8-09B31755B989","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eba33b2385974e8774017fb8f69a7f11b91e4d3","datavalue":{"value":{"time":"+2013-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913860$2A4C2321-5658-4685-A94F-17740DFFC624","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913860$856214A5-7018-4FC6-955E-CCAE64260158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913860$C156BB9E-1BA4-4B0F-BB75-708C1B742C55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04f081b3e6eb7853804f9237ebd048661f0ba5b9","datavalue":{"value":"6154719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913860$C16B256A-E401-478A-A0C1-BB88B8B63A70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913860$55A4829B-D449-4EF2-8009-CC4284C1D8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d1ede154af145f32d96fd914e8671c42a5ea8e","datavalue":{"value":"indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913860$C373CEF1-A115-4F9F-A1BE-8AA5A39ED045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c51344918cf160612586ae31930ddba9864b1c0","datavalue":{"value":"subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913860$6467DC2D-897F-4A7F-8893-C1423088F063","rank":"normal"}],"P1463":[{"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":"Q4913860$F5231C3B-B800-4EB7-9B43-6A9F08E01BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$E3517DA6-0B30-4F76-8238-481A5726DBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b0631dcdd65348a242111f53ee1924677244904","datavalue":{"value":{"entity-type":"item","numeric-id":27508,"id":"Q27508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$B6C63962-9EF4-46F3-9A75-59C33639926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$9F427607-D7DD-4B77-ADAE-481E1857EF00","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":"Q4913860$EE8F2677-8221-4E38-96E1-B69A5C3DC00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$D0C85250-DE35-4971-A1D1-98291EFBA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67b3c015592f295c8d8824a3e0b8178db54463a7","datavalue":{"value":{"entity-type":"item","numeric-id":31436,"id":"Q31436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$D4FCD746-9367-4B1C-BA14-413A6DF4F1C0","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":"Q4913860$339E5431-F2A9-4345-BFF4-F623AC883D32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"171a9e5a1ecd1133d6f6f39bdf8720f26047f5b6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36675-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913860$D2B4713E-29B8-47E3-BD38-8AF923458C1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"208f6bf73e695c3d255ad038c043792ce5adcddd","datavalue":{"value":"W1881680935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913860$2AE1460A-C5A6-4402-8716-AAC549B39B91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f27245772c2159d3ccf93c502a4163695153f","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$28534D41-782F-4A89-BEAC-8F1EBEC31A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf670e64a6cf63cb8d60b11cd930f4ce42cede15","datavalue":{"value":{"entity-type":"item","numeric-id":4524770,"id":"Q4524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$B2678913-F517-4B81-94DA-77B436B5FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b81e365175733035ac7b458a2de9f8cb5da847","datavalue":{"value":{"entity-type":"item","numeric-id":4434439,"id":"Q4434439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$08153028-3DBE-4F19-ADAD-CCDC29C64BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32eeb969eda472fde77b77bf83c3f4e02690290","datavalue":{"value":{"entity-type":"item","numeric-id":3785940,"id":"Q3785940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$54E427CE-D167-4BCC-A22B-7584C4B330CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$F73FC5C8-C0A8-423B-B608-7D3CED65CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c749cacf7214e709d79a5dc896004d1ffa511b","datavalue":{"value":{"entity-type":"item","numeric-id":3150302,"id":"Q3150302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$ED343BF9-0912-480C-8634-00FDB18C09AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$278254CD-9725-40FD-A819-2F7B22BC3784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0823bf909dd74f2e75bb8fe48b679665f020fa6b","datavalue":{"value":{"entity-type":"item","numeric-id":5387895,"id":"Q5387895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$5AB0FB37-A4E6-46BD-AA26-97569336DB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$C74D3C21-A2FE-4ADF-977E-7811537AC609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d299c4c3a2596b58efb9e6593386c8310838b83","datavalue":{"value":{"entity-type":"item","numeric-id":2486586,"id":"Q2486586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$979AC46B-0B88-4D0D-9899-CD281E17870B","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":"Q4913860$05F6ABCB-123E-4994-B36A-0010AF93AA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$F5C18B1D-3DE7-487E-A24C-699CD3936E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42003db60c26fc6c71649bea3c3f355fc8d1c110","datavalue":{"value":{"entity-type":"item","numeric-id":2908518,"id":"Q2908518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$1279AE28-0400-4513-A20B-BEDC8A63CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f707d41b44671464c5d9fbd310386196c74d6c07","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$80531949-E814-4C75-AA7E-9CD6D8C6D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f53d9231bc5ff64922d7dd218bb49071786117","datavalue":{"value":{"entity-type":"item","numeric-id":3768416,"id":"Q3768416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$8919B277-8427-49CF-B27E-8E26ADE639E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b11555faa74c9dd9ad74dc7ae9b8d6db990575","datavalue":{"value":{"entity-type":"item","numeric-id":1904404,"id":"Q1904404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$FE0C990B-D581-4731-A70D-C7DF7EEEF960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913860$70A66FD5-B0FA-4F9E-8555-4729F2E40501","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d653b564b78faf4f12af25646bbfe2afa342f3","datavalue":{"value":{"entity-type":"item","numeric-id":5325865,"id":"Q5325865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bf71a17ac6952236003055a90792716048b4ff","datavalue":{"value":{"amount":"+0.804906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913860$461A58E8-4995-45E4-83A6-D8FAE37C75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d73c1c57ee476f4358f1088a1ae95586e7cf32","datavalue":{"value":{"entity-type":"item","numeric-id":2946592,"id":"Q2946592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20bf5f5824cf1cca59eadc886323c18736159da","datavalue":{"value":{"amount":"+0.78215283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913860$239F09A9-2FA4-4321-9440-FC91D4A3EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096602aa9e8538ebece26b0692ecd82cb1e1ff5a","datavalue":{"value":{"entity-type":"item","numeric-id":1025681,"id":"Q1025681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc89a3013e7a25df41ad710d3d88b70ee358a29a","datavalue":{"value":{"amount":"+0.78207725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913860$0039CA6E-0040-4714-B10E-724C9575F531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6bc55379117bc95e7d4a2a7d5a811aea9fe95c8","datavalue":{"value":{"entity-type":"item","numeric-id":4709182,"id":"Q4709182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f5c26e000d6b88d4bf4e20aad970ef1e611542","datavalue":{"value":{"amount":"+0.78196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913860$5CD7E615-388A-45CB-A52F-BEFD3CADA660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a14f4d0ac1cf290fb6c659a350b41fafef6e47","datavalue":{"value":{"entity-type":"item","numeric-id":6091331,"id":"Q6091331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a088ecd705741de962966116f0e9b499f14385","datavalue":{"value":{"amount":"+0.7810444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913860$356BE1F1-9646-486B-ADBC-CB6806F13634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89272072f8eb99367721e7dc0629297f9187f9be","datavalue":{"value":{"entity-type":"item","numeric-id":2118297,"id":"Q2118297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ab9ac9b023398e9be114e13662831b93257a34","datavalue":{"value":{"amount":"+0.7805823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913860$F649C25F-B359-4AEC-8521-A6E644023C27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913860"}}}}}