{"entities":{"Q4229377":{"pageid":6258978,"ns":120,"title":"Item:Q4229377","lastrevid":46633617,"modified":"2025-12-25T07:29:58Z","type":"item","id":"Q4229377","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1252393"}},"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":"Q4229377$E2B64BE2-0A0C-4500-AC0A-8A9B5EEE8F59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eee7ad14d9810163a25e9416ed75dba88119c16","datavalue":{"value":"0916.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4229377$5477A271-A477-49D8-929C-28721A952FDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4229377$949C0BB5-136C-44C9-B050-B61E212305E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195fd004fe9499fc3c540a3801227b006d2709af","datavalue":{"value":{"time":"+1999-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4229377$90F4B449-A12F-4BBB-8EE0-EA9BBC0275E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4229377$6A47619E-46A2-4109-B7FF-540462E0D8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4229377$CF3895F3-D662-408A-B4BE-06AE40135A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c43f51aa5443a6940da789b44a4a3640336a6b","datavalue":{"value":"1252393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4229377$B5476D12-0477-4459-8693-CE2FBEFF033F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4229377$B6F67D14-41F8-45EE-BE88-AA3874ADD4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da0cb24250005cc2b752d372bf91fdbf2305b996","datavalue":{"value":"modal sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4229377$90C2B5AF-3A15-4500-8F7A-164341430DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4229377$D5081782-292A-46D6-99E8-349B153B49C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c94ef8a7c69a09ba9d77f408e45ac67fc40329","datavalue":{"value":"cut-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4229377$E7E3E85A-6B5E-43F9-9CC3-3CC2A302625C","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":"Q4229377$9114B2C5-058D-47A7-B89D-832B01603D97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa5cf114142c7401885020ce03c36c9a76ff232f","datavalue":{"value":{"entity-type":"item","numeric-id":4395551,"id":"Q4395551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b003a54f6631011095b9b95e64e9d8949d7efb9","datavalue":{"value":{"amount":"+0.8403714895248413","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":"Q4229377$AA34F0AD-107E-413D-A1CF-6B97394910C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a59033c4be6f57abd478766efffcf3aa16c5c1","datavalue":{"value":{"amount":"+0.8180783987045288","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":"Q4229377$C7EABB7B-A5FA-4C58-A0EA-570C1759161E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ee01f84b7b3e211317ef4211a3bd71870bf04b","datavalue":{"value":{"amount":"+0.8065339922904968","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":"Q4229377$EA4F4C7A-A3FC-43EC-96C9-49EFC395F24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fac314b20affc63953e7eecb5834064779d955b","datavalue":{"value":{"amount":"+0.8046827912330627","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":"Q4229377$026FEED0-E5B9-48B0-A6F3-4CB39B0F226B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4229377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4229377"}}}}}