{"entities":{"Q2209265":{"pageid":2220008,"ns":120,"title":"Item:Q2209265","lastrevid":57688662,"modified":"2026-03-31T22:19:28Z","type":"item","id":"Q2209265","labels":{"en":{"language":"en","value":"Relaxed weighted path order in theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268451"}},"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":"Q2209265$34A3DD2F-6905-4D32-BAB3-C8248177A0AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e84ec128e7a2da447671f302330c65f9d89cfe9e","datavalue":{"value":{"text":"Relaxed weighted path order in theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209265$4EBACCCF-5FFC-4B38-8E14-79623A22DE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee6bcad84d7fc8dc7390e9d955257bfe984a0017","datavalue":{"value":"1488.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209265$7DD22979-EB12-4093-B059-D773FA403806","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87dc4de4518b8db4a5efca79e388ac462c23bd10","datavalue":{"value":{"entity-type":"item","numeric-id":831935,"id":"Q831935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$35B11D47-F227-4BB1-8B15-1513DCEA1491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$CFEA3E5B-1A9D-4229-BC19-C4C497ED8EBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$E4F53187-9E06-4AE8-8FF8-A204641CDD4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48bae90ac5a2a9de24ea89beeba4847c62d41963","datavalue":{"value":{"time":"+2020-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209265$E3A5BF04-34AD-40BC-B4E5-9C4DAA6ECF97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209265$CB196065-ED9E-49F1-8BA7-FC01EEB75CF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51723e7fdd4a19009cfd9c429fed91e025fbe28c","datavalue":{"value":"7268451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209265$2CB91E62-0719-49C2-92AF-0A7C30D695C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209265$55C12988-9A3A-4AEA-9612-3CA96B6472E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209265$4E305D4A-E0BF-466B-876D-10B239A052E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fdf7e49c11598990d3e6385d95cb4e5490ec8e9","datavalue":{"value":"term orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209265$B15934DE-F63E-47DE-8116-23948CECC9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209265$34A42EA7-7E35-42BA-B2AE-DF7A3A14D47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab27f648cad08668369d76b7e10dfe545610fe7d","datavalue":{"value":"superposition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209265$265C9A83-C741-4DD5-AD3A-90C862B59AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6958701e03014247f9627cd71b10df7d36b4b83","datavalue":{"value":"weighted path order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209265$3D5FFC0D-739A-40E8-9489-9D3D3FCB4E31","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":"Q2209265$06E93AC5-E4A3-4B9A-A71F-93280CD55882","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":"Q2209265$DF274F7C-7D4C-4C86-B74A-D9BF3772AA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a54eb5f0bc4bb2434371fed2614d3a40ec43e50","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$CE857371-B143-4321-B701-168C17C26572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e46473070f3c81a2b3e6d8305bbf4ff6145b7c3e","datavalue":{"value":{"entity-type":"item","numeric-id":30553,"id":"Q30553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$28EEE267-FD3B-44E6-B319-6C7777538A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$142D6F8D-BAD7-42F2-8283-C39496FF2139","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":"Q2209265$A7DCEE0B-F637-4BA8-85D7-878FFFC54E6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16352991749e2e3ef7652f05e569784dcc8cc0a","datavalue":{"value":"https://doi.org/10.1007/s11786-020-00474-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209265$1D416F6A-8CF9-48E2-A540-0EFB996DBFEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f1d8441951078af992712a936d1c89089be812b","datavalue":{"value":"W3014201085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209265$C25891D2-26D2-4965-B092-B086D5C3C818","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1511591e929aacc06fd93024e2a8abb683c241ec","datavalue":{"value":"Q108482108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209265$5592972B-7CE9-4A12-B84D-C5F4E4984DB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$D9807ABE-55F1-49CA-BFB4-204C7F9A770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3677a56d4913fa5cf60e0532cd26d43b96e8b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":1662244,"id":"Q1662244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$6C0A29F3-8E52-4DB4-80D1-D7AC09A32F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1183268b2373a892adc793bed6d4a85aecfed77f","datavalue":{"value":{"entity-type":"item","numeric-id":5145434,"id":"Q5145434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$AD98038F-7F65-4575-B750-B7EE140F63B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005a359e0c4194dc29e9a7f915c69fa31db62513","datavalue":{"value":{"entity-type":"item","numeric-id":861708,"id":"Q861708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$2BAF7061-2700-466F-8311-98D61BF63D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$B97CBF88-916F-495D-93AB-12CC986ADB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$A1BF2060-5E43-4E1A-9732-9FB800A3DA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0070e1df81270c845f34a31f8c734ef6a747265","datavalue":{"value":{"entity-type":"item","numeric-id":4589264,"id":"Q4589264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$7BDACA8F-34A3-401C-8EB5-2ADCE7A76825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$98F5FCFB-ECD4-4E13-911D-6A7BC6CC66BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8c3a4c26c963f6c6f654bf4bf0d5a58922ee01","datavalue":{"value":{"entity-type":"item","numeric-id":4593023,"id":"Q4593023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$38F41409-0573-4BD9-BC0E-269D160149DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fa11c55db3194669d6fe2868533bccbbc597f9a","datavalue":{"value":"10.1007/S11786-020-00474-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209265$C8A6D3B2-FD72-46B9-9537-42D9D410B818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fddca28e313c4460c62874ec61fd111f46a8240f","datavalue":{"value":{"entity-type":"item","numeric-id":1662244,"id":"Q1662244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fe5927bbf093a2d0b476a9375638a56336d3b2","datavalue":{"value":{"amount":"+0.8452127575874329","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":"Q2209265$AC411653-5A08-45F9-87F5-A85B9E39FA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0cbd0e4a439e62a17479f3f99782c97d602267","datavalue":{"value":{"entity-type":"item","numeric-id":4938603,"id":"Q4938603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ef04ffb1e768ead836abbbe76bf3de163fb043","datavalue":{"value":{"amount":"+0.7411106824874878","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":"Q2209265$4BDD4BDC-61A4-4B42-908D-E7A23F6E6C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53dbaac8b09008dc2ac495bcfc432b4913a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4400884,"id":"Q4400884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6509b1f21f9947d207f6aed5dbab7ab602f0a666","datavalue":{"value":{"amount":"+0.7284573912620544","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":"Q2209265$E9BB9755-6EA7-43F7-B385-76BA76E77F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90876a4dccaf3458c2fc1c0199e90fd643a98046","datavalue":{"value":{"entity-type":"item","numeric-id":2956685,"id":"Q2956685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adfb9809294c08b1f9a41ea839ec34e7799f357","datavalue":{"value":{"amount":"+0.6847736835479736","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":"Q2209265$02FFC9F3-773F-4FD4-849F-38472D8F8815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a2807d28168965938ae6656c269742a1f425232","datavalue":{"value":{"entity-type":"item","numeric-id":4428306,"id":"Q4428306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e3a301f1d0f8c4b3aac548a01a00b99ab1d174","datavalue":{"value":{"amount":"+0.683419406414032","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":"Q2209265$EBDAC9E5-8C27-4000-AAB2-8D827DE9DF66","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209265$1F2FBCC8-172D-48B1-931C-33056CB92E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2209265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2209265"}}}}}