{"entities":{"Q4889844":{"pageid":6919423,"ns":120,"title":"Item:Q4889844","lastrevid":47405503,"modified":"2026-01-01T15:56:32Z","type":"item","id":"Q4889844","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 914131"}},"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":"Q4889844$0F3D6061-9537-42F5-A0DF-CFA88D895C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f963ce9b9dbc8ea04101505c01954be45c370a4","datavalue":{"value":"0853.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4889844$492D0101-F2F8-4010-A72C-ED4B8A1C2F3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec20c569b7f2688920ad8208919717674cb8b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4889843,"id":"Q4889843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4889844$A4280AE6-F53D-4AB8-BC83-5888C5412D5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29f96a92c6b3761f501764c7abe8a6b12ad74d21","datavalue":{"value":{"time":"+1996-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4889844$054FC244-0A61-4CD2-8BDD-DAAC2E4CEDBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4889844$98DA3ECD-A12A-47B5-A208-12982B04B399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4889844$E45A4B2E-A971-439A-9E49-C0DA20A3A9D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c43dd0b05480b5da7a364fb7e90ba2f3c75dae29","datavalue":{"value":"914131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4889844$EDA8406F-EAC5-47D3-8E90-43439B0C8E95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054d89280687d9996cfbe0ff858ccafea7f94de5","datavalue":{"value":"induction theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4889844$2EDC4EB6-5326-484D-B84D-0F726504E1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4889844$7C70DE77-D8F8-4191-820B-B9D278F086B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4889844$565D5BFE-EA8A-40A4-8489-F885BF922443","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":"Q4889844$0FB09EF9-4E28-4318-9A6E-70A992D6E01F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9635844830b27570c06edab1b7d7588f6f44349a","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445b8774380493e281827442b0d1cbf45a2cc207","datavalue":{"value":{"amount":"+0.7984616756439209","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":"Q4889844$DFF94619-0C5B-4E3B-8F91-2EC667B48F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dca6fc765d95da1d1a1ee901a4c3cff310ba6a2","datavalue":{"value":{"entity-type":"item","numeric-id":2938520,"id":"Q2938520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fc0faa50616c437c0fd7c6ef535fdbb07c46a2","datavalue":{"value":{"amount":"+0.78891521692276","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":"Q4889844$D6BCD755-1B92-42A4-B266-028D3F3FDF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0cd579ca8bca6791eda79674bb44853a64beb2","datavalue":{"value":{"entity-type":"item","numeric-id":2457667,"id":"Q2457667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431d69fd40ca5365330c5d83848e312117ec9771","datavalue":{"value":{"amount":"+0.7759703993797302","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":"Q4889844$267DDE9F-1166-4AAA-AE73-A6B20B5F0498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bffc270f8b4957d8bb81ed3acc9f2f50586bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4993338,"id":"Q4993338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16f7d67239355c0be36a5e690ad02ae11c1b0df","datavalue":{"value":{"amount":"+0.7730973362922668","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":"Q4889844$B09440A5-469A-48FF-9267-E4B3E351F4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d9e1a47e9a7e2e6e8cfde0815e7bdfac71a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6009c151c4da067ace68148dba2bfa79ca4ee4","datavalue":{"value":{"amount":"+0.7668709754943848","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":"Q4889844$A0641010-39A3-43B0-BC4D-449B05FE000B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4889844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4889844"}}}}}