{"entities":{"Q3941377":{"pageid":5971282,"ns":120,"title":"Item:Q3941377","lastrevid":55055773,"modified":"2026-02-03T05:58:11Z","type":"item","id":"Q3941377","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3758289"}},"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":"Q3941377$4313C9D5-2B8C-4AC3-A272-5637A6C6C292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9708f37a37f7a93cb1cfdc1ebce9df798881f79","datavalue":{"value":"0483.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941377$FFD76C4B-254F-4C83-8DA6-0C25657B117A","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":"Q3941377$3A57D454-5F78-45E6-A859-6B02DAB80260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3941377$717852A6-1655-4323-9E7F-187669B46612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941377$8EE31180-8E82-421E-B6D5-D18226DEBD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941377$4237FB05-0397-40CC-AFCC-9C398D67B5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941377$FB6F36F2-EA43-4591-A622-30834DB00382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941377$3BB9EB28-C4F2-43D2-9931-597C91E402A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d52aec090ade6d999186240969f1ab8c8c3e2f7a","datavalue":{"value":"3758289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941377$82442727-CE4F-453E-AF6F-1F20F70F3D29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$8DDC9340-963F-48C0-B93E-DCE8AAA32B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$132F6D39-8584-42C1-9A99-41B2465FC9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$D95EEAA0-68A1-4BB0-97FD-8D5BEA52FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$80FE9C12-1AE7-405A-8479-5E6E38F747AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87db5944d2c824ff3ec7ab5d2ccf23ca63de52c","datavalue":{"value":"classical and intuitionistic variants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$9AD58E23-9DA6-4661-80F1-18DFEE420C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$846F9FA2-8FD3-4AC0-BC6F-D27982D3351F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf37a3eac98d12d7b1be5bee2c989905004d826","datavalue":{"value":"first and second order arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941377$1B640BAB-2525-49EE-AEF5-87466AA68FE8","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":"Q3941377$37EDAE79-921D-4D7F-B1FC-92673301E723","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3941377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3941377"}}}}}