{"entities":{"Q4946226":{"pageid":6975808,"ns":120,"title":"Item:Q4946226","lastrevid":47467714,"modified":"2026-01-01T20:05:43Z","type":"item","id":"Q4946226","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1421197"}},"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":"Q4946226$05770B1E-E671-4074-B35F-1F55D05A9D9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836edd1cc1388313f720e024f8d6f824813ffd6b","datavalue":{"value":"0954.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946226$87F924BA-D5EF-4895-B2A4-3A234A6F62F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946226$D0B17ED3-7C62-4B4D-AC3F-AC45FE84BC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4946226$B75FFD80-D7A0-47E1-826E-38C76B588FD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73fe45a81271f1e06047daf6368e7c43c5b4b14d","datavalue":{"value":{"time":"+2001-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4946226$07D193FE-E73D-4CBD-8F14-E837B4D693C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946226$20305D2B-B8B8-4C82-AA3D-ECF02CEEBD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946226$32262464-FCFD-436B-9A26-38E7BE8E9C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946226$4F657779-5558-49A9-8F98-0A57F280EF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946226$915F720F-C4C3-42FB-B06C-7DD93FA34CCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e27d8bd507dde537fa82f65498769247f1cc2b","datavalue":{"value":"1421197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946226$D419BF81-AE39-4CAA-9A66-F9BA3918A80F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946226$2F54F939-D204-40DC-9FC3-AE60FCCF72CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946226$241ACEB0-5F14-416C-9772-E86C6CF82C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946226$954EBA8E-8C25-4493-AEAD-8BBDBA757185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eecde646f8c64fe5779df8f0b709da22c71431f","datavalue":{"value":"propositional equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946226$57A76C55-D1AE-44B9-AADC-A07EF5D3E246","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":"Q4946226$F458D871-6DE0-449A-BCAC-C75695CF567C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6287a1d68e12f09801489b946a15b2d058b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3012539,"id":"Q3012539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d6210d597a8c3b4e2c7946bb8145423f94c580","datavalue":{"value":{"amount":"+0.7951220273971558","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":"Q4946226$2A7DE4E0-DAC1-41B7-BE23-5BBC6DCA85FC","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":"9db533d74f78c206bc9d8f28a041c349d33b7b98","datavalue":{"value":{"amount":"+0.7813810110092163","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":"Q4946226$E6555808-2279-49AD-A765-91CE7648B820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c40061e9a73f6cf41cab472db620fd2bff9cbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db533d74f78c206bc9d8f28a041c349d33b7b98","datavalue":{"value":{"amount":"+0.7813810110092163","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":"Q4946226$356EF3D5-8793-496B-BA4E-5F7CC1E1C8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ed717ff049f6f389174b6b3ec8e69d3c379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02735d5d4ce4648d52fb3709ac40ef7c6d313775","datavalue":{"value":{"amount":"+0.7764964699745178","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":"Q4946226$E6AA6E04-BD9E-420B-8197-6B5EC53381C7","rank":"normal"},{"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":"32b6c86e552f58cce22237e6c9f16b6c954f7c74","datavalue":{"value":{"amount":"+0.7762722969055176","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":"Q4946226$0DAB8F65-C0EC-4562-88B5-100A20524487","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4946226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4946226"}}}}}