{"entities":{"Q4345253":{"pageid":6374852,"ns":120,"title":"Item:Q4345253","lastrevid":46505745,"modified":"2025-12-24T22:33:57Z","type":"item","id":"Q4345253","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1037485"}},"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":"Q4345253$76316709-7178-4696-BD51-599ACC9DCEA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a21c00e61311737887510287c382747c2466d67c","datavalue":{"value":"0881.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345253$110F4AB4-F709-4895-A196-5F500CFEA641","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"971025d2b8fca86b0f7c7b3b9d5e348f38a2f014","datavalue":{"value":{"entity-type":"item","numeric-id":209460,"id":"Q209460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4345253$6C9619D0-82F7-4E98-9460-D5774B39C40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4345253$2CC7E8BD-241A-43EB-AEC1-D1FC3CD8710D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ddea1b397bc053606c375c503598d10243896fd","datavalue":{"value":{"time":"+1997-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4345253$9D428C9B-E3A0-401F-AD0C-37E242EE6B63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345253$EDC1E197-5F88-40A9-AFD4-DFE3FDECDA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345253$842B9B99-E5D7-4807-B737-51C9232B4679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"045801d6a25a3cc118bed0201c7816277dba5d14","datavalue":{"value":"1037485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4345253$7221D746-A5A6-413C-97D7-CFD72851B8E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0e5de60337223c83602375b0616ff58c75dd66","datavalue":{"value":"refutational (automated) theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345253$198E357C-7B26-4567-8582-554614B68E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345253$192D6288-28A5-4AC0-951D-59823F187B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc1d6ea11f99869b28b16c7b10f82a4392556b3","datavalue":{"value":"search space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345253$8B8FF76B-FF80-4CD4-9893-FF298AE33A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345253$C7BF9DD2-952D-4EF8-A5F9-03EB00210008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345253$49D33CD4-9282-4495-BC20-76FF60605A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3dfd81403aac9370ca75ddacfeccba38dbc89f7","datavalue":{"value":"clause linking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4345253$D26AADBE-7B2F-4C77-939D-53EDA9DD1ABE","rank":"normal"}],"P1463":[{"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":"Q4345253$D51627DC-A49F-4D3D-B563-58D850770372","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":"Q4345253$78F96CB5-188D-43CE-ABFA-987F54314367","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6ac436436a13b12d2ea0953315daaa8fcedbc5","datavalue":{"value":{"amount":"+0.8985784649848938","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":"Q4345253$35993EFB-BE32-4C02-92C6-F37E61D14C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c365ae4452123ae097251f5b3c1589e5b0b2b3dd","datavalue":{"value":{"entity-type":"item","numeric-id":4375764,"id":"Q4375764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed08677a5184c11f36087cb4c0e9ce6483bfef7","datavalue":{"value":{"amount":"+0.8670628070831299","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":"Q4345253$67307ECA-46FE-4EC9-BEA3-F158A864367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6901df0d59a017c054fa969f1e65edc3a3eb1c","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e28869ea721d79763aa8b98c9b3151786bb89c","datavalue":{"value":{"amount":"+0.8138590455055237","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":"Q4345253$0992D0B0-46D3-41AB-94E1-A224E7A4545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb959f515fd7c7236525feea8dded276d4ea8598","datavalue":{"value":{"entity-type":"item","numeric-id":1281504,"id":"Q1281504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e60782daa4a0685ce2d67d1d20a4424b5441ac","datavalue":{"value":{"amount":"+0.8071170449256897","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":"Q4345253$E8FA880A-D6CB-4AC4-A847-F886528B890A","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":"ac13286d8c7d9b101815809b6173260606d81a3e","datavalue":{"value":{"amount":"+0.8067574501037598","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":"Q4345253$3544980C-8938-4A4D-A616-EC34951F8ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4345253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4345253"}}}}}