{"entities":{"Q1845872":{"pageid":1856614,"ns":120,"title":"Item:Q1845872","lastrevid":70979166,"modified":"2026-04-13T18:39:11Z","type":"item","id":"Q1845872","labels":{"en":{"language":"en","value":"A formalization of the modal propositional S4 calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3448544"}},"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":"Q1845872$B95BBB2D-83E7-4718-9B52-EB0DF29535C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ed2ece0e75069c6656c9f108b72feb130ac74a7","datavalue":{"value":{"text":"A formalization of the modal propositional S4 calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1845872$1FEFA55E-5D16-4918-BB11-E922DB9A2621","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c4d0180d08372d28a9cb81faab02cc9040cd048","datavalue":{"value":"0286.02027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845872$361BF8A1-7038-473F-8F1E-C73C499524A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c5c3736969aded50b67a6083ffe35631fa0820e","datavalue":{"value":"10.1007/BF02282568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845872$C2DA1D57-5E5B-4E1E-8993-416796E8E9DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c3405505d0d73c01e55d1efec5c7e96955a14f","datavalue":{"value":{"entity-type":"item","numeric-id":1066887,"id":"Q1066887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845872$33C4172D-71E1-4AFF-B8C5-50DFC47EA841","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845872$6BFC17B4-002C-49C9-A2C6-9ECBD1CB6963","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q1845872$B74354F0-A365-4C4C-8102-A7E69E776641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845872$2B2FFD02-A20D-4F16-A793-0789B13BE2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845872$A9ED12BF-B9CB-496A-9797-24F7E9D10C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845872$A8ADA60E-1B97-40D2-8640-A3F4A0CB8299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"032a60156a65bd960c859e3862089d69442e2b13","datavalue":{"value":"3448544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1845872$F69A82E2-3919-45E3-9289-8939A3514FA1","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":"Q1845872$C6A3EA65-AE5A-45AC-9397-46A23C5129E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845872$30437523-F9AF-411A-86E6-D0E93E04B71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e57365e1930192be9952344e4613696b0013b06","datavalue":{"value":{"entity-type":"item","numeric-id":3257760,"id":"Q3257760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845872$66D4563C-0342-452E-A7E5-7A005C903640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1845872$06A4C5B7-12DB-42D0-9309-7A4B81267D30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalization of the modal propositional S4 calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalization_of_the_modal_propositional_S4_calculus"}}}}}