{"entities":{"Q3778723":{"pageid":5808629,"ns":120,"title":"Item:Q3778723","lastrevid":52371218,"modified":"2026-01-22T12:02:00Z","type":"item","id":"Q3778723","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039861"}},"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":"Q3778723$0F3538BA-5A5F-4A9B-AED4-FA47B541A650","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"969e890a37140af2f77f6343ba91be2213338843","datavalue":{"value":"0638.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778723$76A2357E-9B85-4A88-BA62-D493971721D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d2e845df4055c00af5afbae07f17ba40dd58d32","datavalue":{"value":{"entity-type":"item","numeric-id":3050430,"id":"Q3050430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3778723$1952F839-9B31-4C41-B1A8-5AF2FE08DB03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3778723$F0BD2EAD-AABA-427B-9C42-449B23FC97B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778723$F3545376-449C-4E0B-8011-82EFBA73A260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778723$FFA89271-78E1-4718-8667-620E7F625C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c648f969505f33f8623e2efd635ca2dbd3ae17","datavalue":{"value":"4039861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3778723$C66F6BF9-5FFF-4450-BB01-A6F00DF12AC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1912c43ed559de6b05b026e045709c47b4c7361a","datavalue":{"value":"contraintuitionist logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778723$3DC2FEEE-658E-48DC-9586-49593AD70C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c4be6c5f31ccd4968c7e7622ffe92aa0c6bd73","datavalue":{"value":"monochromatic two-sided extension of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778723$262E2E70-F026-4B42-A45A-3A3681CE72D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c44011c341f8e8efbd8540eb6f1fb4f8e51303","datavalue":{"value":"symmetrist deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778723$FB5E49AC-08AA-4EF3-898E-9846B43FEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"651ef3d8250dd1372dea91c20463baccb2758581","datavalue":{"value":"constructive symmetrist logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778723$6CBC0EB1-9BA0-4A70-9F37-07E0BFB2F46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3778723$8ED6AB50-BCE0-410D-B03E-4F007E56411B","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":"Q3778723$6790720E-79A7-4534-9A6E-83DC7A29BC93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d132c21349ba05646944055cc9e7765bca88e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3695260,"id":"Q3695260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0e1a0af21e017e52607cfff98ddf1b77964ffa","datavalue":{"value":{"amount":"+0.8610978126525879","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":"Q3778723$6DE07292-686A-47D1-B24A-CBB61068B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e33a799c98e339d5cc09725573406769588d202","datavalue":{"value":{"entity-type":"item","numeric-id":3012506,"id":"Q3012506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23531eec4ea43b737198ef9997516937f616ac80","datavalue":{"value":{"amount":"+0.7120643854141235","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":"Q3778723$ED32F6A9-A081-40F2-9370-DF534728C877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a124ae8ad9d50424fd89daf3e4d02de3971bdc34","datavalue":{"value":{"entity-type":"item","numeric-id":2922496,"id":"Q2922496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84e9e6077856a4f793a346b8ce3fa575a093298","datavalue":{"value":{"amount":"+0.7090944647789001","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":"Q3778723$9A690F3C-9890-46E7-882B-28DA9419AD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ff7171694f482290c0173e25fc6085aabd4e52","datavalue":{"value":{"amount":"+0.6974185109138489","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":"Q3778723$FC015FFC-AED9-4861-A7F9-579F280166D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90566aea06a1b716bce699d0ee939fc2193daa1f","datavalue":{"value":{"entity-type":"item","numeric-id":931408,"id":"Q931408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c6f6e3105c3a2defbe4186a42e554a92f5b7d0","datavalue":{"value":{"amount":"+0.6935866475105286","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":"Q3778723$8D422503-44A4-455B-82B4-5A12EB0F4865","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3778723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3778723"}}}}}