{"entities":{"Q4866982":{"pageid":6896562,"ns":120,"title":"Item:Q4866982","lastrevid":47397535,"modified":"2026-01-01T15:21:55Z","type":"item","id":"Q4866982","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 847937"}},"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":"Q4866982$0D4F297D-6B23-4D73-BECA-B15C63DD7108","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"043099817ba3e068f201d5a877b379830f956301","datavalue":{"value":"0839.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4866982$B86DFC22-B5B5-4425-8D38-38BA55AD7F99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e7b9a4e94ee55525cd8b7f19d653fb814d5f09","datavalue":{"value":{"entity-type":"item","numeric-id":371437,"id":"Q371437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4866982$283018CE-78A5-4B30-90D9-642CE5857FDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3a04010ec8818dd2d5d372c0f971835e38fd9a","datavalue":{"value":{"time":"+1996-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4866982$58F50B79-6009-452E-B8CB-D1F96CE4BE1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4866982$C37CFB4D-4613-41F9-94A3-E55412E7AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4866982$FD6A5233-36BB-4FD2-B7CD-7AC1F1ED2F69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d35364844f642459c3fa9bbeb474359a09b3b01b","datavalue":{"value":"847937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4866982$0BB6F592-78EE-48A0-B64C-0755A253BD2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79169c1ac5c216f20af8813e62492745c69f1a1d","datavalue":{"value":"optimization of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4866982$D54ACD1E-4FAA-4947-8B32-4EB21D7FA927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5448aec3a6cd070e7e192935265c701de35c205","datavalue":{"value":"multi-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4866982$E23460F7-6B4C-4EF1-8F9A-02E076144F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0177ec0db705b931e60f2729668068ea02bec83a","datavalue":{"value":"functional translations of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4866982$DF1B88EF-8DCC-493F-AA28-D15B4245AD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4866982$094D6637-7627-4ECB-937C-CECE614CB908","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":"Q4866982$A769FF1F-79D8-47AB-8242-9AC7D6F9B685","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0bc3db9f544a0d2af7b777694ee79acef8ed47","datavalue":{"value":{"entity-type":"item","numeric-id":4282526,"id":"Q4282526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616d75d7ea4463a8fa72e73f5eafca1c19dd638f","datavalue":{"value":{"amount":"+0.8549982905387878","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":"Q4866982$2F4E9192-9136-48B6-BD52-A2887076B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa06d6539769fd18443e292a0da1fe6a99ccabf","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c8c35e53a4fc3298668a625da98ccde4bcf916","datavalue":{"value":{"amount":"+0.7961986064910889","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":"Q4866982$698FF6E9-48FC-4E6F-94AD-33965589A183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf88d91e51ebc24999c0efedb5ee71fd5fe945b1","datavalue":{"value":{"entity-type":"item","numeric-id":2825403,"id":"Q2825403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd39bca8a7b12601d19d2962239edde752271887","datavalue":{"value":{"amount":"+0.7956463098526001","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":"Q4866982$F19A5305-AA14-4310-BA36-465CE449D38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4218bafe9535cf8c15af114a234bb401c1fe04","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5250d0a7dce359096077b67b1c3131a1be02191","datavalue":{"value":{"amount":"+0.7942603230476379","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":"Q4866982$9B6035F3-0B20-4B31-892F-5AA01D113118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a880b2d84fd24c903ed014494cd1a692dd5bd02a","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92c4403a5562436cb693a92cbd8181cfb236b86","datavalue":{"value":{"amount":"+0.7631615400314331","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":"Q4866982$F7AEFA29-F8A5-4CB4-B9D0-2D9194CFDCC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4866982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4866982"}}}}}