{"entities":{"Q4001401":{"pageid":6031227,"ns":120,"title":"Item:Q4001401","lastrevid":55158436,"modified":"2026-02-04T06:06:37Z","type":"item","id":"Q4001401","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 50995"}},"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":"Q4001401$EECF6806-0EB0-409A-9BAD-769DA87B9F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ec3d903395c3b6f4ef269c05e84a68f51086ed0","datavalue":{"value":"0722.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001401$1FFC7094-8EA1-459F-AEBF-4DA81A0AA853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4001401$BDD26B39-077C-4F81-8EAA-E95940AB907A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4001401$4949DC76-615B-482A-BA34-2FFCC4B81DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001401$DCCEE168-F4EE-497E-A2D7-6F24BB4B0B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001401$2F7CEEC9-4867-4B95-9A3B-42A8B64D0840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001401$6470C599-72D6-48B6-A077-0DA2D012D9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001401$6496CE68-B71E-4857-9FC8-BDCC994C03E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c801f7e0c9bec4f5b34ce9a03a052eab0b41f9da","datavalue":{"value":"50995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4001401$AB9A14EC-D690-4D1E-B1E0-8DE41DE7FDF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$BBD62FD2-6524-4C6C-B911-E11ED4F9CE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$48977551-D0D6-4F5E-A5B4-0F468D6A6E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$FF411D1F-3AFC-47A7-9AD1-88C437AA67A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$5C3EA449-6DFB-466F-B889-CC3C7C435445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87db5944d2c824ff3ec7ab5d2ccf23ca63de52c","datavalue":{"value":"classical and intuitionistic variants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$389CDF59-1C05-4B83-BC3E-CDB823DF469C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$E404B48B-D02C-4612-ACF9-2E49B68A1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf37a3eac98d12d7b1be5bee2c989905004d826","datavalue":{"value":"first and second order arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4001401$B8EF8D4B-0381-469D-B63C-512938ECB917","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":"Q4001401$3CF277F7-F8D3-47BA-90D5-5BD9C7B24FF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4001401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4001401"}}}}}