{"entities":{"Q4557854":{"pageid":6587445,"ns":120,"title":"Item:Q4557854","lastrevid":53288921,"modified":"2026-01-24T15:53:49Z","type":"item","id":"Q4557854","labels":{"en":{"language":"en","value":"Extensional paramodulation for higher-order logic and its effective implementation Leo-III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6985093"}},"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":"Q4557854$C1A6BD26-DF7D-4666-A9BA-042DE6A3E5B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe02f293b6b592b6561ecdad00c17bf38f2b2e4","datavalue":{"value":"1402.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557854$ECEFD5D3-E302-4542-8E0D-2EC974A73A21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557854$64BD3FA7-0661-48B4-A2DA-C75C7383C8CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6480f1bd2e006e0bd30995d0f76461d9896cd7","datavalue":{"value":{"time":"+2018-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4557854$120F72FF-D7DE-4FAD-8AEB-370AF7BD184D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557854$A2D125A9-FFBF-4F90-87F1-0487974AFABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557854$8284C451-95BF-49EB-B8FA-A0F862AEA23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557854$104182DE-E5FD-456C-B106-9831E3E807D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557854$AAA75907-7565-49DB-B005-38C906774A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53a40d0086caeb52c55095a332788b5dae8b204","datavalue":{"value":"6985093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4557854$23949181-9AA5-4357-96CD-7B37FE1DB7CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d5babe97f2f56351f377ba7c3d7378d6a3c2e47","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4557854$B410FE1E-9A9B-4625-BC59-B0878BDB23E2","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":"Q4557854$CE90FAE8-77F3-4CDE-8668-74528BB02223","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5071410fb4f588702a1cd4f98b5757b9c9f99e5","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f593d9e01328f09622b95a287279fd159a0be","datavalue":{"value":{"amount":"+0.8435007333755493","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":"Q4557854$04A3484D-C7A4-4F88-92C8-0ECD53F13283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af319d95894bd51d563498fa66b2bb6f616e464b","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf724b51168c32c2f6536d59b50af8af61c1b0c","datavalue":{"value":{"amount":"+0.7822195291519165","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":"Q4557854$231D60EE-8702-456F-8D6E-5CBDAD1B509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496052fc3273e7e47cd8686294fee309f85ea3be","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cf69b4863a10a73ffdfe9988300924d9a5332d","datavalue":{"value":{"amount":"+0.7796263098716736","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":"Q4557854$22E14B38-AA27-4CA6-BCAA-EE8D0DB82940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47aad1d0eaf05c86f4ec337b76c885e2e9ee0f","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fcb2cf5f32bed9193311591c7ce9a897a17790b","datavalue":{"value":{"amount":"+0.7711508274078369","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":"Q4557854$82F92DF0-DF92-44DA-B25B-1287167BD7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a77260c5c813d21764d59a1fec5766803eafe5","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a59f9ef36ba331121621972d7e67393e009f0a","datavalue":{"value":{"amount":"+0.755675196647644","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":"Q4557854$9A5F731C-3314-45E8-AD7C-B59C6953E14D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4557854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4557854"}}}}}