{"entities":{"Q3499018":{"pageid":5528921,"ns":120,"title":"Item:Q3499018","lastrevid":48731986,"modified":"2026-01-05T17:55:20Z","type":"item","id":"Q3499018","labels":{"en":{"language":"en","value":"Weighting strategy for non-clausal resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5276607"}},"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":"Q3499018$03A28D9D-B1C5-4843-AB89-9A1D211B1DE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46a89b374368e5fb2733ba6c044b32d34b2d977f","datavalue":{"value":{"text":"Weighting strategy for non-clausal resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499018$22BF8FB7-DC4B-427A-9A6D-E8363E6C9CAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ede0cd99967a9ed8daa18b79f22ff3f87313a24d","datavalue":{"value":"1146.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499018$8D9E3D80-7B7C-4785-AD55-106AC6B19B80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1900af42e9bced78d53cef6db612192e191e65cb","datavalue":{"value":"10.1080/09528130701475617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499018$C95A2A6B-33D9-4FA0-A9AB-39F3E762FB50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499018$1BA11472-AC6E-4926-9EDE-4C5EA8B41A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"323b5428bd25b1bf57218d22ff06d9e5b29f1d38","datavalue":{"value":{"entity-type":"item","numeric-id":460637,"id":"Q460637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499018$56B43B00-9561-4499-AA4E-9BDE5BC41820","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499018$2A19AD7F-57A3-4C60-A9C0-3C13722D4BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7bef1c16279678ad54ff2c564f5522370b3cfa2","datavalue":{"value":{"time":"+2008-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499018$B25A929B-030A-48DE-BC5E-E26AA0D45EAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499018$F62FA7E4-EE23-45EC-B8A4-759C8A6FA7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499018$4126AC81-2E91-41E6-A279-817365239AD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b95d8424a77a209aced72205aada9774bfe8144a","datavalue":{"value":"5276607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499018$5C608680-4FCE-46DC-A50B-8DFB3041973D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499018$20ABB121-CF39-41A8-917C-8928B2C1CA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d7f225d348f5d8bc81471e65260a094c4f7a2f","datavalue":{"value":"non-clausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499018$9D42B653-7BCE-4E36-8DD8-00764BA385FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499018$602FBEF1-8380-4DEB-AA31-865768812F9B","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":"Q3499018$AC106D40-A454-4460-8CF1-CFA1E6854AAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"356531f7de60cc2581cecb90d43bd5132c693653","datavalue":{"value":"https://doi.org/10.1080/09528130701475617","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499018$A4335070-DAD5-4773-B27E-D830D83DB78D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c1c5dcb4438a10c635b5e2afb2b8ca954e39c51","datavalue":{"value":"W2065798393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499018$53E2BA37-45B7-452D-B100-A02AC12FD2DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0fa6c7fb6b62fd02bc7f429e414dd3e658f2ec","datavalue":{"value":{"entity-type":"item","numeric-id":5464170,"id":"Q5464170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499018$9777E8ED-C86C-4BF4-936C-9EA4DD1D7B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03918f12608c454b6b49451566a6b68d2b784de0","datavalue":{"value":{"entity-type":"item","numeric-id":1844090,"id":"Q1844090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499018$411A9ED6-733F-431F-92F5-EB8CD7EAC696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499018$CE0D2B22-B707-453D-B9AC-02CF24F86252","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c0b89f0985a5a9ef462c8303df29d9db47258","datavalue":{"value":{"entity-type":"item","numeric-id":4282590,"id":"Q4282590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffeb053bbfb7376a1c29ea2e436e0d3f2ed7e3f9","datavalue":{"value":{"amount":"+0.81178504","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":"Q3499018$2914BC08-594A-463D-8100-03E16DA36A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126f7aadcf86a4abb574c1835ceb3af729a14aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4255513,"id":"Q4255513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7ca12c4c5a433236b29e68114fcb3aaa467d68","datavalue":{"value":{"amount":"+0.8113507","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":"Q3499018$671ADC19-E44B-4353-B8BF-9170694C6499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ac282e7b3872f532bb59881aef1b29ec81b258","datavalue":{"value":{"entity-type":"item","numeric-id":2216134,"id":"Q2216134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c4fc44e357138df0e2315540081b1c43750923","datavalue":{"value":{"amount":"+0.7869806","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":"Q3499018$732E6227-91F6-49D3-A9F0-0078740AC007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b3127a94a5ac35e88639bcfd6a4f33fad2e18f","datavalue":{"value":{"entity-type":"item","numeric-id":4946087,"id":"Q4946087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df95ba1be483923ea01ccfe181886bfe15fed623","datavalue":{"value":{"amount":"+0.7801815","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":"Q3499018$EAD3AF27-E828-459A-84E6-6BDF4ABC73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5390edceec836308a93660d2b2f628ac11d58eb","datavalue":{"value":{"entity-type":"item","numeric-id":698082,"id":"Q698082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fbd1934f3a644dc4c1ba744994eb8fee18a473","datavalue":{"value":{"amount":"+0.77932763","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":"Q3499018$07FA16C6-18B9-4E53-8B28-CB436810A009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdcfda2fe5ae64b150e26d8dcdbaa8917e7bdec9","datavalue":{"value":{"entity-type":"item","numeric-id":1067990,"id":"Q1067990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed90338f4207bb101306001dbc6af8c3a13221ef","datavalue":{"value":{"amount":"+0.77887833","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":"Q3499018$F6959159-9992-479F-A3E1-26F4F4CC3E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d3fc711ff705afa18a871199e5e0adb9a892360","datavalue":{"value":{"entity-type":"item","numeric-id":3553161,"id":"Q3553161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff3c815eba0f86e7dd8a87eac9d65568afd1d51","datavalue":{"value":{"amount":"+0.77606285","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":"Q3499018$4349B462-F13C-4565-8E71-1F7AB162339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0facdfddbebea2ddda60f19a971ff04563c69ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3738948,"id":"Q3738948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07496bcc7e29f8b37f99ac349adb0cee98b71e36","datavalue":{"value":{"amount":"+0.7750695","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":"Q3499018$A17306E7-C938-48B2-BC3A-5C41025D0133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3581988c233da652609c34a0782aa2701feb66a","datavalue":{"value":{"entity-type":"item","numeric-id":1102130,"id":"Q1102130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5263482ef9ab876260e1b2256e1845dde7c78ed0","datavalue":{"value":{"amount":"+0.7736084","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":"Q3499018$B61C4088-BEB4-45CC-8B10-8B84F33EC377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499018"}}}}}