{"entities":{"Q4544190":{"pageid":6573782,"ns":120,"title":"Item:Q4544190","lastrevid":47957512,"modified":"2026-01-03T04:41:45Z","type":"item","id":"Q4544190","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1778907"}},"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":"Q4544190$BECC4122-76DB-41C9-A46D-2EF7925F4110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cccf57b7cc4e743a0c59737d5129af72442432e","datavalue":{"value":"1004.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544190$3D07EFE3-D32D-4462-A609-1DC90BA776D8","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":"Q4544190$A65E2C4F-931A-480F-9DCC-5673FF1DB85E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"426878069cfa689212687e946fa43c14de4df368","datavalue":{"value":{"time":"+2002-10-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":"Q4544190$4F2B9230-5A7D-4A96-BD64-6F1586DEF12E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544190$D673D0D7-8A2E-4D5D-B43B-042B00B6B812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f5dbf1e45a4080e25b345ce4463f66880acc5f0","datavalue":{"value":"1778907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4544190$ACFDB91E-53A1-464C-8B47-73FEB296740B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544190$6F813CBD-4A53-4A23-89C8-B6A47ED81CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544190$07F5E9D2-2ADC-422E-A848-5B96AEF181C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4544190$F7982EA3-1058-4389-853C-8E4D9892A011","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":"Q4544190$530F5655-9512-4918-AC58-A26AAAD89AF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8fec2595b316cbf42433dd518bb95cb97dc670","datavalue":{"value":{"entity-type":"item","numeric-id":5395243,"id":"Q5395243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025f1937bd19c9afa2e3fd267ce4c3f515e0889d","datavalue":{"value":{"amount":"+0.8054777979850769","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":"Q4544190$E4241F93-BE01-4E9F-A956-BC253EA957C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a2d0e76bfb62216ff5e3d2b00dcdef72f50cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4507491,"id":"Q4507491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7eddb58b975153f6d0617fb45325db5624a8caa","datavalue":{"value":{"amount":"+0.7806851267814636","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":"Q4544190$1F6D0B85-F296-4B21-B1D2-B0315D309241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375977213d7f1ddd797f2675838fe76cadef7a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5034227,"id":"Q5034227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf0ca39caf81689fb32c9f2df6064e6a0c1766b","datavalue":{"value":{"amount":"+0.7588365077972412","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":"Q4544190$5A19CC51-349E-4198-9A23-95949823E68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ac5ff790815dc83eb94307506f5ec7e50c243d","datavalue":{"value":{"entity-type":"item","numeric-id":1097870,"id":"Q1097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113a0955a3ea3156e6de48c7fac2666c3b654412","datavalue":{"value":{"amount":"+0.751792848110199","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":"Q4544190$D7D58970-2F95-4710-AE7F-51CC92D09A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d29f945e4776ed3bce4cb22548dcc0db74aea09","datavalue":{"value":{"amount":"+0.7509648203849792","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":"Q4544190$90A5F62A-EEA9-4814-94C1-ABC010A8EBA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4544190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4544190"}}}}}