{"entities":{"Q1056744":{"pageid":1058592,"ns":120,"title":"Item:Q1056744","lastrevid":42842496,"modified":"2025-07-15T07:47:26Z","type":"item","id":"Q1056744","labels":{"en":{"language":"en","value":"Proof methods for modal and intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827827"}},"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":"Q1056744$041B64D5-EA28-48A5-879E-C6707299C6BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2e53cfbef0cf90fc48cd2725d5976b3d8d9a869","datavalue":{"value":{"text":"Proof methods for modal and intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1056744$2EBC460D-5B1F-45E8-9688-1F2BFF4BFB24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ae7818816263ba4b74e653bfacfd4b979740201","datavalue":{"value":"0523.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056744$BFABAB26-AF89-45BE-A0FB-DA1C8DE961F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056744$4281A947-5CD0-4D43-9117-6A0D8C56C095","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1056744$A44E0620-582B-48F2-945D-9D545B535DE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1056744$6208BFFC-F255-4DA9-A66A-F30AE995873E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056744$706171A1-F691-48EA-9FED-F8F0078D8B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056744$481AE9DE-64A8-4244-8FA3-AA8FEFCF662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056744$6EFC54AA-6CC1-496B-A438-F286704358AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056744$6A030EBC-A291-4815-8CCF-5B630D96BE12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feb0ee2a9dcaabcaedb46ad5c7ac53e68b109180","datavalue":{"value":"3827827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1056744$9959489D-CB9C-4B81-A504-8915EB25BCC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$11BEB222-35AB-45A1-81C5-5AD6E6781E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$A33F4565-0315-4A91-9B2B-B0945383BFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$AB80246D-E5E7-44C3-A4E1-DA616BA00675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$68537346-1378-446E-AC93-14C98A2B6A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56bbae12677e2bc07fa32071535dc74bdf2a651","datavalue":{"value":"Gentzen calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$9A6CF353-0305-4CE8-B308-F935B7238660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6591587764c22ce70b1d18c7166af01e51e63f","datavalue":{"value":"natural deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$CA387F13-6FEB-4B1A-B684-570A4CD9D29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$63EDDBEE-9976-4CE6-8943-AE1AB80759A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$6D7804FC-5351-4174-8215-BDC40C357BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1056744$C219EEAC-0192-45F8-AF3F-56D8F7C074ED","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":"Q1056744$B91D666C-86CF-4E4F-AEC0-6A17A06F20FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1056744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1056744"}}}}}