{"entities":{"Q3671159":{"pageid":5701065,"ns":120,"title":"Item:Q3671159","lastrevid":49969729,"modified":"2026-01-12T08:57:02Z","type":"item","id":"Q3671159","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823774"}},"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":"Q3671159$C7B93437-3D39-42AB-8C8E-BFFD108EE6E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6acf1e01bc8fa261148f64e3ba7fe64bf0f373a7","datavalue":{"value":"0521.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671159$259D9FE3-2F9C-4F8B-8204-FB853EA0B060","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69c01fb8342d40b12e064fe8507d3db55c5a3c8b","datavalue":{"value":{"entity-type":"item","numeric-id":3671158,"id":"Q3671158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3671159$190AE3A3-2232-49AF-8621-9DBE1A5A5D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d87df67f23767b5ab0905acea6cdbd66e32ffbde","datavalue":{"value":{"entity-type":"item","numeric-id":3480015,"id":"Q3480015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3671159$99E8E442-4FDE-4706-9AEA-8645103871F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3671159$ED25A70F-DC20-44B9-A2AC-54CFAFF287B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671159$3971C3FA-040D-4925-AD6C-B0CE21F57740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671159$ED6BADCF-F43D-4E25-A150-44B97B0DC454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671159$22FD43AD-847E-438A-B5AF-46EDE60BC5CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4891d70da5fa2a0833442595f2bbcf12f6b56781","datavalue":{"value":"3823774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671159$010D5BCF-B334-4421-9795-86296DE4C8CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e51d37726df8a46fdea8d6672f80b1ab3ce343","datavalue":{"value":"modal logic of provability in Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671159$AF09FF25-5644-46DC-97F9-42ACB948A09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671159$FD8F8CD6-CEF3-4210-8EAA-A6D74758AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78d68a3d7723d931025afd0f11987fcee53ad5f","datavalue":{"value":"strong necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671159$83FD4124-FCB5-47DA-8704-96B9074C9E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16e54407bfecdca9bd1f78f10cef265a54f7921","datavalue":{"value":"Grzegorczyk modal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671159$5F1A6AF9-5E11-4971-B157-D634BB92773D","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":"Q3671159$23100B0A-6939-46CC-A681-2B07B894010E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3671159","badges":[]}}}}}