{"entities":{"Q4385436":{"pageid":6415035,"ns":120,"title":"Item:Q4385436","lastrevid":46525224,"modified":"2025-12-24T23:30:26Z","type":"item","id":"Q4385436","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140671"}},"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":"Q4385436$AF9B339B-B2E8-4880-AF83-F807BF7DEB9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0317acfd98b30b518581a9e9725d8aab8912e809","datavalue":{"value":"0902.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385436$4DEB21EB-F4C8-492E-B20C-B09BFB89ECA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb6b14c79e5698b03eacb9a611e72f98d27bc02","datavalue":{"value":{"entity-type":"item","numeric-id":324688,"id":"Q324688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385436$C8A4971A-B570-4339-927C-D8544B1AA998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d54e0210f32623b7fe1b28b048e86bc18ae9da5c","datavalue":{"value":{"time":"+1998-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4385436$63A87AB5-D99C-4349-B083-F7D471244933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385436$CEC93A8E-BCEC-4068-932B-259D0BE8600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385436$A5A40FAC-077D-4118-9C8D-A6A59F806D08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd0b510dea6ec7159b5cc5ff8c2ea10edec1433a","datavalue":{"value":"1140671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385436$F105F656-C922-4E6B-9CE5-8327698C7586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385436$38727349-E8F9-42BD-886A-7A427355D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385436$150F32DC-259F-4EBF-B679-E5FDD8213824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385436$B57CDB19-8D86-4FE1-A010-BF6B7019004A","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":"Q4385436$C87910E3-E4D0-4176-8906-5CB12DDBD3F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490635eea00a529d2308f724680db1f19cfda3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a731fa7775bfa0fa7681c38b67825ba1a51c1a1","datavalue":{"value":{"amount":"+0.8898622393608093","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":"Q4385436$99D14905-CF6B-4DF8-86B4-0436F0C7EA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb65ef8c25d8ed1ca597651eeb5ee353299692b","datavalue":{"value":{"entity-type":"item","numeric-id":4385437,"id":"Q4385437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152f9c18c26e2070f8f6a7af5a9d6c75d29e00d0","datavalue":{"value":{"amount":"+0.8194910883903503","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":"Q4385436$038E9288-5B7A-4A15-BE37-E3ACE254EA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e84e17c83e1e928e28bacf619262e8d142f856","datavalue":{"value":{"entity-type":"item","numeric-id":3550857,"id":"Q3550857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad053b4a47758868c680d3a906392bc13743558c","datavalue":{"value":{"amount":"+0.8108978271484375","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":"Q4385436$7E52116C-F89F-47F3-936B-6C4159D21B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc94b3cb42958e877f99ed421eac6435ef3fe970","datavalue":{"value":{"entity-type":"item","numeric-id":4281253,"id":"Q4281253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474378aa96f4b8625a18919707e7cf2b21bf1133","datavalue":{"value":{"amount":"+0.7918283343315125","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":"Q4385436$04F6FA72-8DFA-4602-8BBD-51947BBC2D57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4385436"}}}}}