{"entities":{"Q4013971":{"pageid":6043767,"ns":120,"title":"Item:Q4013971","lastrevid":55181155,"modified":"2026-02-04T12:33:40Z","type":"item","id":"Q4013971","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67963"}},"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":"Q4013971$44414FC7-61C0-44A9-B7E3-104B4D962B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed9d719caf85dd1da6990720315004642959745c","datavalue":{"value":"0747.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013971$C374423B-743E-4A96-84C8-99E25D9C081D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013971$AA501AC4-2D0D-4816-AADE-69A1BE8A62B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4013971$A0E7BE5F-A986-4113-9ED8-67D5EDBB2EEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013971$2CD801FC-94AE-4AF6-A2A9-ECCF0908B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013971$2F4AEC4C-19AA-4525-8383-DC53E1B184D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5477f58de74542037a4cede9b944ff48070ff49","datavalue":{"value":"67963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013971$1DF792CF-51D7-4363-8719-8A3104F868F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013971$3BB1FED5-83BD-432A-A24C-D2400AF373FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a77f3854a937dab5b9cb6293e422f68026058c","datavalue":{"value":"many-sorted resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013971$F4F0FE03-89E1-4C2F-8E3A-72C5977C1F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023e700bd31e2fb30a28199443f240224de3b2db","datavalue":{"value":"many-sorted unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013971$CA82B767-2BEE-4D40-A49A-B436E9C81890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f33fde6d26bdd55ac2e8153e1ffd1c852afd3de","datavalue":{"value":"many- sorted paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013971$7682C9E7-ACB1-43FB-99C3-E8A08665EEA7","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":"Q4013971$9A7D8E85-424B-44E8-9A9B-91B67071286B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7aca69dc4576ef85c2b06372cfae4113c407ca","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86960ed894da268af63041e6ef9812eb1077b357","datavalue":{"value":{"amount":"+0.8589901328086853","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":"Q4013971$2DE957AA-E6E5-4068-81DC-9CBA38EFF24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76a3560e0bef3991b63f7ab2419f67bae281c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3680805,"id":"Q3680805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0619aaa88ccc55006e44ae1a5bd4e7b17afe318d","datavalue":{"value":{"amount":"+0.8510236144065857","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":"Q4013971$5288229D-CC7E-4833-8121-426DB895B364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec025091398a1bece0ea3c04a8b6f646ef7a31b","datavalue":{"value":{"entity-type":"item","numeric-id":4729409,"id":"Q4729409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd36518b19d5cdffb3d4aa075d82ed55c2457baa","datavalue":{"value":{"amount":"+0.814605176448822","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":"Q4013971$9A08C0F4-DD8B-4B32-AB2F-F11A3D180DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c013e3e391b5c73ba07a6f62b06499fd05007a1","datavalue":{"value":{"entity-type":"item","numeric-id":3786021,"id":"Q3786021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18125e0879f472aa05d759a2aecb891810bc971","datavalue":{"value":{"amount":"+0.8016179203987122","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":"Q4013971$3AA1EF3E-CD6A-4873-A7F4-35F421ECA8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1889f37ecf9112f241be0ebc27a9ff7f4ddf274","datavalue":{"value":{"entity-type":"item","numeric-id":1202662,"id":"Q1202662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3838e61d94d49a8200e823426448c17169bfc17","datavalue":{"value":{"amount":"+0.7874236702919006","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":"Q4013971$AF899438-697C-457E-8412-5F25C90DD959","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013971"}}}}}