{"entities":{"Q4249897":{"pageid":6279498,"ns":120,"title":"Item:Q4249897","lastrevid":46835925,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303344"}},"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":"Q4249897$B50BA722-90E7-4E7C-9AF4-68DFCCCFA896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8279be2057af8a5fc62cf1322094384fe434b9ed","datavalue":{"value":"0926.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249897$CE305B28-7DEC-46D7-B162-98468B9A8AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249897$43B72476-BE76-4D58-B6CD-99FF4D94BEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249897$838C742C-14F6-46B8-92B4-68872D37DCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249897$21410ED9-C427-4F7B-83FF-33B880D1CA5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"841fe5311f2c240dc5e1c4c4e1cd6d6c518533ed","datavalue":{"value":{"time":"+1999-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249897$9F1348F9-02CA-4C53-A579-58A5A73CBC54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249897$A6292C93-F0B2-4BCA-8691-559D491AC676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249897$27A5B794-FDE9-446D-A157-EEAF39644EDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2516d58956a2818d2afd70995dd2d3776a44e59a","datavalue":{"value":"1303344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249897$C97E0EBF-1B43-4EC1-ADB2-10D3261B6448","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$D46445AD-5B44-42E4-9968-292C4782542D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd310ffcb5b715f49b92e028efb205bcd1fc7bd","datavalue":{"value":"elimination of equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$194E3266-9B81-4A7E-A3C3-186747972DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e53f6b7bc403452630296b877287a1ed841014f","datavalue":{"value":"variant of Brand's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$C649F511-390D-494D-B503-A1A46B5E0963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95ad944d74478bdddf82154791d968dbffb656c","datavalue":{"value":"experimental results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$69498DA3-4281-4ED4-AC39-F41E78B1A8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$5CD2BFB2-4768-4FF1-8961-28CA7764F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eade6d79423df5ab8c7f649879157e8efcaadff","datavalue":{"value":"paramodulation calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$A84C58F9-8D62-4EF6-930D-DEFCF44BD676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca11880db5fd08458184f3b66d602584b3505008","datavalue":{"value":"equational theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249897$573DC812-2578-4ACD-869E-ACD8489E02B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249897$E8558708-6A0B-4FDD-8356-DEC1D5CB7DCC","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":"Q4249897$41DAF490-EE28-494B-97FA-5777D7007E81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746e1d9e2c1d2d9c9cdf91e6b13ed93bc0a604e1","datavalue":{"value":{"amount":"+0.7341867685317993","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":"Q4249897$C5ED1658-FB22-47A1-B538-4F333CE095F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58a113d0c2f8f7359b697526e29dfb22649f330","datavalue":{"value":{"entity-type":"item","numeric-id":4537436,"id":"Q4537436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b935eec0148362640cd5520b6c02b3a23de33dc6","datavalue":{"value":{"amount":"+0.7329642176628113","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":"Q4249897$8C447CF0-A4F8-4871-B0AA-846A6C4887C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b4e5a63cb4379d9ebb8567a8fb5f4ba79e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187afcbb2ab397998fd78984ff80ed2eb71bbedf","datavalue":{"value":{"amount":"+0.7289040684700012","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":"Q4249897$96849AD2-CB6B-4688-8926-B1BAFB1E7977","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":"544775a22161a8839906411ce4057f5df0b4cd99","datavalue":{"value":{"amount":"+0.7198464274406433","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":"Q4249897$2B0DB1F0-FA7B-49C9-AB48-B7C8E39F352D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249897"}}}}}