{"entities":{"Q3838818":{"pageid":5868723,"ns":120,"title":"Item:Q3838818","lastrevid":54495971,"modified":"2026-01-27T10:28:45Z","type":"item","id":"Q3838818","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189109"}},"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":"Q3838818$C5683E4F-B5DC-4CB8-9EC2-01500C52B555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b254a2fb0c7560e89eb4b3d22b0e15cfbbc3348","datavalue":{"value":"0909.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838818$E9349FD9-5D15-4D56-BA3E-49AC960E75C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124b11e1fe5bc59a11a739fe63a4a20df1773d","datavalue":{"value":{"entity-type":"item","numeric-id":1854381,"id":"Q1854381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838818$BD61B542-A8E6-4E40-BE29-16F35F329FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838818$6335AA2F-706D-4BCA-A441-27BB42BAE45C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e60c029a007932dd7296fe5689bd47fadb1b64f1","datavalue":{"value":{"time":"+1999-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838818$0EA1A7BE-72BD-4CA2-8793-FE4EA471EA52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838818$ED3053EF-9269-4F41-A576-640AB9F7248B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838818$8B735298-D732-4DD2-B6BB-2A9275AB8B87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f71377c2b6aec73ca008b88361c526eafb4b1bc","datavalue":{"value":"1189109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838818$CFF837DC-17BE-46D8-926A-2692A2D7FFE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838818$21F4A534-C394-49ED-8829-87972ACE3171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838818$DE245463-3FC5-4953-A684-0794B86A146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035bcb5d3f3fb3b26be5aeb45bc64147667742e9","datavalue":{"value":"proof reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838818$A247640E-DE15-4129-BD8E-12361106592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b17ff75858f180c0ddebdbf4c32645497d421c8","datavalue":{"value":"translation of matrix proofs into sequent proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838818$3946EBBC-6136-43C0-A1C6-B9A02AC44FB3","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":"Q3838818$CCFE8047-BB0F-4F18-B9C6-9B28D1417C68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151afb132a63865fa7e6cee89d7b3bcf831840f8","datavalue":{"value":{"entity-type":"item","numeric-id":2726302,"id":"Q2726302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4c955899c463ebdd618602fc74d902c6e19532","datavalue":{"value":{"amount":"+0.8436965942382812","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":"Q3838818$D69EAB82-276D-40F8-BBC9-C366D6D7F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0657b25dcc4d374ea3510625bc156a46f79a85","datavalue":{"value":{"entity-type":"item","numeric-id":2964467,"id":"Q2964467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbe8ade1eb44a87cb8560788f72f4c3b6aa19cd","datavalue":{"value":{"amount":"+0.7875760197639465","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":"Q3838818$05A9A3A8-D46E-4747-BA77-DA34127C7918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58a00fa4e23a1617c24d7d58e1b4a076a8b63b5","datavalue":{"value":{"entity-type":"item","numeric-id":2365125,"id":"Q2365125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0669a84af063ffda610adbffec207abbd8651020","datavalue":{"value":{"amount":"+0.7722774147987366","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":"Q3838818$8B05ADEB-2DA0-464B-B569-39544C30CBCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838818","badges":[]}}}}}