{"entities":{"Q4395551":{"pageid":6425150,"ns":120,"title":"Item:Q4395551","lastrevid":46938264,"modified":"2025-12-25T21:41:02Z","type":"item","id":"Q4395551","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163927"}},"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":"Q4395551$50EF3A87-7395-4C7C-B88A-23F0267081DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e1a46e2ed0106041f928f7fe3a51e3f6461da3b","datavalue":{"value":"0899.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395551$78D543A6-F9D9-4551-9720-9EA4F5E3B3F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0dff713a11abb8205d1f72e1a07b7c8a90d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751826,"id":"Q2751826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395551$3050A7BE-6D3E-411C-BAA5-7AE23EF0CC8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395551$A5EE0A28-F6E3-41E6-BE1B-7E838412672C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395551$F3BFA711-02F0-48E8-A3F2-4BBAC28F5BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395551$64E42D19-96AE-4F8C-ABE2-1B7A21F27C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395551$934BD15F-A99A-44D7-B8B0-0747C7E996EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0441ee64d63f48dbbf7c6ea46170ba75a7670ba1","datavalue":{"value":"1163927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395551$EABD8CB3-C388-4814-A839-133CDC226337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395551$6C0E94E9-8856-41EB-8EB8-1AA51491EC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395551$D1BA83B5-AB63-4C57-8D4E-3914B9BF4DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395551$11E6A604-1974-41B8-AF8E-B87F3498BED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395551$F319ACC9-9D54-43DA-9D3D-EC068CA6F576","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":"Q4395551$3D2ACDDB-1721-403F-93FB-57D79DA4ABC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb2f13d6b30ed0683aae3f5b87342a8cd117c26","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"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":"Q4395551$09361B50-256A-4EE7-AE17-82259C4C4096","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":"ebb2273b5b2d3584877ef1e46abb8a6d56530fa5","datavalue":{"value":{"amount":"+0.8332230448722839","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":"Q4395551$FFF952D4-524B-406C-A345-D8DD466506E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ec0992cd4748293142f9188d18dd952f8a8566","datavalue":{"value":{"amount":"+0.8136308789253235","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":"Q4395551$5F06DA16-962B-40E0-8BB8-D62F1F173C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab973b8d5ba960320d1a0ab12864aa84fcb9047b","datavalue":{"value":{"entity-type":"item","numeric-id":2350219,"id":"Q2350219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400d468a5b2940ca2ebb24cfb042b965c099aec4","datavalue":{"value":{"amount":"+0.8089461922645569","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":"Q4395551$51ED19FC-31D4-4652-B3E1-AE562CE96F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273274bae099928e06027f87414107a23a0663","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2f0eb09ec610904c9b4e32f4ec867414319fb3","datavalue":{"value":{"amount":"+0.8068634867668152","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":"Q4395551$35B15E28-BD6C-456D-BCC6-901D5C9F5F9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395551","badges":[]}}}}}