{"entities":{"Q3441199":{"pageid":3451902,"ns":120,"title":"Item:Q3441199","lastrevid":50108140,"modified":"2026-01-12T23:31:01Z","type":"item","id":"Q3441199","labels":{"en":{"language":"en","value":"On paramodulation in linear strategies of the resolution method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5159124"}},"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":"Q3441199$6ECD1C8C-DB82-43D3-B2BE-8AF83BAF82C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4c4d3ec4dcdc3b114e91db90ec09411b65c56bb","datavalue":{"value":"1124.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3441199$7813EAC1-2057-4B22-8065-C489F801EAD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a716b32d35c8ceb822d5ed916ce8e5b3b991a1","datavalue":{"value":{"entity-type":"item","numeric-id":3441198,"id":"Q3441198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3441199$E15035B8-BAAE-4BEF-9B9C-4854DC823D31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"326d1aa492c2881fdbfbd9632ea765a7b6767976","datavalue":{"value":{"time":"+2007-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3441199$ED482A70-1516-4D19-8559-012ADE503C1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3441199$FD740E98-99FA-493C-B872-FB58D929DEC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"547de4006d3ac2285f04902b653e46bc343070f5","datavalue":{"value":"5159124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3441199$E0EF161A-AB05-4EEA-A8D4-C3CBBC1627B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3441199$AF2CBEE0-C1DF-4BFF-8C56-A4B7807626FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5624802e7052c56ea4fbdb36d3f04c8e9bcd985","datavalue":{"value":"factorisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3441199$949DFF5A-F95A-4B17-BBCB-CDF5D50E7B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3441199$3C207816-5FB5-4FCF-8A9C-884C2790933C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3441199$1B12448B-4FF1-464B-8513-B364354D4D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f81fd79d9a404edbf19c987163b4693c5a6aa6","datavalue":{"value":"first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3441199$FDAD595A-5C0D-4E70-9CEC-5BF108D4C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f39b31643ac956a3480ce4ac11bdca9d075198","datavalue":{"value":"strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3441199$A2A0E7E5-BAEC-47E8-B6AB-40BE19DA5886","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":"Q3441199$4AE00219-FB9F-49F1-8CAF-212A9A6BE3A3","rank":"normal"}],"P1643":[{"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":"e2118098d57ed8e9735af2b22e45859469194080","datavalue":{"value":{"amount":"+0.8568401336669922","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":"Q3441199$8A90517A-0220-4005-91A5-A484C927EF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4defb7ead268e5c9bb9c7fb8b19389cafc7d4e1f","datavalue":{"value":{"entity-type":"item","numeric-id":3309805,"id":"Q3309805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f90ca13f0bb91951f655b2da0109d7a44f3e3e","datavalue":{"value":{"amount":"+0.8136975169181824","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":"Q3441199$5B35FA25-E09D-4FD3-9F5E-5EC26951A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bed0fe636d2c53ba257a35632572eeaf87d7a5","datavalue":{"value":{"amount":"+0.802949845790863","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":"Q3441199$98A1CDEB-1347-44D2-9128-35EB625513C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1061ef9e5743e1f35820a3b9604da31d765091","datavalue":{"value":{"entity-type":"item","numeric-id":5055756,"id":"Q5055756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f208b01020bf274d38cb54848ef4fb2d5277be","datavalue":{"value":{"amount":"+0.8002541661262512","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":"Q3441199$F1C778A3-5C23-4EA0-8908-BB05E29C7F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8208072dd51e1bed16409f73faed688c572173b","datavalue":{"value":{"entity-type":"item","numeric-id":6488550,"id":"Q6488550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a49f1f5b03fd11465820e91e2159e066aba54e9","datavalue":{"value":{"amount":"+0.7991591691970825","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":"Q3441199$18E3C3C9-AF3B-4DB8-98A7-4B9F6428892A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3441199","badges":[]}}}}}