{"entities":{"Q3786025":{"pageid":5815931,"ns":120,"title":"Item:Q3786025","lastrevid":52579499,"modified":"2026-01-23T00:53:32Z","type":"item","id":"Q3786025","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049136"}},"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":"Q3786025$69D54A92-ADE2-477F-8593-53F311AEFE53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08fdf9df5cd7e9dd670cb56c92f22ef190af795f","datavalue":{"value":"0643.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786025$721B5DEC-D4BA-4577-A3E1-D365D04B2964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3786025$854A2D6A-9403-4256-AFA7-8D1F64C0FAD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786025$EC412DCE-CB57-4959-8AC5-CF8BA9610663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786025$5CC414EF-9E5A-4562-97F1-3E9EAF08AD84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6d4ed4da916f679297b3f79833971eff77134eb","datavalue":{"value":"4049136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3786025$C7C2D897-C53B-4DE2-9297-6C41D04857FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c580bf7e519ee5592164f49dbc071af4f574b16","datavalue":{"value":"reasoning from inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786025$18882E4A-69BA-4A1E-8612-96E559FA7021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786025$DA5322ED-10CE-4AB9-9653-70B225EDEE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30950b23f5cc9486f0ab06153d5f1a68f6985568","datavalue":{"value":"negative paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786025$6C7006CE-09D4-4581-9078-8CDB19897D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e886525c93c3ba06eb561168902bd88b670196cb","datavalue":{"value":"hyperparamodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3786025$D9774556-A009-4219-8DEE-5CB4464874EA","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":"Q3786025$3443FF0A-9831-4379-BA77-BEB8F48F16AA","rank":"normal"}],"P1643":[{"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":"0c931919030eb245dc6eb5ec0d27effc25d6b8db","datavalue":{"value":{"amount":"+0.7595010995864868","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":"Q3786025$73C2076D-FDDE-4485-B942-466BA9213D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7ddd04ee380a60c66a29548ad3e6a9663d2d76","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aac6b91a92ad17b9fec602748ede189822fe59","datavalue":{"value":{"amount":"+0.7533284425735474","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":"Q3786025$AD01ABEE-E6B8-4ED0-A4DB-69541774873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58107fcd02d00e61f07e5a2518b66928fe5cf6e","datavalue":{"value":{"amount":"+0.7486670613288879","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":"Q3786025$BFF7D85B-F117-440F-9871-DE543CF690F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460ad343920c6a787b7639e14890756d38a202c9","datavalue":{"value":{"entity-type":"item","numeric-id":3485883,"id":"Q3485883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956ec6532b908e63de18764473b646a93c766ec3","datavalue":{"value":{"amount":"+0.7365784049034119","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":"Q3786025$940DFC82-A012-49E5-86C3-7B56E27C024A","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":"757fa65f27cbd153936907df34f933698d5e7fe5","datavalue":{"value":{"amount":"+0.7327234148979187","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":"Q3786025$BEAD66D7-9ED7-40DB-8533-1DECCC7E919A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3786025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3786025"}}}}}