{"entities":{"Q2535387":{"pageid":2546130,"ns":120,"title":"Item:Q2535387","lastrevid":73539525,"modified":"2026-04-14T16:23:36Z","type":"item","id":"Q2535387","labels":{"en":{"language":"en","value":"A decision procedure for Fitch's propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3291137"}},"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":"Q2535387$7537BC46-DA32-405A-A2AD-3590189B8BF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a0c8e0b74befeba8d392d64fde2b136408470fd","datavalue":{"value":{"text":"A decision procedure for Fitch's propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2535387$5536DDF5-4ADB-4540-95DB-14B954278B89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6bb3c15fc4271412ae2961f174386f0df7a3cf2","datavalue":{"value":"0183.01501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535387$70286701-8175-4798-9AB4-E52D8728D816","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":"Q2535387$34781B0C-77F4-4126-838B-3EFC1B14F15F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q2535387$BA855455-20DE-41BF-88DE-14B695B71C60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"730fbd6eb9d4b1f65abd13f2c30472ee9ee7c8f4","datavalue":{"value":"3291137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535387$96BEFD64-FE21-4ECF-AEC1-61187640E60C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2535387$F67EC8AE-1B28-42F6-AE9C-5B9DF3032ED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1472dc2d6dc52976f36e82d4bba669d73b73a94c","datavalue":{"value":{"entity-type":"item","numeric-id":302247,"id":"Q302247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535387$8745AA98-09FC-4FA9-A67A-3FE1769302E5","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":"Q2535387$4DE63FC4-E9C1-464F-98AB-829ECCC596FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1cccc215029fcb42c0855b4336e719ef50cb4fa","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093956248","type":"string"},"datatype":"url"},"type":"statement","id":"Q2535387$4B045534-0EC1-461F-854D-82F63E4A41CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7dcd4cfc020759def600f38420a6683280be328","datavalue":{"value":"W2050800354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535387$49B7DCC4-D579-4101-AFE6-0C1C3A8180F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8595cc3d05ffa5fe319803a9a86e5ca266560158","datavalue":{"value":"10.1305/NDJFL/1093956248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535387$1E9AB0D1-B61E-4C9E-BFFE-E7A079DBD30B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure for Fitch's propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decision_procedure_for_Fitch%27s_propositional_calculus"}}}}}