{"entities":{"Q4013973":{"pageid":6043769,"ns":120,"title":"Item:Q4013973","lastrevid":55181158,"modified":"2026-02-04T12:33:43Z","type":"item","id":"Q4013973","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67964"}},"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":"Q4013973$00DD949C-8963-47CF-BFB0-8DA57296B40A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dc6c893c1d1cd4467bcd438116bc69b396f7f93","datavalue":{"value":"0747.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013973$7DC48BF1-91CF-42E4-BDF5-9F4CEFAB7DF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8049683ecf56cab85be8209f63d5a49dcc95566","datavalue":{"value":{"entity-type":"item","numeric-id":4013972,"id":"Q4013972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013973$71C258BC-22F7-405E-A2D6-DDD024EF3E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013973$0967F668-CFF5-4F53-9114-F6FED0A651A2","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":"Q4013973$3E09DC93-5510-4A46-9322-8A0F48ACAA5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013973$695AD1A3-E95B-4869-8F1A-9A7918574C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013973$BAC8D2CF-B90D-40EC-995C-970DA178A3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013973$770CD927-9622-46EA-B26A-2733DA5F9B7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60687704fe946aca9c359bc304921d55fd9f95c0","datavalue":{"value":"67964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013973$23983EC3-5A7A-4298-A43B-35408738807A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013973$D8A28A46-ECAF-4552-A588-DBAD319E5F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f4fd3ca84a8b2ca6df6bb520280a5c56986acc","datavalue":{"value":"order-sorted unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013973$089D43D5-F20F-4552-93C5-7336C1A79D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6675ed5e4ecb484790166db7aba86bef24105cf5","datavalue":{"value":"tableaux calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013973$E12228F4-45A8-4A99-9E1C-EDAA344153DC","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":"Q4013973$16A08707-3DFC-4368-BD12-461D15E3CF7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6879c7ffbed9e034bef43615058e6a40cf4578ee","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d88b2a9727450a322ec68992b7a896048b8c5a","datavalue":{"value":{"amount":"+0.8111968636512756","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":"Q4013973$F5269655-9149-4333-B37E-7C661CCDA225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26269902009e838111e06f3f7b071c3c0bfee99f","datavalue":{"value":{"entity-type":"item","numeric-id":1863821,"id":"Q1863821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e53ab1f56a9ba738d4a135aa8583bdbe8262be2","datavalue":{"value":{"amount":"+0.7973304390907288","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":"Q4013973$565640BE-4A79-4F0A-8080-3E4A96AEE089","rank":"normal"},{"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":"185735632eb087a19fd43aea2fed5c2168a07a32","datavalue":{"value":{"amount":"+0.7965071201324463","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":"Q4013973$1637BD1D-AFBA-4855-8CC8-F68F35877E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9391a23c3d66afcea3fb6420bd79b0f85dc16e58","datavalue":{"value":{"entity-type":"item","numeric-id":4536326,"id":"Q4536326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509c1f0342e6497517eda99ce801c1f379934387","datavalue":{"value":{"amount":"+0.7907661199569702","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":"Q4013973$1294928F-72E5-4F7A-84C8-E004852653AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bfb9908dacbc1febecf8ff97fc085e1eeb211c","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b2241f842b6a4400c93d8b51dbd4eab069c8a2","datavalue":{"value":{"amount":"+0.78721022605896","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":"Q4013973$643DC71C-17DA-4F04-87F7-5966224A187D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013973"}}}}}