{"entities":{"Q2535236":{"pageid":2545979,"ns":120,"title":"Item:Q2535236","lastrevid":73539084,"modified":"2026-04-14T16:23:20Z","type":"item","id":"Q2535236","labels":{"en":{"language":"en","value":"Decision procedures for Lewis' system S1 and related modal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3289413"}},"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":"Q2535236$E547C6F1-83F3-4EB3-BF91-ED3D7F1F4494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1e89440b92290b351e639623c045abf75d0f047","datavalue":{"value":{"text":"Decision procedures for Lewis' system S1 and related modal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2535236$61EEDCFF-970B-46DC-A82F-1CCF44996654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35f56cafcf0497628d11d48af7fd7900397c6daf","datavalue":{"value":"0182.00601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535236$6B06BACF-AB8C-4EAD-9FE6-B1BC8D5844A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5277575840c41f2ef05a23319eb2dbd09d8e3a","datavalue":{"value":{"entity-type":"item","numeric-id":1153892,"id":"Q1153892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535236$EABE7693-5DD7-4CE1-A78A-35B3374DE545","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535236$A0F28A53-3531-466B-BCCB-438B0DCD1E6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q2535236$F1B0C8F9-B406-401A-B895-CD37AF646B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fe4212e35558b66198cdc8753c7139e244bd36f","datavalue":{"value":"3289413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535236$5BE30195-5BF9-4B98-91A9-9175FC89A2C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2535236$B99DF34B-4DAB-4AA4-ADA4-0194BB3204A4","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":"Q2535236$F051B3AC-6F86-4FF6-BA50-A9A5B1B9B66B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43b0ff8089971fad53eb7c485be041e73c433ca3","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093893934","type":"string"},"datatype":"url"},"type":"statement","id":"Q2535236$528DD5ED-6DB1-4DC5-B893-403F6EA7CB63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"732dd20dcfe2ce7be1b8e61af6ae806e1a8c7c5c","datavalue":{"value":"W2022996512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535236$6CD85BDD-9286-47B7-AB69-5E8C86B38F0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0ea147e0c0c60149d45af04ef7bd8cb5e725313","datavalue":{"value":"10.1305/NDJFL/1093893934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535236$9A1A8FD5-0510-4B1F-910C-F511DB636F63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedures for Lewis' system S1 and related modal systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedures_for_Lewis%27_system_S1_and_related_modal_systems"}}}}}